为什么实例变量是最终的？

Question

我读到了这个关于不可变对象的问题，留下了一个关于不可变对象和final字段的问题:

为什么我们需要不可变类中的实例变量成为最终变量？

例如，考虑这个不可变类：

public final class Immutable 

{

  private final int someVal;

  public Immutable(int someVal)
 {

    this.someVal= someVal;
  }

  public int getVal() {

    return val;
}

}

如果在上面的代码中没有设置方法，并且实例变量只在构造函数中设置，那么为什么需要将实例变量声明为final？

Answer 1

在不可变类中，你不能改变它的属性/字段的状态。通常，这是通过不向类的客户端代码提供setter方法来实现的。

而＜code＞static final＜code＞关键字的组合用于使变量变为常量。声明为final的变量一旦初始化，就永远不能更改其值。

因为在不可变类中，你永远不需要改变属性/字段的状态，所以最好把它变成final。

Answer 2

通过将类的所有字段标记为最终字段，您可以清楚地表明您希望类是不可变的。

假设您有以下类：

public class Immutable {
    private int value;

    public Immutable (int value) {
        this.value = value;
    }

    public int getValue () {
        return value;
    }
}

没有 setter 方法，因此可以很容易地假设此类是不可变的。现在就是这样。但最终你的类将被其他程序员修改，这个程序员可能会向你的类中添加一些方法：

public class Immutable {
    private int value;

    public Immutable (int value) {
        this.value = value;
    }

    public int getValue () {
        return value;
    }

    public void doSomething () {
        value++;
    }
}

如果字段不是最终的，则很容易无意中添加一个修改对象状态的方法。通过将它们标记为最终，其他程序员在尝试修改字段时将收到编译错误，并且将不得不问自己为什么这个字段是最终的，并且他的修改是否破坏了该类的契约。

有人可能会争辩说Javadoc应该用来记录所说的类是不可变的，但坦率地说，并不是每个人都阅读Javadoc。在我看来，让代码自己说话更好。

Answer 3

不要求将变量< code >设为final。然而，当你确实明确地打算永远不改变变量时，通常把它变成< code>final是一个好的做法，因为这不仅加强了不变量对打字错误或其他错误的抵抗力，而且声明了它对其他程序员或你自己来说是不可变的。

如果变量是< code>public，那么您必须将它设为< code>final，以确保接口代码不能更改它的值。

但是，请注意，您链接的问题并不直接相关，因为它讨论的是Final的类，而不是变量。使类Final意味着它不能从继承，而不是它是不可变的。然而，在创建不可变对象时，当然有理由注意该问题的内容及其答案；但这仍然是一个单独的问题。