jvm類加載的過(guò)程

CoyPan 發(fā)布于2019-08-16 14:18 / 1118人閱讀

摘要：這個(gè)階段虛擬機(jī)會(huì)保證父類的方法會(huì)在子類的方法前執(zhí)行，而且在多線程環(huán)境中，虛擬機(jī)會(huì)保證方法的同步。

一個(gè)類從加載到虛擬機(jī)到使用結(jié)束從虛擬機(jī)卸載包括了加載、驗(yàn)證、準(zhǔn)備、解析、初始化、使用、卸載，即為一個(gè)類的生命周期

下面來(lái)看一下類加載的過(guò)程，即加載、驗(yàn)證、準(zhǔn)備、解析、初始化5個(gè)階段都做了什么事：

階段1：加載

加載階段虛擬機(jī)主要3件事：

通過(guò)類的全名獲取其二進(jìn)制字節(jié)流；

將字節(jié)流代表的靜態(tài)結(jié)構(gòu)轉(zhuǎn)化為方法區(qū)識(shí)別的運(yùn)行時(shí)數(shù)據(jù)結(jié)構(gòu)；

在內(nèi)存中實(shí)例化這個(gè)類的java.lang.Class對(duì)象（不一定在堆內(nèi)存中的，HotSpot就將Class對(duì)象放在了方法區(qū)里），程序訪問(wèn)這個(gè)類在方法區(qū)中的類型數(shù)據(jù)時(shí)會(huì)通過(guò)這個(gè)類去訪問(wèn)；
以上三點(diǎn)虛擬機(jī)并不要求如何實(shí)現(xiàn)，只是一個(gè)規(guī)范，比如第一步，通過(guò)類全名獲取其二進(jìn)制流，動(dòng)態(tài)代理技術(shù)是在運(yùn)行時(shí)獲取、JSP應(yīng)用是根據(jù)jsp文件獲取并生成對(duì)應(yīng)的Class以及從ZIP包中獲?。↗AR、EAR、WA同理）等

階段2：驗(yàn)證

驗(yàn)證階段大體上會(huì)完成4個(gè)階段的驗(yàn)證（文件格式驗(yàn)證、元數(shù)據(jù)驗(yàn)證、字節(jié)碼驗(yàn)證、符號(hào)引用驗(yàn)證），以保證虛擬機(jī)中類的規(guī)范和安全。

文件格式驗(yàn)證，校驗(yàn)字節(jié)流是否復(fù)合Class文件的格式：

驗(yàn)證文件是否以魔數(shù)0xCAFEBABE(十六進(jìn)制class文件中的前4個(gè)字節(jié))開頭；

主、次版本號(hào)(十六進(jìn)制class文件中的第5、第6個(gè)字節(jié)）能否被當(dāng)前版本的虛擬機(jī)處理；

常量池中是否有不被支持的類型；

指向常量的索引中是否指向了不存在的常量；

Class文件中各個(gè)部分以及文件本身是否有被刪除或附加的其他信息；

......

元數(shù)據(jù)類型，校驗(yàn)語(yǔ)義是否符合Java語(yǔ)言規(guī)范的要求：

驗(yàn)證類是否有父類（除了java.lang.Object）；

驗(yàn)證父類是否繼承了不可被繼承的類；

如果不是抽象類，那么要判斷是否實(shí)現(xiàn)了父類或接口的所要求實(shí)現(xiàn)的所有方法；

......

字節(jié)碼驗(yàn)證，校驗(yàn)類的方法體，確定語(yǔ)義是否符合邏輯：

保證操作數(shù)棧中的數(shù)據(jù)類型與指令序列一致；

保證跳轉(zhuǎn)指令不會(huì)跳到方法體外的字節(jié)碼指令上；

保證方法體中的類型轉(zhuǎn)換有效；

......

階段3：準(zhǔn)備

準(zhǔn)備階段是為類變量分配內(nèi)存并設(shè)置類變量初始值的階段

這里所說(shuō)的初始值并不是指代碼賦的值，而是數(shù)據(jù)類型的默認(rèn)值，如public static int value = 123; 在準(zhǔn)備階段過(guò)后,value會(huì)被置為0,而不是123。
同時(shí)要注意，public static final int value = 123; 這種使用final修飾的變量，在準(zhǔn)備階段就會(huì)被賦值為123,而不是初始值。

階段4：解析

解析階段會(huì)將常量池內(nèi)的符號(hào)引用轉(zhuǎn)換為直接引用，關(guān)于符號(hào)引用和直接引用的解釋如下：

符號(hào)引用：以一組符號(hào)來(lái)描述所引用的目，比如定義了在類IntF中定義了intValue = 123，接著讓Test.foo中的a變量指向Intf.intValue:

    public class Test{
        public void foo(){
            int a = Intf.intValue;
        }
    }
    class Intf{
        public static int intValue = 123;
    }

編譯代碼之后我們用javap -verbose Test來(lái)查看class文件中的內(nèi)容：

   Constant pool:
   #1 = Methodref          #4.#12         // java/lang/Object."":()V
   #2 = Fieldref           #13.#14        // Intf.intValue:I
   #3 = Class              #15            // Test
   #4 = Class              #16            // java/lang/Object
 // 省略部分代碼...
  public void foo();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=1
         0: getstatic     #2                  // Field Intf.intValue:I
         3: istore_1
         4: return
      LineNumberTable:
        line 3: 0
        line 4:

可以看到常量池第2項(xiàng)是一個(gè)符號(hào)引用，指向了Intf.intValue

直接引用：就是我們常說(shuō)的指針或者句柄，直接引用的目標(biāo)一定會(huì)在虛擬機(jī)內(nèi)存中存在。

階段5：初始化

初始化階段是類加載的最后一個(gè)階段，主要執(zhí)行類的方法（不同與方法，方法是在顯式調(diào)用constructor時(shí)執(zhí)行，而方法在初始化階段就會(huì)執(zhí)行），()方法會(huì)執(zhí)行賦值操作和執(zhí)行靜態(tài)語(yǔ)句快中的內(nèi)容，換句話說(shuō)，如果代碼中沒(méi)有靜態(tài)語(yǔ)句塊和賦值操作，那么就可以沒(méi)有()方法。
這個(gè)階段虛擬機(jī)會(huì)保證父類的()方法會(huì)在子類的()方法前執(zhí)行，而且在多線程環(huán)境中，虛擬機(jī)會(huì)保證()方法的同步。

參考文獻(xiàn)：《深入理解Java虛擬機(jī)》 - 周志明