Java 干貨之深入理解String


可以證明,字符串操作是計算機程序設計中最常見的行為,尤其是在Java大展拳腳的Web系統中更是如此。
---《Thinking in Java》


提到Java中的String,總是有說不完的知識點,它對於剛接觸Java的人來說,有太多太多的值得研究的東西了,可是為什么Java中的String這么獨特呢?今天我們來一探究竟。


基本數據類型

眾所周知Java有八大基本數據類型,那么基本數據類型與對象有什么異同呢?

  • 基本數據類型不是對象
  • 基本數據類型能直接存儲變量對應的值在堆棧中,存取更加高效
  • 使用方便,不用new創建,每次表示都不用新建一個對象

字面量與賦值

什么叫字面值呢?考慮下面代碼:

int a=3;
double d=3.32;
long l=102322332245L;

其中,3、3.32、102322332245L便叫做字面值。3默認是int類型,3.32默認是double類型,102322332245默認也是int類型,所以必須加一個L來將它修改為long類型,否則編譯器就會報錯,字面量可以直接在計算機中表示。

基本數據類型便可以直接通過字面值進行賦值


String與基本數據類型

話說了這么多,這和String有什么關系呢?正如本文最開始所說,因為Java需要常常與字符串打交道,因此Java的設計者想要將String類型在使用上性能上盡量像基本數據類型一樣。
也就是

int i=0;
String str="test";

那么問題來了,基本數據類型之所以叫基本數據類型,是因為這種類型可以直接在計算機中直接被表示,比如int i=0;中,0作為字面值是可以直接被表示出來"0x00",而test作為字符串如何直接被表示呢?


常量池

JVM的解決方案便是Class文件常量池。Class常量池中主要用於存放兩大類常量: 字面量符號引用量,其中字面量便包括了文本字符串。

也就是當我們在類中寫下String str="test"的時候,Class文件中,就會出現test這個字面量。

String類型的特殊性在於它只需要一個utf8表示的內容即可。
這樣便解決了String直接賦值的問題,只要在JVM中,將str與test字面量對應起來即可。
也就是類似

int a=0; //a 的值為數值0
String str="test" //str內容為常量池中的utf8 test 

但是,問題就真的這么簡單么?
可別忘了,String也是一個對象,它也同時擁有所有一個對象應該擁有的特點,也就說

String str="test"

其中test字面量不僅僅需要表示str指向的內容是test,它還應該將str指向一個對象,支持類似str.length(),str.replace()等一切對象訪問的操作。
test的內容寫在 Class文件中僅僅解決的是如果賦值的問題,那String對象是如何在內存中存在呢?


String創建過程

打開java.lang.String文件,可以看到String擁有不可變對象的所有特點, final修飾的類, final修飾的成員變量,因此任何看似對String內容進行操作的方法,實際上都是返回了一個新的String對象,這就造就了一個String對象的被創建后,就一直會保持不變。

正因為String這樣的特點,我們可以建立一個對String的對象的緩存池:String Pool,用來緩存所有第一次出現的String對象。

JVM規范中只要求了String Pool,但並沒有要求如何實現,在Hot Spot JVM中,是通過類似一個HashSet<String>實現,里面存儲是當前已存儲的String對象的引用

String str="test";

首先虛擬機會在String Pool中查找是否有equals("test")String 引用,如果有,就把字符串常量池里面對"test"對象的引用賦值給str。如果不存在,就在中新建一個"test"對象,並將引用駐留在字符串常量池(String Pool)中,同時將該引用復制給str

可以看到,Java在這里是使用的String緩存對象來解決“字面值”性能這個問題的。也就是說,"test"所對應的字面值其實是一個在字符串常量池的String對象這樣做只要出現過一次的String對象,第二次就不再會被創建,節約了很大一筆開銷,便解決了String類似基本數據類型的性能問題。


深入理解String

明白了String的前因后果,現在來梳理關於String的細節問題。

String str="test"

包含了3個“值”:

  • "test"字面量,表示String對象所存儲的內容,編譯后存放在Class字節碼中,運行時存放在Class對象中,而Class對象存儲在JVM的方法區中
  • test對象,存儲在堆中
  • test對象對應的引用,存儲在String Pool中。

如圖所示:

image

其中

  1. 一定注意str所指向的對象是存放在中的,網上大多數說的不明白,更有誤導String Pool中存儲的是對象的說法。Java 對象,排除逃逸分析的優化,所有對象都是存儲在堆中的。

  2. String Pool位於JVM 的None Heap中,並且String Pool中的引用持有對堆中對應String對象的引用,因此不必擔心堆中的String對象是被GC回收。

  3. 網上很多文章還會說test字面值是存在Perm Gen中,但是這樣並不准確,永生代(“Perm Gen”)只是Sun JDK的一個實現細節而已,Java語言規范和Java虛擬機規范都沒有規定必須有“Permanent Generation”這么一塊空間,甚至沒規定要用什么GC算法——不用分代式GC算法哪兒來的“永生代”? HotSpot的PermGen是用來實現Java虛擬機規范中的“方法區”(method area)的。

  4. 前面說過,Java想將String向基本數據類型靠近,還能體現在對final String對象的處理,對於final String,如果使用僅僅是字面值的作用,而並沒有涉及到對象操作的話(使用對象訪問操作符"."),編譯器會直接將對應的值替換為相應字面值。舉例:
    對於

    final String str="hello";
    String helloWorld=str+"world";
    

    編譯器會直接優化:

    String helloWorld="helloworld";
    

    對於

    final String str="hello";
    String hello=String.valueOf(str); 
    

    編譯器會直接優化

    String hello=String.valueOf("hello"); 
    

如果沒有編譯器的優化,就會涉及到操作數壓棧出棧等操作,但是經過優化后的String,可以發現並不會有astore/aload等指令的出現.


new String()

其實new String沒什么好說的,new String()表示將String完全作為一個對象來看,放棄它的基本數據類型性質,也與String Pool沒有任何關系,但是String包含的intern()方法能將它與String Pool關聯起來。

  • jdk 1.7之前,intern()表示若String Pool中不存在該字符串,則 在堆中新建一個與調用intern()對象的字面值相同的對象,並在String Pool中保存該對象的引用,同時返回該對象,若存在則直接返回。
  • jdk 1.7及1.7 之后,intern()表示將調用intern()對象的引用直接復制一份到String Pool中。

網上很多討論涉及到幾個對象

String str=new String("hello world");

下面圖解分析:

image

需要明白的一點的是new String("hello world")並不是一個原子操作,可以將其分為兩步,每個關鍵字負責不同的工作其中new負責生成對象,String("hello world")負責初始化new
生成的對象。

  • 首先,執行new操作,在中分配空間,並生成一個String對象。
  • 其次,將new生成的對象的引用傳遞給String("hello world")方法進行初始化,而此時參數中出現了"hello world"字面量,JVM會先在字符串常量池里面檢查是否有equals("hello world")的引用,如果沒有,就在中創建相應的對象,並生成一個引用指向這個對象,並將此引用存儲在字符串常量池中。
  1. 再次,復制常量池hello world指向的字面量對象傳遞給 new String("hello world")進行初始化。

第二點中提到了復制,其實最主要的就是復制String對象中value所指向的地址,也就是將方法區中的"hello world"的索引復制給新的對象,這也是為什么上圖中,兩個對象都指向方法區中同一個位置

下面的String str=new String("hello world")進行反編譯的結果:

       0: new           #2                  // class java/lang/String
       3: dup
       4: ldc           #3                  // String hello world
       6: invokespecial #4                  // Method java/lang/String."<init>":(Ljava/lang/String;)V
       9: astore_1
      10: return

大概的指令應該都能看到,解釋一下:

  • new 執行new 操作,在堆中分配內存
  • dup 將new 操作生成的對象壓棧
  • ldc 將String型常量值從常量池中推送至棧頂
  • invokespecial 調用new String()並傳入new 出來的對象了ldc的String值

ldc指令是什么東西?
簡單地說,它用於將int、float或String型常量值從常量池中推送至棧頂,在這里也能看到,JVM是將String和八大基本數據類型統一處理的。
ldc 還隱藏了一個操作:也就是"hello world"的resolve操作,也就是檢測“hello world”是否已經在常量池中存在的操作。
傳送門詳見:Java 中new String("字面量") 中 "字面量" 是何時進入字符串常量池的?


有個很神奇的坑,《深入理解JVM》中曾經提到過這個問題,不過周志明老師是拿的"java"作為舉例:
代碼如下(jdk 1.7)
```

public class RuntimeConstantPoolOOM {
    public static void main(String[] args) {
        String str1 = new StringBuilder("計算機").append("軟件").toString();
        System.out.println(str1.intern() == str1);

        String str2 = new StringBuilder("ja").append("va").toString();
        System.out.println(str2.intern() == str2);
    }
}
```
結果 
true
false

不明白為什么"java"字符串會在執行StringBuilder.toString()之前出現過?
其實是因為:Java 標准庫在JVM啟動的時候加載的某些類已經包含了java字面量。

傳送門:如何理解《深入理解java虛擬機》第二版中對String.intern()方法的講解中所舉的例子?


方法區

上面圖中說了,“hello wold”對象的value的值是放在方法區中的。如何證明呢?
這里我們可以使用反射來干一些壞事。
雖然String類是一個不可變對象,對外並沒有提供如何修改value的方法,但是反射可以。

        String str1=new String("abcd");
        String str2="abcd";
        String str3="abcd";
        Field valueField = String.class.getDeclaredField("value");
        valueField.setAccessible(true);//設置訪問權限
        char[] value = (char[]) valueField.get(str2);
        value[0] = '0';
        value[1] = '1';
        value[2] = '2';
        value[3] = '3';

        System.out.println(str1);
        System.out.println(str2);
        System.out.println(str3);
        String str4="abcd";
        System.out.println(str4);
        System.out.println("abcd");

可以試一試,輸出結果都是0123,因為在編譯的時候生成Class對象的時候,str1,str2,str3,str4都是指向的Class文件中同一個位置,而在運行的時候這個Class對象的值被修改后,所有和abcd有關的對象的value都會被改變。
相信理解了這一個例子的同學,能夠對String有一個更加深刻的理解


檢驗

說了這么多,你真的懂了么?來看看經常出現的一些關於String的問題:

String str1 = new StringBuilder("Hel").append("lo").toString();
System.out.println(str1.intern() == str1); 
String str = "Hello";
System.out.println(str == str1); 
String str1="hello";
String str2=new String("hello");
System.out.println(str2 == str1); 
final String str1="hell";
String str2="hello";
String str3=str1+"o";
System.out.println(str2 == str3); 
String str1="hell";
String str2="hello";
String str3=str1+"o";
System.out.println(str2 == str3); 

尊重原創,轉載注明出處

參考文章:
《深入理解JVM》 第二版
java用這樣的方式生成字符串:String str = "Hello",到底有沒有在堆中創建對象?
R大:請別再拿“String s = new String("xyz");創建了多少個String實例”來面試了吧
Java 中new String("字面量") 中 "字面量" 是何時進入字符串常量池的?


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM