Lombok 通过 JSR 269 注解处理机制在 javac 解析完成后、语义分析前修改内存中的 AST 节点,利用私有 API(如 JCTree)动态插入 getter/setter 等节点,不生成文件,依赖 javac 后续自动完成符号解析与字节码生成。

Java 编译器(javac)在编译过程中会将源代码解析为抽象语法树(AST),而 Lombok 并不直接操作 AST,它利用的是 javac 的 注解处理机制(Annotation Processing),在编译早期阶段通过 JSR 269 注解处理器介入,动态修改编译器内部的 AST 节点,从而实现“无代码生成”的效果。这不是字节码增强,也不是运行时代理,而是发生在编译期、紧贴 javac 内部流程的一次深度集成。
javac 的编译阶段与 Lombok 的插入时机
Lombok 的核心依赖于 javac 的编译生命周期。标准 javac 流程包括:解析(Parse)→ 分析(Enter/Analyze)→ 生成(Generate)。Lombok 的注解处理器在 解析完成、语义分析开始前(即 `Attribution` 阶段之前)介入,此时 AST 已构建但尚未绑定符号(symbol)、未校验类型。这个时间点允许安全地向 AST 中插入、替换或删除节点。
- Lombok 注册为 `JavacProcessingEnvironment` 下的注解处理器,通过 `JavacTrees.instance(task)` 获取当前 AST 操作入口
- 它不新建 Java 文件,也不写磁盘;所有修改都作用于 javac 内存中的 `JCClassDecl`、`JCMethodDecl` 等 `com.sun.tools.javac.tree.JCTree` 子类实例
- 例如 `@Data` 触发后,Lombok 扫描目标类字段,动态构造 `JCMethodDecl`(getter/setter)并插入到 `JCClassDecl.defs` 列表中
Lombok 如何安全修改 AST:基于 JCTree 的节点操作
Lombok 直接使用 javac 内部的 AST 类型(如 `JCExpression`、`JCBlock`、`JCReturn`),这些类型属于 `com.sun.tools.javac.tree` 包,是 javac 私有 API,因此 Lombok 必须与具体 JDK 版本严格对齐(这也是它需发布多版本适配包的原因)。
- 所有新增方法、字段、构造器均以 `JCTree` 标准节点形式创建,例如用 `treeMaker.MethodDef()` 构造方法定义节点
- 修改过程不破坏原有 AST 结构:仅更新 `defs`(类成员列表)、`params`(方法参数)、`body`(方法体)等可变字段
- 符号表(Symbol Table)随后由 javac 自动补全——Lombok 不手动注册 symbol,而是依赖 javac 在后续 `Attr` 阶段自动解析新插入节点的类型和作用域
为什么不是 APT 标准方式?Lombok 的“非常规”设计
标准 JSR 269 注解处理器(如 Dagger、MapStruct)只能 生成新源文件或 class 文件,不能修改已有 AST。Lombok 实现了“非标准但合法”的绕过:它通过反射获取 javac 内部 `JavacTask` 和 `TreeMaker` 实例,并利用 `Plugin` 机制注入自定义逻辑。
- 它不是一个纯 APT,而是一个 javac 插件(通过 `-Xplugin:Lombok` 启用),在 `JavacTask` 初始化时注册自己的 `JavacAnalyzer`
- 关键依赖 `lombok.javac.apt.Processor` 和 `lombok.javac.JavacTransformer`,后者封装了针对不同 JDK 版本的 AST 修改适配层
- IDE(如 IntelliJ)需单独安装 Lombok 插件,本质是模拟 javac 的 AST 修改流程,在编辑器内实时重写语法树,保持代码高亮与跳转正常
典型注解的 AST 修改示意(以 @Getter 为例)
假设有类:class Person { private String name; }
经 Lombok 处理后,AST 中的 `JCClassDecl` 成员列表(`defs`)会被追加一个 `JCMethodDecl`:
- `name`: "getName"
- `mods`: `public` 修饰符节点
- `restype`: `JCIdent` 表示类型 `String`
- `body`: `JCBlock` 包含 `JCReturn` 节点,返回 `this.name`
该节点与其他手写方法完全等价,后续编译流程(类型检查、字节码生成)无感知差异。

















