如何解决Record中List引发的EI_EXPOSE_REP SpotBugs警告？

1. 问题本质 #

你在Record紧凑构造器中已经通过List.copyOf(new ArrayList<>(ex))将输入列表转为不可变实例，但SpotBugs仍报EI_EXPOSE_REP警告，这大概率是SpotBugs的检测逻辑盲区——它对Java 16+ Record自动生成的访问器方法（ex()）的判断，没适配你在构造器中做的不可变封装逻辑，误判存在内部状态暴露风险。

2. 可行解决方法 #

方法一：手动重写访问器方法，明确返回不可变实例 #

手动覆盖Record自动生成的访问器，显式返回不可变对象，给SpotBugs明确的安全提示，同时兼顾空安全：

public record Example(List<String> ex) {
    public Example {
        // 空安全处理：输入为null时转为空不可变列表
        ex = ex == null ? List.of() : List.copyOf(new ArrayList<>(ex));
    }

    @Override
    public List<String> ex() {
        // 显式返回不可变实例，强化SpotBugs的识别逻辑
        return List.copyOf(ex);
    }
}

方法二：字段级抑制警告 #

如果不想修改业务代码，可以直接在Record的字段上添加SpotBugs的抑制注解，仅针对该字段消除警告，不影响类内其他检测：

import edu.umd.cs.findbugs.annotations.SuppressFBWarnings;

public record Example(
    @SuppressFBWarnings(
        value = "EI_EXPOSE_REP",
        justification = "构造器已将输入列表转为不可变实例，无内部状态暴露风险"
    )
    List<String> ex) {

    public Example {
        ex = ex == null ? List.of() : List.copyOf(new ArrayList<>(ex));
    }
}

注意需要引入SpotBugs的注解依赖（如findbugs-annotations）。

3. 是否属于SpotBugs的Bug？ #

可以认定为SpotBugs的检测逻辑缺陷。按照Java Record的设计，你在紧凑构造器中已经替换原始字段为不可变实例，自动生成的访问器返回的是安全的不可变对象，不存在可变状态暴露风险。但SpotBugs的EI_EXPOSE_REP检测逻辑未适配Record的构造器处理逻辑，导致误判。

4. 空安全补充 #

上述两种方案都已处理空输入场景：通过ex == null ? List.of() : ...将null转为空的不可变列表，避免后续出现空指针异常。

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