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