java - 奇怪的 Java 编译器警告 : incorrect "potential null access warning"

Question

(JDK 1.6.0_23、Eclipse 3.7.0，“潜在空指针访问”警告级别为“警告”)考虑以下示例代码:

Object obj = null;
for (;;) {
    obj = getObject();
    if (obj != null) break;
    Thread.sleep(25);
}
obj.toString();

我在最后一行收到以下警告:Potential null pointer access: The variable obj may be null at this location。 obj 是否有任何真正的方法实际上是 null 或者编译器为什么这么认为？

Answer 1

我会说编译器将其视为:

Object obj = null;
[Too dumb to interpret this loop]
obj.toString();

因此，如果您无法解释循环的作用，obj.toString() 可能为 null。

例如，您可以通过替换来欺骗编译器:

void x(int x){
    return;  
    x++;  //error unreachable code
}

与

void x(int x){
    if(true) return;
    x++;  //compiles
}