早期（編譯期）優(yōu)化

JVM的編譯器可以分為三個編譯器：

1. 前端編譯器：把*.java轉(zhuǎn)變?yōu)?.class的過程。如Sun的Javac、Eclipse JDT中的增量式編譯器（ECJ）
2. JIT編譯器：把字節(jié)碼轉(zhuǎn)變?yōu)闄C器碼的過程，如HotSpot VM的C1、C2編譯器
3. AOT編譯器：靜態(tài)提前編譯器，直接將*.java文件編譯本地機器代碼的過程

本章的后續(xù)文字里，“編譯期”和“編譯器”都僅限于第一類編譯過程

1、Javac編譯器

Javac編譯器本身就是一個由Java語言編寫的程序

1）、Javac的源碼與調(diào)試

Javac的源碼存放在JDK_SRC_HOME/langtools/src/share/slasses/com/sun/tools/javac中

編譯過程大致可以分為3個過程：

• 解析與填充符號表過程
• 插入式注解處理器的注解處理過程
• 分析與字節(jié)碼生成過程

這3個步驟之間的關系與交互順序如下：

2）、解析與符號填充表

解析步驟由parseFiles()方法完成，解析步驟包括了詞法分析和語法分析兩個過程

A.詞法分析與語法分析

詞法分析：將源代碼的字符流轉(zhuǎn)變?yōu)闃擞洠═oken）集合，單個字符是程序編寫過程的最小元素，而標記則是編譯過程的最小元素，關鍵字、變量名、字面量、運算符都可以成為標記，在Javac的源碼中，詞法分析過程由com.sun.tools.javac.parser.Scanner類來實現(xiàn)。

語法分析是根據(jù)Token序列構造抽象語法樹的過程，抽象語法樹是一種用來描述程序代碼語法結(jié)構的樹形表述方式。語法樹的每一個節(jié)點都代表著程序代碼中的一個語法結(jié)構，例如包、類型、修飾符、接口、返回值甚至代碼注釋都可以是一個語法結(jié)構。語法分析過程由com.sun.tools.javac.parser.Parser類實現(xiàn)，這個階段產(chǎn)出的抽象語法樹由com.sun.tools.javac.tree.JCTree類表示，經(jīng)過這個步驟之后，編譯器就基本不會再對源碼文件進行操作了，后續(xù)的操作都是建立在抽象語法樹之上的

B.填充符號表

完成抽象語法樹之后，下一步就是填充符號表的過程，即enterTrees()方法。符號表是由一組符號地址和符號信息構成的表格，類似于哈希表中K-V值對的形式。符號表中所登記的信息在編譯的不同階段都要用到。當對符號名進行地址分配時，符號表是地址分配的依據(jù)。填充過程由com.sun.tools.javac.comp.Enter類實現(xiàn)

3）、注解處理器

JDK1.5之后，Java提供了對注解的支持，這些注解與普通的Java代碼一樣，在運行期間發(fā)揮作用。 有了編譯器注解處理的標準API后，我們的代碼才有可能干涉編譯器的行為，由于語法樹中的任意元素，甚至包括代碼注釋都可以在插件之中訪問到，所以使用插入式注解處理器在功能上有很大的發(fā)揮空間

4）、語義分析與字節(jié)碼生成

語義分析的主要任務是對結(jié)構上正確的源程序進行上下文有關性質(zhì)的審查，如進行類型審查

A.標注檢查

Javac的編譯過程中，語義分析過程分為標注檢查以及數(shù)據(jù)及控制流分析兩個步驟，分別是attribute()和flow()方法

標準檢查步驟檢查的內(nèi)容包括諸如變量使用前是否已被聲明、變量與賦值之間的數(shù)據(jù)類型是否能夠匹配等。在標準檢查步驟中，還有一個重要的動作稱為常量折疊

int a = 1 + 2;

語法樹上仍然能看到字面量“1”、“2”以及操作符“+”，但是在經(jīng)過常量折疊以后，它們將會被折疊為字面量“3”。由于編譯期間進行了常量折疊，所以在代碼里面定義“a=1+2”比起直接定義“a=3”，并不會增加程序運行期哪怕僅僅一個CPU指令的運算量

標注檢查步驟在Javac源碼中的實現(xiàn)類是com.xun.tools.javac.comp.Attr和com.sun.tools.javac.comp.Check類

B.數(shù)據(jù)及控制流分析

數(shù)據(jù)及控制流分析可以檢查出諸如程序局部變量在使用前是否有賦值、方法的每條路徑是否都有返回值、是否所有的受查異常都被正確處理了等問題

局部變量與字段（實例變量、類變量）是有區(qū)別的，它在常量池中沒有CONSTANT_Fielddref_info的符號引用，自然就沒有訪問標志的信息，因此，將局部變量聲明為final，對運行期是沒有影響的，變量的不變性僅僅由編譯器在編譯期間保障。在Javac的源碼中，數(shù)據(jù)及控制流分析的入口是flow()方法，具體操作由com.sun.tools.javac.comp.Flow類來完成

C.解語法糖

語法糖是指在計算機語言中添加某種語法，這種語法對語言的功能并沒有影響，但是更方便程序員使用
Java是一種“低糖語言”，常用的語法糖主要是之前提到的泛型、變長參數(shù)、自動裝箱/拆箱等。虛擬機運行時不支持這些語法，它們在編譯期還原回簡單的基礎語法結(jié)構，這個過程稱為解語法糖。解語法糖的過程是由desuger()方法觸發(fā)的

D.字節(jié)碼生成

字節(jié)碼生成是Javac編譯過程的最后一個階段，由com.sun.tools.javac.jvm,Gen類來完成，字節(jié)碼生成階段不僅僅是把前面各個步驟所生成的信息（語法樹、符號表）轉(zhuǎn)化為字節(jié)碼寫入磁盤中，編譯器還進行了少量代碼添加和轉(zhuǎn)換工作

實例構造器<init>()方法和類構造器<client>()方法就是在這個階段添加到語法樹之中的，這兩個構造器的產(chǎn)生過程實際上是一個代碼收斂的過程，編譯器會把語句塊（對于實例構造器而言是{}塊，對于類構造器而言是static{}塊）、變量初始化（實例變量和類變量）、調(diào)用父類的實例構造器等操作收斂到<init>()和<client>()方法之中，并且保證一定是按先執(zhí)行父類的實例構造器，然后初始化變量，最后執(zhí)行語句塊的順序進行，上面所述的動態(tài)由Gen.normalizeDefs()方法來實現(xiàn)

完成對語法樹的遍歷與調(diào)整之后，就會把填充了所有所需信息的符號表交給com.sun.tools.javac.jvm.ClassWriter類，由這個類的wrtieClass()方法輸出字節(jié)碼，生成最終的Class文件

2、Java語法糖的味道

1）、泛型與類型擦除

泛型是JDK1.5的一項新增特性，它的本質(zhì)是參數(shù)化類型的應用，也就是說所操作的數(shù)據(jù)類型被指定為一個參數(shù)。這種參數(shù)類型可以用在類、接口和方法的創(chuàng)建中，分別稱為泛型類、泛型接口和泛型方法

Java語言中的泛型則不一樣，它只在程序源碼中存在，在編譯后的字節(jié)碼文件中，就已經(jīng)替換為原來的原生類型了，并且在相應的地方插入了強制轉(zhuǎn)型代碼，因此，對于運行期的Java語言來說，ArrayList<int>與ArrayList<String>就是同一個類，所以泛型技術實際上是Java語言的一顆語法糖，Java語言中的泛型實現(xiàn)方法稱為類型擦除，基于這種方法實現(xiàn)的泛型稱為偽泛型

 public static void main(String[] args) {
 Map<String, String> map = new HashMap<String, String>();
 map.put("hello", "你好");
 map.put("how are you?", "吃了沒?");
 System.out.println(map.get("hello"));
 System.out.println(map.get("how are you?"));
 }

把這段Java代碼編譯成Class文件，然后再用字節(jié)碼反編譯工具進行反編譯后，代碼如下：

 public static void main(String[] paramArrayOfString)
 {
  HashMap localHashMap = new HashMap();
  localHashMap.put("hello", "你好");
  localHashMap.put("how are you?", "吃了沒?");
  System.out.println((String)localHashMap.get("hello"));
  System.out.println((String)localHashMap.get("how are you?"));
 }

當泛型遇到重載：

 public static String method(List<String> list) {
 System.out.println("invoke method(List<String> list)");
 }
 public static int method(List<Integer> list) {
 System.out.println("invoke method(List<Integer> list)");
 }

這段代碼是不能被編譯的，因此參數(shù)List<String>和List<Integer>編譯之后都被擦除了，變成了一樣的原生類型List<E>，擦除動作導致這兩種方法的特征簽名變得一模一樣

2）、自動裝箱、拆箱與遍歷循環(huán)

自動裝箱、拆箱在編譯之后被轉(zhuǎn)化成了對應的包裝和還原方法，遍歷循環(huán)則把代碼還原成了迭代器的實現(xiàn)，這也是為何遍歷循環(huán)需要被遍歷的類實現(xiàn)Iterable接口的原因，變長參數(shù)在調(diào)用的時候變成了一個數(shù)組類型的參數(shù)

 public static void main(String[] args) {
 Integer a = 1;
 Integer b = 2;
 Integer c = 3;
 Integer d = 3;
 Integer e = 321;
 Integer f = 321;
 Long g = 3L;
 System.out.println(c == d);// true
 System.out.println(e == f);// false
 System.out.println(c == (a + b));// true
 System.out.println(c.equals(a + b));// true
 System.out.println(g == (a + b));// true
 System.out.println(g.equals(a + b));// false
 }

包裝類的“==”運算在不遇到算術運算的情況下不會自動拆箱，以及它們equals()方法不處理數(shù)據(jù)轉(zhuǎn)型的關系

3）、條件編譯

Java語言使用條件為常量的if語句，此代碼中的if語句不同于其他Java代碼，它在編譯階段就會被運行，生成的字節(jié)碼之中只包含條件正確的部分

 public static void main(String[] args) {
 if (true) {
  System.out.println("block 1");
 } else {
  System.out.println("block 2");
 }
 }

Java語言中條件編譯的實現(xiàn)，也是Java語言的一顆語法糖，根據(jù)布爾常量值的真假，編譯器將會把分支中不成立的代碼塊消除掉，這是在解語法糖階段實現(xiàn)的

Java語言中還有不少的其他語言糖，如內(nèi)部類、枚舉類、斷言語句、對枚舉和字符串的switch支持、try語句中定義和關閉資源等等

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學習或者工作具有一定的參考學習價值，謝謝大家對腳本之家的支持。如果你想了解更多相關內(nèi)容請查看下面相關鏈接

最新評論