歡迎來到Linux教程網
Linux教程網
Linux教程網
Linux教程網
您现在的位置: Linux教程網 >> UnixLinux >  >> Linux編程 >> Linux編程

Java常量池解析與字符串intern簡介

  在Java應用程序運行時,Java虛擬機會保存一份內部的運行時常量池,它區別於class文件的常量池,是class文件常量池映射到虛擬機中的數據結構。 關於class文件常量池的部分可以參考之前的博文實例探索Class文件。
  1.CONSTANT_Class入口解析
  數組類的符號解析較為特殊。若是基本類型數組,那麼虛擬機將創建該基本類型的新數組類,並創建一個Class實例來代表該類型,數組類的定義類加載器為啟動類加載器。若是引用類型的數組,那麼在此之前還會進行引用類型的解析,數組類的定義類加載器為引用類型的定義類加載器。
非數組類和接口的的解析將經歷以下步驟:
(1).加載該類型和其所有的超類型
如果該類型在此之前已經裝載到了虛擬機的當前命名空間,那麼直接使用已經被裝載的類型即可,否則由引用的發起類的初始類加載器進行加載。對目標類型的超類的加載必然是在對當前類型加載完的基礎上進行的,因為只有加載完當前類型,才能從class文件的super_class域找到其直接超類的符號引用,再遞歸進行解析和加載,直至java.lang.Object類。而在遞歸返回的過程中,會檢查interfaces域以查看實現或擴展了哪些接口,並再次遞歸遍歷對接口的符號引用。
(2).檢查訪問權限
隨後是對目標類型的連接和初始化,這樣才可以正常使用該類型。前面提到,對目標類型的初始化需要其所有超類都必須進行初始化(超接口不是必須的),並且,由於已經對其超類進行了加載,所以不必再依賴於自該類向Object類的解析順序,而是從Object類向該類進行初始化。類型的連接和初始化步驟如下:
(3).類型校驗
(4).類型准備
(5).類型解析(可推遲)
 注意該過程是對被引用類型及其超類的符號引用的解析,因為對於被引用類型的某些符號引用不會立刻用到,故該步驟之前是嚴格意義上屬於發起引用的類型的符號解析的過程。只有在主動使用被引用類型的這些符號引用所指向的類型時,才會對這些符號引用進行解析,對其所指向的類型進行裝載、連接和初始化。
(6).類型初始化

  2.CONSTANT_Fieldref入口解析
  由於一個類型不會含有其超類型所定義的字段,所以對目標字段的搜索將會從字段所指向的類型開始,從該類型開始搜索,再遞歸搜索其所實現或擴展的接口,再遞歸搜索其超類,直至找到目標字段,並會將運行時常量池的該字段入口標記為已解析,並在該常量池的數據上改為對這個字段的直接引用。

  3.CONSTANT_Methodref入口解析
  與字段的搜索類似但有所不同,其搜索順序將從該類型開始,再遞歸搜索其超類,在遞歸搜索其所實現或擴展的接口。

  4.CONSTANT_InterfaceMethodRef入口解析
  對接口方法的搜索就是從被解析的接口開始,向其超接口遞歸搜索。

  5.CONSTANT_String入口解析
  Java虛擬機會將字符串處理為一個字符串對象加以維護,而虛擬機所維護的就是一張字符串池,它包含所有被”拘留”的字符串對象的引用。對CONSTANT_String常量池的解析首先就要查看字符串池中該字符串對象的引用是否存在,如果存在則直接把常量池數據解析為該字符串對象的引用,若不存在,那麼就需要根據這個字符串序列創建一個字符串對象,並將其引用加入到字符串池中,並將常量池數據解析為該引用。
  也可以使用String對象的intern對象來拘留一個字符串(注意並非字符串對象),若該字符串池中存在對該字符串序列的對象的引用,那麼直接返回該引用即可,否則,將會拘留該字符串,但注意拘留返回的字符串對象引用將不會指向原String對象,因為原String對象位於Java堆,而字符串池的對象是虛擬機所創建的,由虛擬機所維護。

package com.ice.intern;

public class InternTest {

    public static void main(String args[]){
        String a = new String("123");
        String b = a;
        String c = new String("123");;

        System.out.println("before intern:");
        System.out.println("a = b ? :" + (a == b));
        System.out.println("a = c ? :" + (a == c));

        a = a.intern();
        c = c.intern();

        System.out.println("after intern:");
        System.out.println("a = b ? :" + (a == b));
        System.out.println("a = c ? :" + (a == c));
    }

}

結果如下:

(6).其他類型(數據基本類型)入口解析 
直接使用常量池所包含的常量值即可

  6.直接引用 
  常量池解析最終將符號引用替換成為直接引用。指向類型、類變量和類方法的直接引用可能為在方法區的指針。而指向實例變量和實例方法的直接引用是從對象映像的開始到該實例變量或方法表的偏移。 
實例變量的組織方式為:從Object類開始到該實例的類型,將類中聲明的實例變量按在class文件中出現的順序依次放在對象映像中。 
實例方法的組織方式較為類似:從Object類開始到該實例的類型,將類中聲明的實例方法指針按在class文件中出現的順序依次放在對象映像中。但對於重寫的方法將出現在超類對應的位置(該方法第一次出現的位置)。 
  但是訪問接口方法就不能簡單地通過方法表的偏移量來進行訪問,而必須搜索對象的類的方法表來找到該方法。 
比如Factory接口分別由A和B來實現其produce()方法,但由於A和B不能保證由同一個實現了Factory接口的超類派生,即有著同樣的produce()方法偏移,那麼就無法通過方法表的偏移來訪問Factory的produce()方法。

  7.裝載約束 
  對於一個類型指向另一個類型的符號引用,如果引用的類型和被引用類型並非由同一個初始加載器加載(可能通過用戶自定義ClassLoader來實現),那麼虛擬機就必須確保被引用類型在不同的命名空間中保持一致。這樣就通過自定義ClassLoader來加載不受信類型後,就不會發生解析對被引用類型的符號引用時,把受信的類型當做已經被解析過的不受信類型(因為對方法的符號引用只有權限定名和描述符,並不會也無法得知其初始類加載器),從而調用了不受信類型的方法訪問受信類型的受保護成員。 

Copyright © Linux教程網 All Rights Reserved