以下介紹Sun JDK源碼編譯機(jī)制,也就是javac將Java文件編譯成class文件的過(guò)程
1. 詞法解析
將代碼字符串轉(zhuǎn)換成Token流(比如哪一些是定義的關(guān)鍵字 int if for等 ,語(yǔ)法結(jié)束的分隔符 ; {} ()等,其實(shí)就是將代碼字符串轉(zhuǎn)換為接下來(lái)語(yǔ)法分析的最小單位字符序列)。
結(jié)果:得到Token流
2. 語(yǔ)法分析
根據(jù)詞法分析中的Token的一些組合是否符合語(yǔ)法規(guī)范(詞與詞的組合是否符合語(yǔ)法規(guī)范)比如if語(yǔ)句后面有沒(méi)有布爾類型的表達(dá)式
結(jié)果:生成一個(gè)符合Java語(yǔ)言規(guī)范的抽象語(yǔ)法樹(shù)
3. 將符號(hào)輸入到符號(hào)表
通常包括:確定類的超類型和接口、根據(jù)需要添加默認(rèn)構(gòu)造函數(shù)、將類中出現(xiàn)的符號(hào)輸入到自身的符號(hào)表中(符號(hào)包括定義數(shù)據(jù)或方法名的命名字符,
int a ; void func()
)
4. 處理注解
根據(jù)注解生成附加的代碼或做一些特殊的檢查(注意對(duì)注解的處理會(huì)再次進(jìn)入1、2、3)
5. 語(yǔ)義分析
進(jìn)行一系列的語(yǔ)義分析,包括把一些難懂的語(yǔ)法解析成簡(jiǎn)單的語(yǔ)法
- 將語(yǔ)法樹(shù)中的名字、表達(dá)式等元素與變量、方法、類型等聯(lián)系到一起
- 檢查:變量使用前是否聲明、類型匹配、所有checked exception都捕獲或拋出等
- 解除語(yǔ)法糖:泛型類型擦除、自動(dòng)拆裝箱、foreach、自動(dòng)類型轉(zhuǎn)換、子串常量合并
結(jié)果:生成一顆更接近目標(biāo)語(yǔ)言規(guī)則的抽象語(yǔ)法樹(shù)
6. 生成class文件
- 將實(shí)例成員初始化器收集到實(shí)例構(gòu)造器中(對(duì)象),將靜態(tài)成員初始化器收集到<clinit>();中(class initialize 類)
- 接著將抽象語(yǔ)法樹(shù)生成字節(jié)碼,采用的方式為后序遍歷,并進(jìn)行少量的代碼轉(zhuǎn)換(如String相加轉(zhuǎn)變?yōu)镾tringBuilder操作)
- 生成class文件