java.lang.String 被聲明為 final 類，這是 Java 核心庫最經典的設計決策之一。本文從安全性、性能、不可變模式三個維度深度解析其設計動機。
String 是 Java 體系中使用頻率最高的核心類，廣泛用於：
若 String 可被繼承，惡意代碼可構造子類覆寫關鍵方法（如 equals()、hashCode()、substring()），繞過安全檢查，導致：
本質：String 涉及大量
native本地方法調用，直接與操作系統交互。防止繼承是保護 JVM 安全邊界的關鍵防線。
final 類配合 private final char[] value 實現真正不可變，帶來：
| 收益 | 說明 |
|---|---|
| 線程安全 | 不可變對象天然線程安全，無需同步，可自由共享 |
| 字符串常量池 | 編譯期常量自動入池，運行時 intern() 可複用，節省內存 |
| Hash 值緩存 | hashCode() 計算一次後緩存（private int hash = 0），O(1) 獲取 |
| 安全共享 | 作為 Map Key、Set 元素、緩存 Key 時無副作用風險 |
final 方法（類 final 導致所有方法隱式 final）便於 JIT 編譯器內聯優化，消除方法調用開銷"a" + "b" 編譯期直接優化為 "ab"| 誤區 | 事實 |
|---|---|
| final 為了在 main 方法直接使用無需 new | 錯誤。基本類型包裝類、數組等非 final 類在 main 中也可直接使用 |
| static final 比 static 字段快 | 部分正確。static final 編譯期常量折疊，但 static 字段僅初始化一次，性能差異微乎其微 |
| final 類所有方法自動 final | 正確。類 final 導致所有方法隱式 final，無法被重寫 |
// 假設 String 可繼承
public class EvilString extends String {
@Override
public boolean equals(Object obj) {
// 惡意邏輯：繞過文件路徑檢查
if (this.toString().contains("/etc/passwd")) {
return true; // 偽裝通過驗證
}
return super.equals(obj);
}
}
// 惡意調用
File file = new File(new EvilString("/etc/passwd"));
SecurityManager.checkRead(file.getPath()); // 安全檢查被繞過
總結：String 設計為 final 是安全性、性能、不可變模式三重考量的最佳平衡。這一決策奠定了 Java 平台穩定、安全、高效的基石，也是「Effective Java」項目 17「要么設計為繼承並提供文檔，要么禁止繼承」的教科書級實踐。
