编译器插件 (K2/IR) 起步

如果您觉得 KSP (Kotlin Symbol Processing) 只能生成新文件而不能修改现有代码的局限性太大，那么 Kotlin 编译器插件 (Compiler Plugin) 将是您的终极武器。

为什么要使用编译器插件？

特性	KSP	编译器插件 (IR)
生成新代码	✅ 支持	✅ 支持
修改现有代码	❌ 不支持	✅ 支持 (重写函数体)
改变语言语义	❌ 不支持	✅ 支持 (如 @AllOpen, @NoArg)
复杂程度	中等	极高 (由于 API 不稳定)

K2 编译器与 IR 架构

随着 Kotlin 2.0 (K2) 的到来，编译器架构变得更加统一。核心流程如下：

1. FIR (Frontend IR): 将源码转换为带类型的树结构。
2. Backend IR: 编译器后端的中间表示。这是插件发挥作用的核心地带。
3. 目标代码生成: 生成 JVM 字节码或 JS/Native 代码。

核心 API：IrElementTransformer

编译器插件的工作本质上是访问者模式。您需要继承 IrElementTransformerVoid 并重写对应的 visitXxx 方法。

// 示例：拦截函数调用并注入逻辑
override fun visitFunction(declaration: IrFunction): IrStatement {
    // 识别带有特定注解的函数
    if (declaration.hasAnnotation(FqName("com.example.Monitor"))) {
        // 在这里可以使用 IrBuilder 动态构建新的逻辑插入函数体
    }
    return super.visitFunction(declaration)
}

实战：AllOpen 插件原理

Kotlin 的类默认是 final 的。官方提供的 kotlin-allopen 插件就是通过编译器插件实现的：

1. 在编译器扫描类定义时。
2. 查找是否标有特定注解。
3. 通过修改类的 modality 属性，将其从 FINAL 改为 OPEN。

开发挑战与现状

警告

目前 Kotlin 编译器插件的 API（尤其是针对 K2 的）仍处于非稳定状态。JetBrains 尚未提供像 KSP 那样友好的外部开发者文档。

• 调试困难: 需要通过附加远程调试器到 Gradle 进程进行调试。
• 版本绑定: 插件通常与 Kotlin 的具体次版本号强绑定。

工具推荐

如果您想开始探索：

• Kotlin Compiler Embeddable: 引入核心编译器库。
• Kotlin Power Assert: 一个优秀的开源示例，展示了如何通过 IR 转换增强断言功能。

---