java 静态变量 null_java – 行为差异：’null’初始化最终静态成员,’null’初始化最终局部变量...

在后续的代码中,我遇到了一个行为,以前我并不知道.

考虑第一例：

public static void main(String[] args) {

final String str = null;

System.out.println(str.length()); // Compiler Warning: NullPointerAccess

}

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

现在,当我将该变量的静态final字段初始化为null时：

class Demo {

static final String str = null;

public static void main(String[] args) {

System.out.println(str.length()); // No Compiler Warning

}

}

现在,编译器没有显示任何警告. AFAIK,编译器应该知道str是final,不会在代码的任何位置改变它的值.并且假设它为null,那么肯定会导致NullPointerException在以后,它是做什么的.

虽然编译器在第一种情况下成功地警告了我,为什么在第二种情况下无法识别这一点.为什么这种变化的行为？行为是一样的,如果我将静态字段更改为实例字段,并使用Demo实例进行访问.

我以为这个行为可能已经在JLS中被指定了,所以我经历了这个定义的任务,但是没有发现任何与这个问题有关的东西.任何人都可以解释行为的变化吗？如果可能,我正在寻找一些与JLS有关的链接？

除此之外,为什么编译器首先显示警告,正如我认为上述相同的原因,方法调用肯定会在运行时抛出NPE,因为该字段不能被更改？为什么不会显示一个编译器错误？我期望编译器太多,因为似乎很明显,str.length()的运行时结果不能是NPE的任何东西？

对不起,早期缺少：

我正在使用Eclipse Juno,在Ubuntu 12.04与OpenJDK 7.