在方法中检查可为null的变量是否为null，但无法识别

Question

我正在使用IntelliJ IDEA的代码检查来评估@Nullable注释。目前我正在使用org。喷气式飞机。注释package，但是如果这有助于解决问题，我也可以切换到另一个实现。

问题是带注释变量的无效性检查是用另一种方法完成的。这是代码检查器无法识别的。

java prettyprint-override">@Nullable
private Bar myVar;

public boolean isNotNull() {
    // This check is actually more complex, but will
    // only ever return true if myVar is not null
    return myVar != null;
}

public void foo() {
    if (isNotNull()) {
        // Here I get a warning that myVar might be null
        myVar.bar();
    }
}

我能让IntelliJ认识到这种情况吗？

Answer 1

如果您的程序是单线程的，您不应该重写程序来满足IntelliJ的检查。另一个可以验证代码的工具是Nullness Checker。您可以在IntelliJ中运行它。

这里是一个MWE。@EnsuresNonNullif注释表达了您的规范"这个检查...只有当myVar不为空时才会返回true。"

import org.jetbrains.annotations.Nullable;
import org.checkerframework.checker.nullness.qual.EnsuresNonNullIf;

public class SO57496219 {

  private @Nullable Object myVar;

  @EnsuresNonNullIf(result = true, expression = "myVar")
  public boolean isNotNull() {
    return myVar != null;
  }

  public void foo() {
    if (isNotNull()) {
      myVar.toString();
    }
  }
}

如果您的程序是多线程的，您有几种方法。这里有两个。

>

您可以传递-AconcurrentSemantics命令行选项。仅当您更改程序时，例如将值放入局部变量（如Andy Turner所建议的）时，才会进行验证。但是，如果您希望其他线程同时更改该值，那么您的程序可能应该使用锁。

Answer 2

我怀疑intellij在抱怨，因为它不知道isNotNull（）的返回值指示myVar的无效性。

但是，在调用bar（）时，它可能为空。

在调用isNotNull（）和使用myVar之间，其他一些线程可能潜入并将myVar更改回null。

保证它的唯一方法是：

1. 复制myVar到一个局部变量中；
2. 使用localMyVar！=null和localMyVar.bar（）。