Javac编译过程
?
?
1.詞法/語法分析,輸入符號表
??? (1)詞法分析?? ---->Token序列
??? (2)語法分析?? ---->抽象語法樹
??? (3)輸入符號表---->符號表
?????????????每個編譯單元的抽象詫法樹的頂層節點都先被放到待處理列表中
?????????? 逐個處理列表中的節點
???????????? 所有類符號被輸入到外圍作用域的符號表中
????????? ?若找到package-info.java,將其頂層樹節點加入到待處理列表中
?????????? 確定類的參數(對泛型類型而言)、超類型和接口
???????????根據需要添加默認構造方法
?????????? 將類中出現的符號輸入到類自身的符號表中
??????????
2.注解處理
?
3.語義分析(抽象語法樹)
??? (1)屬性標注和檢查(Attr和Check)
???????????? 將語法樹中名字、表達式等元素不變量、方法、類型等聯系到一起
?????????? 檢查變量使用前是否已聲明
?????????? 推導泛型方法的類型參數
?????????? 檢查類型匹配性
?????????? 進行常量折疊
??? (2)數據流分析(Flow)
???????????? 檢查所有語句都可到達
?????????? 檢查所有checked exception都被捕獲戒拋出
?????????? 檢查變量的確定性賦值
??????????????????? ?所有局部變量在使用前必項確定性賦值
??????????????????? ?有迒回值的方法必項確定性迒回值
?????????? 檢查變量的確定性丌重復賦值
??????????????????? ?為保證final的語義
??? (3)類型轉換(TransType):將泛型轉換為裸類型RawType
??????????? ?將泛型Java轉換為普通Java, 插入必要的類型轉換代碼
??? (4)解除語法糖(Lower)
?????????????削除if (false) { … }形式的無用代碼
?????????? 滿足下述所有條件的代碼被訃為是條件編譯的無用代碼
?????????????????????if語句的條件表達式是Java語言規范定義的常量表達式
??????????????????? ?并且常量表達式值為false則then塊為無用代碼;反之則else塊為無用代碼
?????????? 將含有語法糖的語法樹改寫為含有簡單語法結構的語法樹
??????????????????? ?具名內部類/匿名內部類/類字面量
??????????????????? ?斷言(assertion)
??????????????????? ?自動裝箱/拆箱
??????????????????? ?foreach循環
??????????????????? ?enum類型的switch
?????????????????????String類型的switch(Java 7)
?????????????????????etc …
4.產生.class文件
??? 將實例成員初始化器收集到構造器中成為<init>()
? 將靜態成員初始化器收集為<clinit>()
? 從抽象語法樹生成字節碼
???????????? ?后序遍歷語法樹
???????????? ?迕行最后的少量代碼轉換
????????????????? String的+被生成為StringBuilder操作
????????????????? x++/x--在條件允許時被優化為++x/--x
????????????????? etc …
? 從符號表生成Class文件
???????????? ?生成Class文件的結構信息
??????????????生成元數據(包括常量池)
???
總結