深入解析Java编译器：源码剖析与实例详解

前言

第1章 Javac介绍1

1.1 初识Javac1

1.2 Javac源码与调试4

1.3 Javac命令7

第2章 Javac文件系统12

2.1 文件相关实现类12

2.2 文件的管理25

2.2.1 获取JavacFileManager对象25

2.2.2 StandardLocation类28

2.2.3 JavacFileManager类31

第3章 词法分析38

3.1 字符编码38

3.2 获取字符输入流40

3.3 Token与Name43

3.3.1 Token介绍44

3.3.2 Name对象的生成与存储47

3.3.3 Name映射为Token51

3.4 生成Token流52

第4章 语法分析之认识树节点67

4.1 定义及声明68

4.1.1 JCCompilationUnit类68

4.1.2 JCImport类69

4.1.3 JCClassDecl类70

4.1.4 JCModifiers类71

4.1.5 JCTypeParameter类72

4.1.6 JCVariableDecl类72

4.1.7 JCMethodDecl类74

4.2 语句75

4.2.1 JCBlock类75

4.2.2 JCIf类76

4.2.3 JCWhileLoop、JCDoWhileLoop、JCForLoop与JCEnhancedForLoop类78

4.2.4 JCSwitch与JCCase类79

4.2.5 JCTry、JCCatch与JCThrow类81

4.2.6 JCLabeledStatement、JCReturn、JCContinue与JCBreak类82

4.2.7 JCSynchronized类83

4.2.8 JCAssert类83

4.3 表达式83

4.3.1 基本表达式84

4.3.2 含运算符的表达式88

4.3.3 类型相关表达式94

4.3.4 注解表达式97

4.4 生成树节点98

第5章 语法分析之建立抽象语法树101

5.1 定义及声明的抽象语法树101

5.2 语句的抽象语法树112

5.3 表达式的抽象语法树121

5.3.1 基本表达式122

5.3.2 含有运算符的表达式134

5.4 遍历抽象语法树140

第6章 符号表的组织143

6.1 符号的定义143

6.1.1 Symbol类144

6.1.2 TypeSymbol及其子类150

6.1.3 VarSymbol类154

6.1.4 MethodSymbol及OperatorSymbol类154

6.2 符号表的组织160

6.2.1 Env类介绍160

6.2.2 AttrContext类介绍162

6.2.3 Scope类介绍163

6.2.4 符号表的建立164

6.3 类型的定义169

6.3.1 普通类型的定义169

6.3.2 泛型相关类型的定义175

第7章 填充符号表180

7.1 依赖的处理180

7.1.1 创建包或类符号180

7.1.2 输入包或类下的成员符号184

7.2 符号输入的阶段189

7.2.1 Enter类190

7.2.2 visitTopLevel()方法192

7.2.3 visitClassDef()方法193

7.2.4 visitTypeParameter()方法196

7.3 符号输入第二阶段197

7.3.1 MemberEnter类197

7.3.2 visitImport()方法200

7.3.3 visitMethodDef()方法207

7.3.4 visitVarDef()方法209

第8章 插入式注解的实现211

8.1 注解处理器基础211

8.1.1 编写注解处理器211

8.1.2 注解配置215

8.1.3 工具类215

8.2 初始化注解处理器222

8.3 运行注解处理器226

第9章 语义分析之类型转换233

9.1 类型转换的种类233

9.2 赋值转换245

9.3 方法调用转换253

9.4 强制类型转换254

9.5 数字提升266

第10章 语义分析之语法检查269

10.1 类型定义的检查269

10.1.1 父类及实现接口的检查269

10.1.2 类型定义的性检查273

10.1.3 类型中方法的兼容性检查276

10.1.4 类型中实现方法的检查287

10.2 变量定义的检查294

10.3 方法定义的检查296

10.3.1 方法的性检查296

10.3.2 方法的隐藏298

10.3.3 方法的覆写303

第11章 语义分析之引用消解307

11.1 Resolve类介绍307

11.2 类型引用的消解310

11.3 变量引用的消解320

11.4 方法引用的消解323

第12章 语义分析之语法树标注345

12.1 Attr类介绍346

12.2 表达式相关树节点的标注348

12.2.1 JCUnary树节点标注348

12.2.2 JCBinary树节点的标注350

12.2.3 JCAssignOp树节点的标注351

12.3 JCIdent树节点的标注351

12.4 JCFieldAccess树节点的标注354

第13章 泛型的实现361

13.1 泛型类型361

13.2 泛型方法364

13.2.1 类型推断365

13.2.2 钻石语法383

13.3 泛型擦除386

第14章 数据流检查396

14.1 Flow类介绍396

14.1.1 语句的活跃性分析396

14.1.2 变量赋值检查398

14.1.3 异常检查405

14.2 if语句的分析405

14.2.1 if语句405

14.2.2 一元表达式与if语句409

14.2.3 二元表达式与if语句410

14.2.4 三元表达式与if语句412

14.3 循环语句的分析413

14.3.1 for语句413

14.3.2 中断循环语句416

14.4 try语句与throw语句的分析419

14.4.1 抛出异常419

14.4.2 异常检查424

14.4.3 变量赋值状态及语句的活跃性430

第15章 语法糖去除435

15.1 简单语法糖436

15.1.1 变长参数436

15.1.2 条件编译437

15.1.3 自动装箱与拆箱438

15.2 语句语法糖440

15.2.1 foreach语句440

15.2.2 switch语句442

15.2.3 try-with-resources语句447

15.3 枚举类语法糖452

15.4 内部类语法糖453

15.4.1 调用私有构造方法454

15.4.2 引用成员457

15.4.3 super关键字引用父类成员470

15.4.4 访问自由变量472

第16章 字节码指令生成486

16.1 字节码指令集486

16.2 生成字节码指令492

16.2.1 实现本地变量表492

16.2.2 实现操作数栈495

16.2.3 常量池信息的存储497 16.2.4 Code类介绍 499 16.3 Gen类介绍 502 16.4 可寻址实体Item 506 16.4.1 LocalItem类 508 16.4.2 ImmediateItem类 512 16.4.3 StackItem类 514 16.4.4 AssignItem类 515 16.4.5 StaticItem类 517 16.4.6 MemberItem类 520 16.4.7 SelfItem类 523 16.4.8 IndexedItem类...