IntelliJ IDEA 抱怨 @NotNull 参数的空检查答案

【问题标题】：IntelliJ IDEA complains about null check for @NotNull parameterIntelliJ IDEA 抱怨 @NotNull 参数的空检查
【发布时间】：2015-04-07 17:41:18
【问题描述】：

我想在我的项目中使用 Jetbrains @Nullable/@NotNull Annotations。

我有一个带有@NotNull 字段的类。构造函数自然不接受null，而是抛出异常。当然这个构造函数的参数也是用@NotNull注解的。

为什么 IntelliJ IDEA 抱怨空检查？文档指出：

带有 NotNull 注释的元素声明 null 值被禁止返回（对于方法）、传递给（参数）并保持（局部变量和字段）。

但是我仍然需要在运行时检查空值，以防构建系统不理解注释并接受像new Car(null) 这样的语句。我错了吗？

【问题讨论】：

【解决方案1】：

如果您使用 JetBrains @NotNull 注释，运行时断言将被添加到您编译的字节码中，这将保证 null 不会在那里传递。那么在源代码中编写相同的检查真的没有意义。这种方法对我们来说效果很好。

如果您使用其他注释或者只是不想检测字节码，您可以通过在其上按 Alt+Enter、“编辑检查设置”并选中“忽略断言语句”来禁用此特定警告。 IDE 将此类条件语句视为断言。

【讨论】：

【解决方案2】：

如果构造函数的参数是Not Null，那么用and if语句检查null值是没有意义的。

而且我们知道参数 Engine 所持有的任何值都不为 null，因此此检查将始终为 false。

因此，您的屏幕截图中显示的检查将完全有意义。如果您真的不想看到 null 检查检查，请从首选项部分禁用它。

简而言之，您正在检查的值在构造函数中不为空，IDE 知道这一点。

【讨论】：

【解决方案3】：

他们希望你使用

        Objects.requireNonNull(engine, "engine");

【讨论】：