为什么最终实例变量需要初始化，而最终局部变量不需要初始化？

Question

下面的示例类无法编译：

class Test {
    final int x;  // Compilation error: requires initialization.
}

此代码的编译错误消息是:

..\src\pkgs\main\Test.java:3: error: variable x might not have been initialized
class Test {
^

但是，对于包含以下方法的类，Java不会生成任何错误消息:

class Test {
    void method() {
        final int x;  // Compiles OK; has no initialization.
    }
}

关于初始化及其要求，为什么Java对最终实例变量和最终局部变量的处理不同？谢谢

Answer 1

最终的疲惫应该在构造函数中初始化，这就是为什么它不会在你的示例中编译。最后一个变量在使用之前也应初始化。在不初始化的情况下声明它的方法是可以的。

Answer 2

第二种情况的任何使用，即读取，都会给你一个错误。但是未使用的变量算作警告，而不是错误；运行的代码的含义是明确的，即使很可能是错误的。

对于构造函数的情况，编译器不会执行那种未使用的变量分析，仅仅是因为(除了私有字段)它可能会在编译器无权访问的另一个文件中被读取。

因此，它需要被捕获为一个错误，以避免运行时行为最终取决于未指定的JVM实现细节。

Answer 3

实例隐式使用实例变量。您给出的局部变量示例没有使用局部变量，因此没有错误（未使用该变量）。

如果您尝试使用 x，则您的局部变量示例将无法编译（具有相同的错误）：

class Test {

    Test() {
        final int x;
        System.out.println(x); // <== Compilation error - "variable x might not have been initialized"
    }
}

类似地，如果您确实在某个时候初始化了变量，而不一定是在声明中，那么您的第一个示例就很好:

class Test {
    final int x;

    Test() {
        this.x = 10;
    }
}