java - NonNull 注释有什么意义？

Question

我不明白 NonNull 注释应该如何提供帮助。所以，假设我有这个:

void noNullArg(@NonNull Object o)
{
    // stuff
}

如果我这样做，我会收到一条关于“o”可能为空的警告。

void foo()
{
    Object o = null;
    noNullArg(o);
}

但如果我改为这样做，我根本不会收到任何警告。

void sendNull()
{
    // Pass null and violate the annotation
    foo(null);
}

void foo(Object o)
{
    noNullArg(o);
}

这是一个未检测到的非常微不足道的案例。最重要的是，编译器似乎认为如果设置了 @NonNull 则检查 null 是不必要的，而实际上它显然不是(它表示条件始终为 false)。

Answer 1

如您所知，空指针异常 是 Java 中非常常见的失败案例。编译时将代码视为第二种情况，它会显示警告。

由于固有的复杂性，流分析最好以小块的形式进行。一次分析一个方法会有很好的性能，这个优点是分析速度很快，编译器可以在你键入时警告你。但不利的一面是分析看不到方法之间运行的值(作为参数或返回) .这就是第三种情况下它不会显示任何警告的原因。正如 EJP 所说，它将检查运行时。

@NonNull 表示 null 不是合法值。

这里空注释变得很重要。通过定义@NonNull 批注，您可以告诉编译器您不希望位置出现空值。

但是调用者有责任永远不传递 null 值，这是要确保的，例如，通过显式 null 检查。