為什麼 Java String 被設計為不可變？核心原因深度解析

String 不可變的五大核心優勢

在 Java 中，String 被設計為 final 類別且內部儲存結構不可變。這項設計決策並非隨意而為，而是基於記憶體模型、並發安全、資料結構效能等多重深層考量。以下為五大核心原因：

1. 字串常量池的需求

字串常量池位於方法區，是 JVM 為了優化記憶體而設計的特殊儲存區域。當建立字串字面值時，JVM 會檢查常量池中是否已存在相同值：

String s1 = "abcd";
String s2 = "abcd"; // 直接返回常量池中現有引用

若字串可變，透過 s1 修改值會導致 s2 獲取到錯誤數據，破壞常量池的共享機制。

2. HashCode 快取優化

字串廣泛用於 HashMap、HashSet 等雜湊結構中。String 內部快取了 hash code：

private int hash; // 用於快取 hash code

不可變性保證了 hash code 永不改變，避免重複計算，大幅提升雜湊容器的效能。

3. 保護資料結構不變式

以 HashSet 為例，其核心不變式是「不允許重複元素」。若字串可變：

HashSet<String> set = new HashSet<>();
set.add("a");
set.add("b");
// 假設 String 有 value 欄位且可修改
for (String s : set) s.value = "a"; // 導致集合出現重複元素，破壞不變式

不可變性從根本上杜絕了此類邏輯錯誤。

4. 安全性考量

字串常作為敏感操作的參數：網路連線、檔案存取、反射呼叫等。若可變，惡意程式碼可在安全檢查通過後修改參數值：

boolean connect(String s) {
    if (!isSecure(s)) throw new SecurityException();
    // 此處 s 若被其他引用修改，將連接到非預期主機
    causeProblem(s); 
}

不可變性確保了參數在傳遞過程中不被竄改，構建了安全邊界。

5. 天生執行緒安全

不可變物件的狀態建構後永不改變，天然適合多執行緒共享，無需同步機制，消除了並發程式設計中的一大類錯誤來源。

總結

Java String 的不可變設計是效能（常量池、HashCode 快取）、正確性（資料結構不變式）、安全性（參數保護）與並發簡化（執行緒安全）的綜合體現。這也是為什麼不可變類在 Java 生態系中備受推崇的原因。