您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

深度解析Java String對象：創建機制、常量池、優化與不可變模式

編輯：Java 相關知識

String是Java使用率最高的類，也是面試高頻考點。本文從源碼級解析String最終類、char[]本質、三種創建方式、字符串常量池機制、intern()原理、+拼接編譯優化、不可變模式設計哲學，並逐一破解經典面試題。

一、String本質認知

public final class String：不可繼承
private final char value[]：底層字符數組，內容不可變
特殊字面量語法：String s = "abc"直接創建對象
+拼接語法糖，編譯期優化

二、三種創建方式與常量池交互

方式	代碼示例	常量池行為	堆內存行為
new關鍵字	new String("abc")	檢查/創建"abc"	必創建新對象
直接字面量	String s = "abc"	檢查/創建"abc"	不創建，引用池中對象
純字面量拼接	String s = "ab" + "c"	編譯期優化為"abc"，同字面量	不創建
含變量拼接	String s = "ab" + var	檢查字面量部分	運行期創建新對象

核心原理

任何創建方式，JVM先檢查常量池是否存在內容相同字符串
new強制在堆創建新對象（複製池中內容）
字面量/純常量拼接：僅操作常量池，不進堆
含變量表達式：運行期StringBuilder.append()生成新對象入堆

經典題：`String s = new String("abc")`創建幾個對象？

答案：2個（常量池1個"abc" + 堆1個副本）。
連續new String("abc")兩次：常量池1個 + 堆2個 = 3個。

三、+拼接與編譯器優化深度解析

JLS規範行為

雙元+任一操作數為String → 另一操作數轉String → 拼接
基本類型→包裝類→toString()；引用類型→toString()；null→"null"
左結合：1+2+str+3+4 → ((("3"+"str")+"3")+"4")

編譯器優化策略

// 源碼
String s = 1 + 2 + str + 3 + 4;

// 編譯器等效轉換（使用StringBuilder）
new StringBuilder().append(1).append(2).append(str).append(3).append(4).toString();

優化效果：僅創建最終結果對象 + 1個StringBuilder，無中間String對象。

純常量拼接編譯期計算

String s1 = "3jf34";
String s2 = "3" + "jf" + "3" + "4";
System.out.println(s1 == s2); // true！編譯期已折疊為同一常量池對象

JLS 15.28：常量表達式編譯期計算，視同字面量。

特殊案例：死代碼分支優化

String x = "aaa" + "bbb";
if (false) { x = x + "ccc"; }
x += "ddd";
// 編譯器可能優化為："aaa"+"bbb"+"ddd" → "aaabbbddd" (單常量)
// 或保留運行期拼接，取決於編譯器實現

四、intern()：手動進池

public native String intern();
// 邏輯：池中有equals相等對象 → 返回池中引用
//      否則 → 將this加入池 → 返回this引用

用途：手動去重長壽命字符串，減少堆內存佔用；配合-XX:StringTableSize調優池大小。

五、引用變量vs對象：澄清「不可變」誤區

String str = "hello";
str = str + " world"; // str引用變了，指向新對象："hello world"
// 原對象"hello"未變，若無其他引用將被GC回收

不可變類設計原則（Demeter法則廣義）：
所有操作返回新對象，原對象狀態凍結 → 線程安全、可共享、哈希碼穩定、防禦性編程無需拷貝。

六、常見陷阱與最佳實踐

場景	錯誤做法	正確做法
循環拼接	s += item	StringBuilder sb = new StringBuilder(); sb.append(item);
比較內容	s1 == s2	s1.equals(s2)
大量去重	依賴自動池化	intern() + 調大StringTableSize
null處理	s.equals("x")	"x".equals(s) 或 Objects.equals(s, "x")