常量是不可改變的值，也被稱為不變量。在Java中，常量可以使用final關鍵字聲明，并且通常在類中常量區域聲明。常量的值在聲明之后不能被修改。

public class Example {
final int MAX_VALUE = 100; //聲明常量
void main() {
MAX_VALUE = 200; //無法修改常量的值
}
}

枚舉是一組具有相似特征的常量的列表。在Java中，枚舉可以使用enum關鍵字定義，并且通常在類中聲明。與常量一樣，枚舉也是不可修改的，因此它們也是不變量。

public class Example {
enum Days {MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY, SATURDAY, SUNDAY};
void main() {
Days today = Days.MONDAY; //賦值為枚舉值
if (today == Days.MONDAY) {
//執行相關操作
}
}
}

通過使用常量和枚舉，可以確保程序中的不變量保持不變，并且使代碼更具可讀性和可維護性。