groovy @CompileStatic注解小记
概览
@CompileStatic 是 Groovy 提供的编译时静态类型检查与静态生成字节码的注解。它可在类级别、方法级别或构造器上使用，一旦启用，Groovy 编译器会像 Java 一样在编译阶段执行类型检查，并生成直接调用目标方法的字节码，从而绕过 Groovy 的元对象协议（MOP），实现更高性能和编译时错误捕获 (Groovy Documentation, Groovy)。
## 1. 编译时类型检查与字节码静态化
1.1 强类型检查
-
启用后，所有方法调用、属性访问都会在编译阶段验证类型正确性，避免运行时出现
MissingMethodException或MissingPropertyException等问题。 -
与
@TypeChecked相比，@CompileStatic不仅做类型检查，还直接生成静态分派的字节码 。
1.2 静态分派
-
编译器会将方法调用编译为与 Java 相同的字节码调用（
invokevirtual、invokestatic等），而非运行时动态查找 。 -
如运算仅涉及原始类型，编译器会生成等同 Java 的原生字节码，以获得更优性能 。
## 2. 性能优化与 AOT 支持
-
运行时开销减少：由于绕过了 MOP，减少了运行时反射与元编程开销，大幅提升方法调用和算术运算性能 。
-
GraalVM 原生镜像：在 AOT 场景（如 GraalVM native-image）中，
@CompileStatic可让方法句柄成为编译时常量，解决原生镜像对动态调用句柄支持不足的问题 。
## 3. 使用场景与示例
import groovy.transform.CompileStatic@CompileStatic
class MathUtils {// 静态编译后，方法调用在编译期就确定签名static int add(int a, int b) {return a + b}
}class Demo {@CompileStaticvoid process() {// 无需经由 MOP，直接调用 MathUtils.addprintln MathUtils.add(5, 10)}
}
-
类级注解：对整个类及其内部方法、内部类生效 。
-
方法级注解：仅对该方法体及其闭包、匿名类生效。
## 4. 与 @TypeChecked 的区别
| 特性 | @TypeChecked | @CompileStatic |
|---|---|---|
| 类型检查 | 编译期检查 | 编译期检查 |
| 字节码生成 | 仍走动态分派（MOP） | 静态分派，生成 Java 风格字节码 |
| 性能开销 | 保留运行时元编程开销 | 几乎无多余开销 |
| 元编程能力 | 可继续使用运行时元编程 | 某些元编程操作（动态方法注入等）在静态编译时受限 |
## 5. 限制与注意事项
-
元编程受限：在静态编译下，某些 DSL 或运行时注入的方法/属性无法被解析，可能编译报错。
-
自调用失效：类内方法互相调用仍走静态分派，不触发后续切面或动态代理。
-
调试复杂度：错误定位在编译期和运行期都可能不完全一致，需要结合 IDE 支持。
## 6. 何时使用
-
性能关键：需要接近 Java 性能且不依赖运行时元编程时，推荐使用 (DZone)。
-
AOT 编译：在 GraalVM native-image 等场景下，确保所有调用在编译期解析。
-
严格类型安全：希望捕获更多编译期错误、减少运行时异常。