不可变对象和有效不可变对象之间的区别？

不可扩展且其字段全部为

final

由于其方法的详细信息而无法更改其字段的类的实例实际上是不可变的。例如：

final class C {  final boolean canChange;  private int x;  C(boolean canChange) { this.canChange = canChange; }  public void setX(int newX) {    if (canChange) {      this.x = newX;    } else {      throw new IllegalStateException();    }  }}

的某些实例

C

另一个例子是零长度数组。它们实际上是不可变的，即使它们的包含类不是可证明的不可变的，因为它们中没有元素可以更改。

Joe-
E使用验证程序来证明某些类仅允许不可变的实例。

Immutable

String

char[]

Joe-E：面向安全性的Java子集说

由Joe-E库定义的Immutable接口受到以下语言的特殊处理：Joe-
E验证程序检查实现此接口的每个对象都是（深度）不可变的，如果不能自动将其引发编译时错误。已验证。