SpotBugs 通过集成 spotbugs-annotations 库，在编译后字节码层面识别 @NonNull 和 @CheckForNull 注解，对参数传入、返回值使用及空值传播路径进行静态分析，提前预警 NPE；需配置插件、依赖和 IDE 支持才能生效。
SpotBugs 本身不直接“内置”@Nonnull和@Nullable注解，而是通过集成第三方注解库（如 spotbugs-annotations）并配合其静态分析引擎，在编译后字节码层面识别这些标记，从而在调用链中推断空值传播路径，提前预警潜在 NPE。
SpotBugs 如何识别和使用 @NonNull / @CheckForNull
SpotBugs 官方推荐使用 @NonNull 和 @CheckForNull（注意：它不支持 JSR-305 的 @Nullable，必须用 @CheckForNull 替代）。这些注解需声明在：
- 方法参数上：标注“该参数绝不应为 null”，SpotBugs 会检查所有调用处是否传入了 null；
- 方法返回值上：标注“该方法可能返回 null”，SpotBugs 会检查调用方是否在使用前做了非空判断（如
if (x != null)或Objects.requireNonNull(x)）； - 字段或局部变量上：较少用，但也能触发相应检查（需配合插件配置）。
例如：@NonNull String getName() { return name; } → SpotBugs 要求所有调用 getName() 的地方，后续可直接解引用（如 getName().length()），否则报错；@CheckForNull User findUser(int id) { ... } → SpotBugs 会警告 findUser(123).getId() 这类未判空的链式调用。
依赖与配置是前提
仅加注解没用，SpotBugs 需要能“看到”它们。关键步骤包括：
立即学习“Java免费学习笔记（深入）”；
- Maven 中引入
spotbugs-annotations（版本建议 4.8.3+，兼容 Java 17+）； - 构建时启用 SpotBugs 插件（Maven 的
spotbugs-maven-plugin或 Gradle 的com.github.spotbugs插件）； - 确保编译器保留注解（
@Retention(RetentionPolicy.CLASS)已满足，默认生效）； - IDE（如 IntelliJ 或 Eclipse）需安装 SpotBugs 插件，并开启“Null pointer dereference”等对应规则。
SpotBugs 实际检测的典型场景
它不是靠运行时模拟，而是基于控制流和数据流做轻量级推理。常见能捕获的问题有：
- 向
@NonNull参数传null字面量或已知为 null 的变量； - 调用
@CheckForNull方法后，直接解引用返回值（如.toString()、.size()）； - 条件分支中只在 if 块判空，却在 else 外使用该变量；
- Map.get() 返回值被直接拆箱（
Integer i = map.get("k"); int v = i;），SpotBugs 可结合@CheckForNull标记 Map#get 推断风险。
和 IDE 配合效果更佳
IntelliJ IDEA 内置对 @NonNull/@CheckForNull 的实时高亮支持（尤其搭配 Lombok 或 JetBrains 注解），SpotBugs 则负责构建阶段兜底扫描。两者互补：IDE 提示写代码时就修正，SpotBugs 防止遗漏或 CI 环境绕过 IDE 检查。注意 Eclipse 用户需手动切换默认空注解为 SpotBugs 版本，避免与 JDT 自带注解冲突。
