java類的載入過程

``````````````發表於2018-12-06

載入

 “載入”(Loading)階段是“類載入”(Class Loading)過程的第一個階段,在此階段,虛擬機器需要完成以下三件事情:

       1、 通過一個類的全限定名來獲取定義此類的二進位制位元組流。

       2、 將這個位元組流所代表的靜態儲存結構轉化為方法區的執行時資料結構。

       3、 在Java堆中生成一個代表這個類的java.lang.Class物件,作為方法區這些資料的訪問入口。

      載入階段即可以使用系統提供的類載入器在完成,也可以由使用者自定義的類載入器來完成。載入階段與連線階段的部分內容(如一部分位元組碼檔案格式驗證動作)是交叉進行的,載入階段尚未完成,連線階段可能已經開始。

 

驗證

       驗證是連線階段的第一步,這一階段的目的是為了確保Class檔案的位元組流中包含的資訊符合當前虛擬機器的要求,並且不會危害虛擬機器自身的安全。

       Java語言本身是相對安全的語言,使用Java編碼是無法做到如訪問陣列邊界以外的資料、將一個物件轉型為它並未實現的型別等,如果這樣做了,編譯器將拒絕編譯。但是,Class檔案並不一定是由Java原始碼編譯而來,可以使用任何途徑,包括用十六進位制編輯器(如UltraEdit)直接編寫。如果直接編寫了有害的“程式碼”(位元組流),而虛擬機器在載入該Class時不進行檢查的話,就有可能危害到虛擬機器或程式的安全。

      不同的虛擬機器,對類驗證的實現可能有所不同,但大致都會完成下面四個階段的驗證:檔案格式驗證、後設資料驗證、位元組碼驗證和符號引用驗證。

       1、檔案格式驗證,是要驗證位元組流是否符合Class檔案格式的規範,並且能被當前版本的虛擬機器處理。如驗證魔數是否0xCAFEBABE;主、次版本號是否正在當前虛擬機器處理範圍之內;常量池的常量中是否有不被支援的常量型別……該驗證階段的主要目的是保證輸入的位元組流能正確地解析並儲存於方法區中,經過這個階段的驗證後,位元組流才會進入記憶體的方法區中儲存,所以後面的三個驗證階段都是基於方法區的儲存結構進行的。

       2、後設資料驗證,是對位元組碼描述的資訊進行語義分析,以保證其描述的資訊符合Java語言規範的要求。可能包括的驗證如:這個類是否有父類;這個類的父類是否繼承了不允許被繼承的類;如果這個類不是抽象類,是否實現了其父類或介面中要求實現的所有方法……

       3、位元組碼驗證,主要工作是進行資料流和控制流分析,保證被校驗類的方法在執行時不會做出危害虛擬機器安全的行為。如果一個類方法體的位元組碼沒有通過位元組碼驗證,那肯定是有問題的;但如果一個方法體通過了位元組碼驗證,也不能說明其一定就是安全的。

       4、符號引用驗證,發生在虛擬機器將符號引用轉化為直接引用的時候,這個轉化動作將在“解析階段”中發生。驗證符號引用中通過字串描述的許可權定名是否能找到對應的類;在指定類中是否存在符合方法欄位的描述符及簡單名稱所描述的方法和欄位;符號引用中的類、欄位和方法的訪問性(private、protected、public、default)是否可被當前類訪問

驗證階段對於虛擬機器的類載入機制來說,不一定是必要的階段。如果所執行的全部程式碼確認是安全的,可以使用-Xverify:none引數來關閉大部分的類驗證措施,以縮短虛擬機器類載入時間。

準備

       準備階段是為類的靜態變數分配記憶體並將其初始化為預設值,這些記憶體都將在方法區中進行分配。準備階段不分配類中的例項變數的記憶體,例項變數將會在物件例項化時隨著物件一起分配在Java堆中。

        public static int value=123;//在準備階段value初始值為0 。在初始化階段才會變為123 。

解析

       解析階段是虛擬機器將常量池內的符號引用替換為直接引用的過程。

       符號引用(Symbolic Reference):符號引用以一組符號來描述所引用的目標,符號可以是任何形式的字面量,只要使用時能無歧義地定位到目標即可。符號引用與虛擬機器實現的記憶體佈局無關,引用的目標並不一定已經載入到記憶體中。

       直接引用(Direct Reference):直接引用可以是直接指向目標的指標、相對偏移量或是一個能間接定位到目標的控制程式碼。直接引用是與虛擬機器實現的記憶體佈局相關的,如果有了直接引用,那麼引用的目標必定已經在記憶體中存在。

初始化

       類初始化是類載入過程的最後一步,前面的類載入過程,除了在載入階段使用者應用程式可以通過自定義類載入器參與之外,其餘動作完全由虛擬機器主導和控制。到了初始化階段,才真正開始執行類中定義的Java程式程式碼。

        初始化階段是執行類構造器<clinit>()方法的過程。<clinit>()方法是由編譯器自動收集類中的所有類變數的賦值動作和靜態語句塊(static{}塊)中的語句合併產生的。

相關文章