java - 最终数据成员给出不同的值(非静态数据成员)

Question

好吧，最终概念说，如果不首先分配它，那么它会在调用它的函数中给出错误，并且最终数据成员也可以从构造函数中分配，这被称为空白最终概念。

但是最终的数据成员一旦分配就不能更改，但是这里

  public class Demo
  {
    final int w;

    public Demo()
    {

     fun();
     w=10;

    }

    public void fun()
    {

     System.out.println(w);

    }

    public static void main(String ... args)
    {

     Demo d=new Demo();
     System.out.println(d.w);

    }
  }

这里，在 fun() 中 w 的值为 0..然后我将 w 指定为 10，这样在主 println 中现在它就是 10...

所以我的问题是在 fun() 中，w 将值显示为 0 意味着它在堆中作为对象有一个空间，并且它的值是 0，我已经用 Final 关键字锁定了它，因此它不应该进一步更改，那么如果我们可以在 fun() 中看到 w 的值已经分配，​​为什么构造函数中的 w=10 不会给出任何错误...并且如果 w 的值在构造函数中可以变化，为什么当我在构造函数中的 w=10 之后分配 w=20 时它显示错误.?

如果最终变量可以有默认值，那么为什么需要显式分配它们......？

Answer 1

确定来自 When are static variables are initialized?

“编译器实际上所做的是在内部生成一个类初始化例程，该例程将所有静态变量初始值设定项和所有静态初始值设定项代码块按照它们出现在类声明中的顺序组合在一起。这个单个初始化过程在类首次加载时自动运行，仅一次。”

来自Why aren't static final variables given default values?

“现在我们已经证明静态最终字段确实获得了默认值，您可能想知道为什么默认值不够。除了明显的答案:“规范是这么说的”之外，这个问题没有好的答案。摘自 8.3.1.2:

如果空白的 Final (§4.12.4) 类变量未由声明它的类的静态初始值设定项 (§8.7) 明确分配 (§16.8)，则会出现编译时错误。

我们只能猜测这种限制背后的动机，但我认为这是为了让程序更容易理解。如果您想将变量设置为 0，那么明确地执行此操作会更清楚。”