Groovy @TypeChecked为何拦截String转int却不拦截int转String？

1. 这是预期行为，绝非Bug #

这种差异完全符合Groovy的静态类型检查规则和设计逻辑。Groovy在开启@TypeChecked或@CompileStatic时，会区分安全隐式转换和不安全隐式转换：

• 把int赋值给String变量时，Groovy判定这是安全操作：所有Java/Groovy对象都自带toString()方法，int会先装箱为Integer，再自动调用toString()转为String，这个过程不会出现运行时异常，所以静态检查放行。
• 反过来把String赋值给int变量时，属于不安全操作：不是所有String都能解析成有效的int（比如"abc"），静态检查会直接拦截这种可能出错的赋值，提前规避潜在问题。

Groovy官方文档明确了这类转换规则：允许任何类型向String的隐式转换，而反向的数值类型转换必须显式调用toInteger()等方法，静态检查会强制执行这个安全规范。

2. 123自动转String的原因及禁用方法 #

转换本质 #

这不是自动装箱（自动装箱是int→Integer的包装类型转换），而是Groovy的隐式toString转换：当赋值给String类型变量时，Groovy会自动调用被赋值对象的toString()方法完成转换。对于int这类基本类型，会先装箱为Integer，再执行toString()得到"123"。

禁用方式 #

如果要彻底禁止这种隐式转换，有两种可行方案：

• 启用严格模式静态检查：给@TypeChecked添加strict=true参数，此时Groovy会禁止所有非显式的类型转换，包括int到String的隐式赋值。示例代码：

@groovy.transform.TypeChecked(strict=true)
void testStrict() {
    String x = "abc"
    x = 123 // 编译阶段报错：无法将int类型赋值给String变量
}

• 全局启用严格类型检查：通过Groovy编译器参数-Dgroovy.strict.type.checking=true配置，所有脚本和类都会遵循最严格的类型规则，拦截任何隐式转换操作。

另外补充：无@TypeChecked的动态模式下，第一个脚本运行时抛GroovyCastException，是因为Groovy尝试将"abc"转为int失败；第二个脚本正常运行，同样是动态调用toString()完成转换，这也是Groovy动态特性的预期表现。

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