设置最终类属性

Question

是否可以通过从该对象的构造函数调用的私有方法为最终属性设置值？

public class FinalTest {
  private final Object a;
  //Constructor
  public FinalTest() {
    setA();
  }

  private void setA() {
    a = new Object;
  }
}

对于上面的类，编译器给我一个错误，说我无法从该方法设置“a”的值。

我知道不可能从构造函数外部设置最终变量的值，但在上面的情况下，我实际上是在构造函数内以某种方式执行此操作。那么为什么不允许这样做呢？

Answer 1

这是不允许的，因为您可以稍后通过其他一些非构造函数方法调用setA()，这会违反最终保护。由于 Final 是编译时强制执行的操作，因此编译器通过强制在构造函数或内联中​​进行初始化来强制执行 Final。

在您的简单示例中，一切看起来都不错，但如果您后来将类更新为如下所示，问题就会变得更加明显......

public class FinalTest {
  private final Object a;
  //Constructor
  public FinalTest() {
    setA();
  }

  private void setA() {
    a = new Object;
  }

  public void doSomething() {
   this.setA(); // not good because a is final
  }
}

Answer 2

请注意：编译器必须假设最坏的情况。通过声明属性“final”，编译器必须确保该属性不能在构造函数之外修改。

例如，在使用反射调用该方法的情况下，编译器永远不会看到它。证明某事可能比证明不可能容易得多，这就是编译器以这种方式工作的原因。

Answer 3

最终检查是在编译时而不是运行时完成的。在您的情况下，编译器无法确定 setA 不会从其他方法调用。

Answer 4

为什么需要从私有方法设置最终变量的值？
您可以这样做：

public class FinalTest {
   private final Object a;
   {
      a=new Object();
   }

   //Constructor
   public FinalTest() {
   }
}

在这种情况下，该对象将在每次 FinalTest 初始化时初始化。