为什么尝试打印未初始化的变量并不总是导致错误消息

Question

当我尝试在实例初始值设定项块内直接打印x，而在块末尾之前为x赋值时，就会出现问题：

情况1

class HelloWorld {

    final int x;

    {
        System.out.println(x);
        x = 7;
        System.out.println(x);    
    }

    HelloWorld() {
        System.out.println("hi");
    }

    public static void main(String[] args) {
        HelloWorld t = new HelloWorld();
    }
}

这给出了编译时错误，指出变量x可能尚未初始化。

$ javac HelloWorld.java
HelloWorld.java:6: error: variable x might not have been initialized
        System.out.println(x);
                           ^
1 error

情况二

我不是直接打印，而是调用一个函数来打印：

class HelloWorld {

    final int x;

    {
        printX();
        x = 7;
        printX();
    }

    HelloWorld() {
        System.out.println("hi");
    }

    void printX() {
        System.out.println(x);
    }

    public static void main(String[] args) {
        HelloWorld t = new HelloWorld();
    }
}

这样可以正确编译并提供输出

0
7
hi

两种情况在概念上有什么区别？

Answer 1

在JLS中，第8.3.3节。字段初始化期间的正向引用，它指出在以下情况下存在编译时错误：

有时会限制使用声明之后以文本形式出现的实例变量，即使这些实例变量在范围内。具体来说，如果满足以下所有条件，则是编译时错误：

• 类或接口C中实例变量的声明在使用实例变量后以文本形式出现；

• 在C的实例变量初始化器或C的实例初始化器中，此用法是一个简单的名称；

• 用法不在作业的左侧；

• C是封闭使用的最里面的类或接口。

以下规则附带一些示例，其中最接近您的示例是：

class Z {
    static int peek() { return j; }
    static int i = peek();
    static int j = 1;
}
class Test {
    public static void main(String[] args) {
        System.out.println(Z.i);
    }
}

访问[静态或实例变量]通过 方法以这种方式，不检查
，那么上面的代码产生输出0，因为变量初始值设定为i使用类方法peek()访问的变量的值j之前j已被其变量初始值初始化时，在它仍然具有其默认值（第4.12.5节，变量的初始值）。

因此，总而言之，您的第二个示例可以编译并执行得很好，因为x在您调用时printX()以及printX()实际发生在运行时时，编译器不会检查该变量是否已经初始化，因此x将为其分配默认值（0）。