Javac源码解读-书目录

1、Javac编译器

（1）Javac编译器介绍（主要介绍如何从java源代码到class的一个转换过程）

（2）Javac的源码（说明其中哪个功能由哪个主要的类来完成）

（3）Javac支持的命令及实现

2、文件加载与输出

（1）概述

编译一个Java源代码到class时会涉及到依赖文件的查找加载，并且需要将最终生成的class文件进行写出。这就需要一个统一的文件模块来处理，其中涉及到的主要类如下：

1、Paths、Path

2、ZipArchive

3、BaseFileObject

4、JavacFileManager

（2）依赖路径查找主要是平台路径，如Platform_class_path，class_path、source_path与annotation_processor_path。Paths类解读

（3）加载及处理依赖包

（4）使用依赖相关类

JavacFileManager
RelativeDirectory
Relativefile

（5）优化

3、词法分析

（1）编码

（1）词法元素（关键字、符号和自定义单词）

（2）Java的Name与QualifiedName

一个字符一个字符的读取源代码，形成规范化的Token流。规范化的Token包含：

java关键词：package、import、public、class、int等
自定义单词：包名、类名、变量名、方法名
符号：=、;、+、-、*、/、%、{、}等

4、语法分析

（1）定义的分析（类的定义、包的定义、import定义、变量与方法的定义）

（2）语句的分析

（3）表达式的分析

5、抽象语法树的生成

（1）自顶向下分析

（2）自底向上分析

（3）表达式的抽象语法树

（4）语句的抽象语法树

（5）声明的抽象语法树

（6）访问抽象语法树

6、Java中的符号

（1）符号表管理相关类

（2）Java语言中符号的种类

（3）符号名字的管理

（4）符号的表示

（5）类型的表示

（6）可见性管理

7、填充符号表

（4）抽象语法树的遍历

8、语义分析之注解处理

（4）抽象语法树的遍历

9、标记语法分析树

（1）Javac相关类型

（2）类型相互转换

10、语义分析之标注语法树

（3）标注：检查语义合法性、进行逻辑判断

检查语法树中的变量类型是否匹配（eg.String s = 1 + 2;//这样"="两端的类型就不匹配）
检查变量、方法或者类的访问是否合法（eg.一个类无法访问另一个类的private方法）
变量在使用前是否已经声明、是否初始化
常量折叠（eg.代码中：String s = "hello" + "world"，语义分析后String s = "helloworld"）
推导泛型方法的参数类型

11、语义分析之数据流检查

（4）数据流分析

变量的确定性赋值（eg.有返回值的方法必须确定有返回值）
final变量只能赋一次值，在编译的时候再赋值的话会报错
所有的检查型异常是否抛出或捕获
所有的语句都要被执行到（return后边的语句就不会被执行到，除了finally块儿）

12、语义分析之语法糖去除

（5）进一步语义分析

去掉永假代码（eg.if(false)）
变量自动转换（eg.int和Integer）自动装箱拆箱
去掉语法糖（eg.foreach转化为for循环，assert转化为if，内部类解析成一个与外部类相关联的外部类）

13、class文件结构

（1）Class类文件的结构

（2）字节码指令简介

（2）读取class文件相关的信息

14、字节码生成

（1）指令的编码

（2）生成代码的管理

（3）指令的发射

（4）存储管理

（5）代码生成

1、为Java方法生成代码

2、为方法的调用生成代码

3、为循环结构生成代码

4、为条件语句生成代码

5、为异常捕获生成代码

15、辅助工具类

1、日志记录

2、名称管理

3、有序列表的实现

4、单例的实现

5、位实现

6、国际化实现

附录A：语法节点表

语句Statement

1、Java中的Statement

2、创建Statement

3、访问Statement

表达式Expression