Java 17下Maven正确配置Checker Framework的方法

你的配置存在3个关键缺失，这是检查逻辑完全不触发的根本原因：

• 未遵循Maven标准配置注解处理器路径，仅将Checker Framework放在普通编译依赖中，不管是Maven还是IDEA都不会自动识别并加载它作为注解处理器
• 未通过-processor编译参数指定要启用的检查器，即使处理器加载成功，javac也不知道需要执行哪些检查规则
• Java 17模块权限开放配置不全，仅开放了1个javac内部包，会导致Checker Framework运行时因反射权限不足静默失败
• 补充说明：Lombok无需额外配置就能被IDEA识别，是因为IDEA对Lombok做了专属插件级适配，Checker Framework无此特殊待遇，但只要遵循Maven标准注解处理器配置，同样不需要手动修改IDE设置即可跨环境生效。

1. 调整依赖配置 #

仅保留注解包作为普通编译依赖（供代码中引用@Positive这类注解），完整检查框架包不需要放到业务编译类路径中：

<properties>
    <checkerframework.version>3.22.1</checkerframework.version>
    <maven.compiler.plugin.version>3.11.0</maven.compiler.plugin.version>
</properties>

<dependencies>
    <dependency>
        <groupId>org.checkerframework</groupId>
        <artifactId>checker-qual</artifactId>
        <version>${checkerframework.version}</version>
        <scope>compile</scope>
    </dependency>
</dependencies>

2. 修正maven-compiler-plugin配置 #

重点补充注解处理器路径、检查器声明、Java17所需的全量模块开放参数，annotationProcessorPaths是Maven标准配置，IDEA、Eclipse等主流IDE都会自动读取该配置，无需手动修改IDE内的注解处理开关：

<build>
    <plugins>
        <plugin>
            <groupId>org.apache.maven.plugins</groupId>
            <artifactId>maven-compiler-plugin</artifactId>
            <version>${maven.compiler.plugin.version}</version>
            <configuration>
                <fork>true</fork>
                <release>17</release>
                <compilerArgs combine.children="append">
                    <!-- Java17所需的全量模块开放权限 -->
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.parser=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED</arg>
                    <arg>-J--add-opens=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED</arg>
                    <!-- 指定要启用的检查器，多个用逗号分隔，示例启用ValueChecker（支持@Positive校验）、NullnessChecker，按需增减 -->
                    <arg>-processor</arg>
                    <arg>org.checkerframework.common.value.ValueChecker,org.checkerframework.checker.nullness.NullnessChecker</arg>
                </compilerArgs>
                <!-- 标准注解处理器路径，IDE自动识别无需额外配置 -->
                <annotationProcessorPaths>
                    <path>
                        <groupId>org.checkerframework</groupId>
                        <artifactId>checker</artifactId>
                        <version>${checkerframework.version}</version>
                    </path>
                    <!-- 如果项目同时使用Lombok，在此处添加Lombok的处理器路径即可，无需其他配置 -->
                </annotationProcessorPaths>
            </configuration>
        </plugin>
    </plugins>
</build>

配置修改完成后，在IDEA中右键pom.xml选择Maven重载项目，等待依赖加载完成后：

• 执行mvn compile命令，控制台会直接输出检查错误，你测试代码中给@Positive变量赋值-4的问题会抛出incompatible types in assignment的编译错误
• IDEA会自动识别注解处理器配置，在代码对应位置显示黄色警告下划线，不需要手动进入IDE设置修改注解处理选项，所有配置都保存在pom.xml中，跨平台、跨IDE兼容。

注意：@Positive注解需要从org.checkerframework.common.value.qual.Positive包导入，不要导错其他包的同名注解，否则检查规则不会匹配。

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