为什么两个程序有前向引用错误而第三个程序没有？

Question

以下内容无法编译，并给出“非法前向引用”消息：

class StaticInitialisation {

    static
    {
        System.out.println("Test string is: " + testString);
    }

    private static String testString;

    public static void main(String args[]) {
        new StaticInitialisation();
    }
}

但是，以下内容会编译：

class InstanceInitialisation1 {

    {
        System.out.println("Test string is: " + this.testString);
    }

    private String testString;

    public static void main(String args[]) {
        new InstanceInitialisation1();
    }
}

但是以下内容无法编译，并给出“非法前向引用”消息：

class InstanceInitialisation2 {

        private String testString1;

    {
        testString1 = testString2;
    }

    private String testString2;

    public static void main(String args[]) {
        new InstanceInitialisation2();
    }
}

为什么InstanceInitialisation1不能编译StaticInitialisation和InstanceInitialisation2？

Answer 1

JLS的第8.3.3节涵盖了这一点：

有时会限制使用其声明在文本后出现的类变量，即使这些类变量在范围内（第6.3节）。具体来说，如果满足以下所有条件，则是编译时错误：

• 使用类变量后，将在文本或类C中声明类变量；

• 在C的类变量初始值设定项或C的静态初始值设定项中，此用法是一个简单的名称；

• 用法不在作业的左侧；

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

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

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

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

• 用法不在作业的左侧；

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

在第二种情况下，用法 不是 一个简单的名称-您已经this明确地使用了。这意味着它不符合上面引用的第二个列表中的第二个项目符号，因此没有错误。

如果将其更改为：

System.out.println("Test string is: " + testString);

…那么它将无法编译。

或反方向，可以将静态初始化程序块中的代码更改为：

System.out.println("Test string is: " + StaticInitialisation.testString);

奇怪，但这就是它的方法。