Eclipse空指针检查对自定义函数失效，触发潜在空指针访问警告

这是个非常典型的问题，我来帮你理清楚背后的原因和解决办法：

问题根源 #

Eclipse的静态空指针分析（Null Analysis）是基于预设规则和注解来工作的，它没办法自动“读懂”你自定义函数的语义逻辑。

具体来说，你的isNullOrEmpty函数虽然功能上是判断集合是否为空或null，但Eclipse不知道：当这个函数返回false时，传入的参数test一定是非null的。它只会识别几种内置的空检查模式，比如直接写test != null && !test.isEmpty()，或者标注了特定注解的标准库方法。

解决办法 #

这里有几个实用的方案，你可以根据自己的需求选择：

1. 给自定义方法添加空分析注解 #

你可以使用Eclipse支持的JSR 305注解，告诉静态分析工具这个方法的语义。需要先引入org.eclipse.jdt.annotation相关依赖，然后修改你的方法：

import org.eclipse.jdt.annotation.EnsuresNonNullIf;
import org.eclipse.jdt.annotation.Nullable;

public class Runtime { 
    public static void main(final String args[]) throws Exception { 
        Collection<String> test = null; 
        if (new Random().nextBoolean()) { 
            test = new ArrayList<>(); 
        } 
        if (!isNullOrEmpty(test)) { 
            test.size(); // 现在不会报警告了
        } 
    } 

    // 标注：当方法返回false时，参数coll一定非null
    public static @EnsuresNonNullIf(expression = "coll", result = false) 
    boolean isNullOrEmpty(final @Nullable Collection<?> coll) { 
        return (coll == null) || coll.isEmpty(); 
    } 
}

添加@EnsuresNonNullIf注解后，Eclipse就能理解这个方法的返回值和参数非空性的关联，从而消除警告。

2. 直接内联空检查逻辑 #

如果不想引入额外的注解依赖，最简单的方式就是把检查逻辑直接写在调用处，替换成Eclipse能直接识别的形式：

if (test != null && !test.isEmpty()) {
    test.size();
}

这种写法是静态分析工具的“原生支持”模式，不会触发任何警告。

3. 配置Eclipse识别自定义空检查方法 #

你也可以在Eclipse的设置里手动配置，让它认识你的isNullOrEmpty函数：

• 打开Window > Preferences > Java > Compiler > Errors/Warnings
• 找到Null analysis分类，点击Configure按钮
• 在Null check methods标签下，添加你的isNullOrEmpty方法的全限定名（比如your.package.Runtime.isNullOrEmpty），并设置它的语义是“当返回false时，参数非空”
  不过这个配置是本地的，换一台电脑或者导入项目到其他环境时需要重新设置。

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