Java深度歷險（二）——Java類的加載、連接和初始化(轉)

　　在上一篇文章中介紹了Java字節代碼的操縱，其中提到了利用Java類加載器來加載修改事後的字節代碼並在JVM上執行。本文接着上一篇的話題，討論Java類的加載、連接和初始化。Java字節代碼的表現形式是字節數組（byte[]），而Java類在JVM中的表現形式是java.lang.Class類的對象。一個Java類從字節代碼到可以在JVM中被使用，須要通過加載、連接和初始化這三個步驟。這三個步驟中，對開發人員直接可見的是Java類的加載，經過使用Java類加載器（class loader）能夠在運行時刻動態的加載一個Java類；而連接和初始化則是在使用Java類以前會發生的動做。本文會詳細介紹Java類的加載、連接和初始化的過程。

Java類的加載

　　Java類的加載是由類加載器來完成的。通常來講，類加載器分紅兩類：啓動類加載器（bootstrap）和用戶自定義的類加載器（user-defined）。二者的區別在於啓動類加載器是由JVM的原生代碼實現的，而用戶自定義的類加載器都繼承自Java中的java.lang.ClassLoader類。在用戶自定義類加載器的部分，通常JVM都會提供一些基本實現。應用程序的開發人員也能夠根據須要編寫本身的類加載器。JVM中最常使用的是系統類加載器（system），它用來啓動Java應用程序的加載。經過java.lang.ClassLoader的getSystemClassLoader()方法能夠獲取到該類加載器對象。

　　類加載器須要完成的最終功能是定義一個Java類，即把Java字節代碼轉換成JVM中的java.lang.Class類的對象。可是類加載的過程並非這麼簡單。Java類加載器有兩個比較重要的特徵：層次組織結構和代理模式。層次組織結構指的是每一個類加載器都有一個父類加載器，經過getParent()方法能夠獲取到。類加載器經過這種父親-後代的方式組織在一塊兒，造成樹狀層次結構。代理模式則指的是一個類加載器既能夠本身完成Java類的定義工做，也能夠代理給其它的類加載器來完成。因爲代理模式的存在，啓動一個類的加載過程的類加載器和最終定義這個類的類加載器可能並非一個。前者稱爲初始類加載器，然後者稱爲定義類加載器。二者的關聯在於：一個Java類的定義類加載器是該類所導入的其它Java類的初始類加載器。好比類A經過import導入了類 B，那麼由類A的定義類加載器負責啓動類B的加載過程。

　　通常的類加載器在嘗試本身去加載某個Java類以前，會首先代理給其父類加載器。當父類加載器找不到的時候，纔會嘗試本身加載。這個邏輯是封裝在java.lang.ClassLoader類的loadClass()方法中的。通常來講，父類優先的策略就足夠好了。在某些狀況下，可能須要採起相反的策略，即先嚐試本身加載，找不到的時候再代理給父類加載器。這種作法在Java的Web容器中比較常見，也是Servlet規範推薦的作法。好比，Apache Tomcat爲每一個Web應用都提供一個獨立的類加載器，使用的就是本身優先加載的策略。IBM WebSphere Application Server則容許Web應用選擇類加載器使用的策略。

　　類加載器的一個重要用途是在JVM中爲相同名稱的Java類建立隔離空間。在JVM中，判斷兩個類是否相同，不只是根據該類的二進制名稱，還須要根據兩個類的定義類加載器。只有二者徹底同樣，才認爲兩個類的是相同的。所以，即使是一樣的Java字節代碼，被兩個不一樣的類加載器定義以後，所獲得的Java類也是不一樣的。若是試圖在兩個類的對象之間進行賦值操做，會拋出java.lang.ClassCastException。這個特性爲一樣名稱的Java類在JVM中共存創造了條件。在實際的應用中，可能會要求同一名稱的Java類的不一樣版本在JVM中能夠同時存在。經過類加載器就能夠知足這種需求。這種技術在OSGi中獲得了普遍的應用。

Java類的連接

　　Java類的連接指的是將Java類的二進制代碼合併到JVM的運行狀態之中的過程。在連接以前，這個類必須被成功加載。類的連接包括驗證、準備和解析等幾個步驟。驗證是用來確保Java類的二進制表示在結構上是徹底正確的。若是驗證過程出現錯誤的話，會拋出java.lang.VerifyError錯誤。準備過程則是建立Java類中的靜態域，並將這些域的值設爲默認值。準備過程並不會執行代碼。在一個Java類中會包含對其它類或接口的形式引用，包括它的父類、所實現的接口、方法的形式參數和返回值的Java類等。解析的過程就是確保這些被引用的類能被正確的找到。解析的過程可能會致使其它的Java類被加載。

 

　　不一樣的JVM實現可能選擇不一樣的解析策略。一種作法是在連接的時候，就遞歸的把全部依賴的形式引用都進行解析。而另外的作法則多是隻在一個形式引用真正須要的時候才進行解析。也就是說若是一個Java類只是被引用了，可是並無被真正用到，那麼這個類有可能就不會被解析。考慮下面的代碼：

1 public class LinkTest {   
2    public static void main(String[] args) {       
3       ToBeLinked toBeLinked = null;       
4       System.out.println("Test link.");   
5    }
6 }

　　類 LinkTest引用了類ToBeLinked，可是並無真正使用它，只是聲明瞭一個變量，並無建立該類的實例或是訪問其中的靜態域。在 Oracle的JDK 6中，若是把編譯好的ToBeLinked的Java字節代碼刪除以後，再運行LinkTest，程序不會拋出錯誤。這是由於ToBeLinked類沒有被真正用到，而Oracle的JDK 6所採用的連接策略使得ToBeLinked類不會被加載，所以也不會發現ToBeLinked的Java字節代碼其實是不存在的。若是把代碼改爲ToBeLinked toBeLinked = new ToBeLinked();以後，再按照相同的方法運行，就會拋出異常了。由於這個時候ToBeLinked這個類被真正使用到了，會須要加載這個類。

Java類的初始化

　　當一個Java類第一次被真正使用到的時候，JVM會進行該類的初始化操做。初始化過程的主要操做是執行靜態代碼塊和初始化靜態域。在一個類被初始化以前，它的直接父類也須要被初始化。可是，一個接口的初始化，不會引發其父接口的初始化。在初始化的時候，會按照源代碼中從上到下的順序依次執行靜態代碼塊和初始化靜態域。考慮下面的代碼：

 1 public class StaticTest {   
 2    public static int X = 10;   
 3    public static void main(String[] args) {       
 4       System.out.println(Y); //輸出60   
 5    }   
 6    static {       
 7       X = 30;   
 8    }  
 9    public static int Y = X * 2;
10 }

　　在上面的代碼中，在初始化的時候，靜態域的初始化和靜態代碼塊的執行會從上到下依次執行。所以變量X的值首先初始化成10，後來又被賦值成30；而變量Y的值則被初始化成60。

Java類和接口的初始化只有在特定的時機纔會發生，這些時機包括：

• 建立一個Java類的實例。如

  MyClass obj = new MyClass()

• 調用一個Java類中的靜態方法。如

  MyClass.sayHello()

• 給Java類或接口中聲明的靜態域賦值。如

  MyClass.value = 10

• 訪問Java類或接口中聲明的靜態域，而且該域不是常值變量。如

  int value = MyClass.value

• 在頂層Java類中執行assert語句。

經過Java反射API也可能形成類和接口的初始化。須要注意的是，當訪問一個Java類或接口中的靜態域的時候，只有真正聲明這個域的類或接口才會被初始化。考慮下面的代碼：

 1 class B {   
 2    static int value = 100;   
 3    static {       
 4       System.out.println("Class B is initialized."); //輸出   
 5    }
 6 }
 7 class A extends B {   
 8    static {       
 9       System.out.println("Class A is initialized."); //不會輸出   
10    }
11 }
12 public class InitTest {   
13    public static void main(String[] args) {       
14       System.out.println(A.value); //輸出100   
15    }
16 }

 

在上述代碼中，類InitTest經過A.value引用了類B中聲明的靜態域value。因爲value是在類B中聲明的，只有類B會被初始化，而類A則不會被初始化。

建立本身的類加載器

　　在 Java應用開發過程當中，可能會須要建立應用本身的類加載器。典型的場景包括實現特定的Java字節代碼查找方式、對字節代碼進行加密/解密以及實現同名 Java類的隔離等。建立本身的類加載器並非一件複雜的事情，只須要繼承自java.lang.ClassLoader類並覆寫對應的方法便可。 java.lang.ClassLoader中提供的方法有很多，下面介紹幾個建立類加載器時須要考慮的：

• defineClass()：這個方法用來完成從Java字節代碼的字節數組到java.lang.Class的轉換。這個方法是不能被覆寫的，通常是用原生代碼來實現的。
• findLoadedClass()：這個方法用來根據名稱查找已經加載過的Java類。一個類加載器不會重複加載同一名稱的類。
• findClass()：這個方法用來根據名稱查找並加載Java類。
• loadClass()：這個方法用來根據名稱加載Java類。
• resolveClass()：這個方法用來連接一個Java類。

　　這裏比較 容易混淆的是findClass()方法和loadClass()方法的做用。前面提到過，在Java類的連接過程當中，會須要對Java類進行解析，而解析可能會致使當前Java類所引用的其它Java類被加載。在這個時候，JVM就是經過調用當前類的定義類加載器的loadClass()方法來加載其它類的。findClass()方法則是應用建立的類加載器的擴展點。應用本身的類加載器應該覆寫findClass()方法來添加自定義的類加載邏輯。 loadClass()方法的默認實現會負責調用findClass()方法。

　　前面提到，類加載器的代理模式默認使用的是父類優先的策略。這個策略的實現是封裝在loadClass()方法中的。若是但願修改此策略，就須要覆寫loadClass()方法。

　　下面的代碼給出了自定義的類加載的常見實現模式：

1 public class MyClassLoader extends ClassLoader {   
2    protected Class<?> findClass(String name) throws ClassNotFoundException {       
3       byte[] b = null; //查找或生成Java類的字節代碼       
4       return defineClass(name, b, 0, b.length);   
5    }
6 }

 

參考資料

• Java語言規範（第三版）- 第十三章：執行
• JVM規範（第二版） - 第五章：加載、連接和初始化
• 深刻探討Java類加載器