行为差异：“null”初始化了final static成员，“null”初始化了最终局部变量

Question

我在后续代码中遇到了一个我之前不知道的行为。

考虑1^st情况：

public static void main(String[] args) {    
    final String str = null;
    System.out.println(str.length());  // Compiler Warning: NullPointerAccess
}

正如预期的那样，编译器在str为null-null指针访问时向我显示以下警告：变量str只能在此位置为null。

现在，当我移动该变量时，静态final字段初始化为null：

class Demo {
    static final String str = null;

    public static void main(String[] args) {
        System.out.println(str.length());  // No Compiler Warning
    }
}

现在，编译器没有显示任何警告。好了，编译器应该知道，str是最终的，在代码的任何一点上都不会改变它的值。假设它是空的，那么以后肯定会导致空点异常。

尽管编译器在第一种情况下成功地警告了我这一点，但为什么它在第二种情况下无法识别这一点。为什么会发生这种行为变化？如果我将静态字段更改为实例字段，并使用演示的实例访问它，行为是相同的。

我认为这种行为可能已经在JLS中指定，所以我阅读了主题明确的作业，但没有找到任何与此问题相关的内容。有人能解释行为的变化吗？如果可能的话，我正在寻找一些与JLS链接的优点？

除此之外，为什么编译器一开始只显示警告，正如我所想的那样，由于我上面提到的相同原因，方法调用肯定会在运行时抛出NPE，因为字段不能更改？为什么它不告诉我一个编译器错误？很明显，我对编译器的期望太高了吗。length（）不能大于NPE？

很抱歉之前错过了：

我正在使用Eclipse Juno，在带有OpenJDK 7的Ubuntu 12.04上。

Answer 1

public static void main(String[] args) {    
    final String str = null;
    System.out.println(str.length());  // Compiler Warning: NullPointerAccess
}

在这种情况下，str是一个局部变量，如果您在初始化它之前尝试对其执行任何操作，编译器将不会编译。流分析完全不同，它将检查代码流，在其中检测到在执行length（）操作时局部变量str只能为null。

class Demo {
    static final String str = null;

    public static void main(String[] args) {
        System.out.println(str.length());  // No Compiler Warning
    }
}

在这种情况下，str是一个实例变量，即使您没有显式分配，它也将为空。

为什么这里没有警告？

您可以在构造函数中初始化实例变量。或者可以在对其调用lenght（）操作之前对其调用setter方法。因此，它从流分析中逃脱（编译器不确定实例变量在该点是否为null，但在第一种情况下，编译器确定局部变量始终为null）。

Answer 2

哇！事实证明，这是特定于eclipse的问题。当我编译代码时使用：

javac -Xlint:all Demo.java

在任何情况下都没有显示任何警告。所以，我回到eclipse，检查为本例启用的任何设置，并找到了一个。

在Windows中-

现在看来这是一个完全愚蠢的问题。我感到羞耻。：（

Answer 3

我不能百分之百确定，但在第二种情况下，您有针对局部变量的最终字段，可以直接在静态（或实例块，取决于变量是否为静态）初始化块中为该最终字段分配一些值：

class Demo {
...
static {
 str = "some text";
}
...
}

所以编译器不会给你警告。