在使用 @Nonnull 注解的变量时，即使已显式检查 null 并抛出异常，编译器仍可能因方法多次调用导致的“类型流不确定性”而报错；根本解决方案是先获取一次返回值并复用，而非重复调用可能返回 null 的方法。
在使用 @nonnull 注解的变量时，即使已显式检查 null 并抛出异常，编译器仍可能因方法多次调用导致的“类型流不确定性”而报错；根本解决方案是**先获取一次返回值并复用**，而非重复调用可能返回 null 的方法。
Java 的静态空值分析工具（如 IntelliJ、Eclipse 或 VS Code 的 Java 扩展）依赖数据流分析来推断变量是否为非空。但它们通常不假设两次相同方法调用的结果一致——即使逻辑上 holderForState.getNodeElementSelectedAPI() 是纯 getter，编译器也无法保证其第二次调用仍非 null（例如，该方法可能被子类重写、受并发修改影响，或存在副作用）。因此，以下写法会触发警告：
@Nonnull String abc;
if (holderForState.getNodeElementSelectedAPI() == null
|| holderForState.getNodeElementSelectedAPI().equals("")) {
throw new IllegalArgumentException("SelectedAPI is empty or null during logic usage");
}
abc = holderForState.getNodeElementSelectedAPI(); // ⚠️ Warning: unchecked conversion to @Nonnull尽管语义上安全，但编译器无法确认第三次调用结果与前两次一致，故拒绝将 String（可能为 null）赋给 @Nonnull String。
✅ 正确做法：只调用一次方法，将结果缓存到局部变量中，再对该变量进行空值和空字符串检查：
String abc = holderForState.getNodeElementSelectedAPI(); // ✅ 单次调用，明确可追踪
if (abc == null || abc.trim().isEmpty()) { // 推荐用 trim().isEmpty() 替代 equals("")，更健壮
throw new IllegalArgumentException("SelectedAPI is empty or null during logic usage");
}
@Nonnull String nonNullAbc = abc; // ✅ 安全赋值：此时 abc 已被证实非 null 且非空
// 后续可直接使用 nonNullAbc 作为 @Nonnull 参数传入其他方法
processApi(nonNullAbc);? 为什么 trim().isEmpty() 更优？
"".equals(str) 是空安全的，但 str.equals("") 在 str 为 null 时会抛 NullPointerException；而 str == null || str.trim().isEmpty() 显式覆盖 null 和空白字符串（如 " "），语义更完整，也符合常见业务校验需求。立即学习“Java免费学习笔记（深入）”；
? 关键注意事项：
- 不要依赖“调用顺序”让编译器推断非空性；始终用局部变量缓存 + 单次求值打破不确定性；
- 若方法签名本身返回 @Nullable String（推荐），则 IDE 能更好配合分析；确保 getNodeElementSelectedAPI() 的声明包含 @Nullable 注解（如 @Nullable String getNodeElementSelectedAPI()），提升工具链准确性；
- 在启用 -Xlint:all 或 Lombok 的 @NonNull 等场景下，该模式同样适用——核心原则不变：避免重复调用，用确定性变量承载可信状态。
总结：空值安全不是靠“写得像非空”，而是靠“让工具能证明非空”。一次赋值、一次检查、一次使用，既是最佳实践，也是静态分析友好的编码契约。
