启用Groovy静态类型检查后仍可访问私有字段，此现象是否正常？

这种情况不正常，Groovy静态类型检查（STC）的核心目标之一就是限制非授权的成员访问，包括私有字段。

问题根源分析 #

你调试到的StaticTypeCheckingVisitor.hasAccessToMember方法中，accessor被错误设置为目标类而非脚本类，这是关键问题：

• 正常逻辑下，accessor应该是发起访问的脚本类，此时STC会检查脚本类是否有权限访问目标类的私有成员（显然没有），进而抛出编译期错误。
• 当accessor被误设为目标类时，相当于目标类自身访问私有成员，STC会判定权限合法，从而绕过检查。

可能的触发场景及解决方向 #

• 脚本编译配置问题：确保启用STC时，脚本是作为独立类编译，而非被内联到目标类的上下文里。检查你的CompilerConfiguration中staticTypeCheckingEnabled是否正确配置，且没有额外的scriptBaseClass或上下文绑定导致身份混淆。
• Groovy版本bug：部分旧版Groovy（如2.x早期版本）在处理脚本STC时存在权限判定逻辑的漏洞，建议升级到稳定的3.x或4.x版本。
• 自定义AST变换干扰：如果项目中有自定义AST变换，可能意外修改了accessor的判定逻辑，排查相关变换代码是否影响了StaticTypeCheckingVisitor的执行流程。

验证方法 #

可以写一个极简测试脚本验证：

class Target {
    private String secret = "foo"
}

// 启用静态类型检查
@groovy.transform.CompileStatic
def script() {
    def t = new Target()
    println t.secret // 正常应该触发编译错误
}

script()

如果这段代码能编译运行，说明你的STC配置或环境存在问题，按照上述方向排查即可。

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