@notnull、@nonnull等在IntelliJ IDEA中都不起作用

Question

• org.checkerframework.checker.nullness.qual.nonnull
• org.jetbrains.annotations.notnull
• javax.annotation.nonnull

在所有情况下，为其分配空值不会从IntelliJ2016.2中产生任何抱怨。

public class GreetingController {
    @NotNull Integer x = 3;
    public void foo() { x = null; }
}

根据Intellij的说法，这一切都很好。

我肯定这一定管用，我做错了什么？

我已经上传了一个在这里不起作用的例子：ZIP下载。

Answer 1

正如我从您的截图和示例项目中所看到的，IntelliJ IDEA确实向您显示了警告。请注意，这些警告是由动态运行的代码检查显示的，并将显示在编辑器或分析检查代码结果中。编译器不会显示这些警告。

请注意，如果需要，您可以配置警告突出显示（例如，添加下波效果）：

您还可以更改检查的严重性（比如错误）：

null