为何SpotBugs处理org.jetbrains.annotations.NotNull注解的报错逻辑不一致

问题核心原因 #

你观察到的差异本质是SpotBugs对org.jetbrains.annotations.NotNull注解触发了两个不同维度的检查逻辑，二者底层原则统一，不存在逻辑矛盾：

1. 第一个示例触发「方法实现是否符合非空契约」校验

对应代码：

// Here SpotBugs informs that method that was marked non null might return null.
@NotNull
public List<String> getList(String value) {
    return Collections.emptyList();
}

SpotBugs默认把所有标注了@NotNull的方法视为遵守「返回值永远非空」的契约，会扫描方法所有返回分支，判断是否存在返回null的可能。你遇到的报错属于老版本SpotBugs的已知误判——它没有正确识别Collections.emptyList()永远返回非空静态实例的特性，并不是校验逻辑本身的问题，新版本已经修复了这个推断缺陷。

2. 第二个示例触发「调用方是否遵守非空契约」校验

对应代码：

// Here SpotBugs informs about redundant null check.
@NotNull
public String returnNotNullString() {
    return getString();
}

private String getString() {
    return "Hello";
}

SpotBugs兼容JetBrains注解的专属特性：知道标注了@NotNull的方法如果用IntelliJ IDEA编译，会自动在返回前插入非空校验逻辑，返回null时直接抛出异常，不可能把null返回给调用方。因此当调用该方法的代码额外加了返回值非空判断时，SpotBugs就会提示校验冗余。

底层逻辑说明 #

两个检查逻辑的底层原则完全一致：都把@NotNull当做「方法返回值绝对非空」的强契约：

• 对方法实现方：必须保证所有返回路径都不返回null，违反就报错
• 对方法调用方：不需要再判断返回值是否为null，写了就提示冗余

如果遇到第一个示例的误判，直接升级SpotBugs到最新稳定版即可，也可以针对单条代码添加@SuppressWarnings注解忽略特定误报。

内容的提问来源于stack exchange，提问作者Alexander Illarionov