SpotBugs NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE异常触发场景咨询

问题背景 #

使用Lombok生成的Getter方法如下，该方法标注了@Nullable，明确返回值可能为null：

@Generated
public @Nullable Integer getPort() {
    return this.port;
}

调用该方法时，SpotBugs在以下场景中触发了Possible null pointer dereference due to return value of called method (NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE)警告：

触发警告的场景 #

示例1：直接传参触发 #

直接将getPort()返回值传入不允许为空的方法，SpotBugs检测到空指针风险：

session.connectAndBind(gateway.getHost(), gateway.getPort()); // <--- 触发警告

示例2：三目运算符拆箱触发 #

即使通过三目运算符做了null判断，第二次调用getPort()仍被视为可能返回null，拆箱操作触发警告：

int port = gateway.getPort() != null ? gateway.getPort() : 0; // <--- 触发警告
session.connectAndBind(gateway.getHost(), port);

示例3：if分支赋值触发 #

if条件中判断getPort()非空，但分支内再次调用getPort()时，SpotBugs仍认为存在null风险：

int port = 0;
if (gateway.getPort() != null) { // <--- 触发警告
    port = gateway.getPort();
}
session.connectAndBind(gateway.getHost(), port);

警告触发原因 #

SpotBugs的数据流分析逻辑是：每次方法调用都被视为独立的、可能返回不同值的操作。即使前一次调用getPort()判断了非空，它无法保证后续调用时gateway的port字段没有被修改（比如多线程场景下其他线程修改了该字段），因此会认为第二次调用的返回值仍可能为null，进而触发拆箱或传参时的空指针警告。

通过检测的写法 #

将getPort()的返回值先存入局部变量，后续的判断和使用都基于这个变量，SpotBugs能跟踪到该变量的非空状态，不会触发警告：

// 通过检测
Integer port1 = gateway.getPort();
int port = port1 != null ? port1 : 0;
session.connectAndBind(gateway.getHost(), port);

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