在创建不带setter的不可变类时，为什么要将字段声明为final

Question

我现在在这里读到，为了实现我的目标的不变性，我必须：

1. 宣布我的所有字段为私有和最终
2. 不定义设定者

如果没有setter，为什么我需要声明字段是最终的。java编译器不允许这样的事情：

myObj.get东西（）=新的东西（）

如果我尝试使用反射，那么final关键字不会阻止我更改引用。

我在这里找到了一个很好的解释，为什么整个类需要是final，但没有解释为什么私有字段需要是final。

编辑：作为对GotoFinal评论的回复，这里有一个类展示了我如何通过反射编辑字段：

public class Test {
static class Immutable {
    private final StringBuilder immutableField = new StringBuilder("You can't set final field just by normal reflections");

    public StringBuilder getStringBuilder() {
        return immutableField;
    }
}

public static void main(String[] args) throws Exception {
    Immutable immutableObject = new Immutable();
    Field f1 = immutableObject.getClass().getDeclaredField("immutableField");
    f1.setAccessible(true);
    f1.set(immutableObject, new StringBuilder("Well, I just did"));
    System.out.println(immutableObject.getStringBuilder());
}

}

Answer 1

不可变类的主要优点之一是它们本质上是线程安全的：如果它们没有可变状态，那么一个线程就不可能影响另一个线程看到的该类实例的行为。

声明字段Final实际上对该字段的可见性有影响（在Java内存模型的意义上，而不是public/Private）。声明为Final的字段由规范保证在构造函数完成执行之前初始化。

这意味着，如果在构造函数完成之前不安全地发布对实例的引用，所有线程都可以看到实例的final字段的初始化值。

如果没有最终，就不能保证实例不是真正不可变的-线程可能会在一次从实例中读取一个值，然后在另一次从实例中读取不同的值。

Answer 2

为了防止字段被重新分配，应该将其设置为最终字段。

仅仅不定义setter的策略是不够的，因为：

• 其他开发人员可能会添加一个setter，因为一个字段并不表示不可变的愿望

将字段声明为最终字段可以防止这两种情况。此外，检查最终关键字然后读取整个类以验证setter是否不存在要容易得多。

此外，如果字段声明为最终字段，JVM可以应用各种优化。我想说反射在这里无关紧要，因为任何东西都可以使用它绕过。

Answer 3

它不需要是最终的，但这是一个很好的做法，因为当阅读源代码时，您会立即知道给定的字段不能更改——包括类内部或本地类——在您的类内部声明（java将为该字段生成特殊的桥接设置器）然后）。
也因为field是最终的，所以您需要在构造函数中初始化它——所以很难在这里犯一些错误。

它还可能影响反序列化程序的工作方式，因为大多数库不会尝试修改最终字段。