Java 面向對象編程中 final 關鍵字深度解析：不可變性、線程安全與性能

三大視角理解 final

在 Java 中，final 賦予對象不可變性，從三個維度產生深遠影響：

• 代碼語義：明確禁止修改，防止邏輯被破壞
• 線程安全：不可變對象天然線程安全，無需同步
• 性能優化：JIT 可激進優化（常量傳播、逃逸分析、鎖消除）

final 變量：引用固定，狀態可變

class Circle {
    static final double PI = 3.1415926;  // 編譯期常量
    final int radius = 5;                // 實例常量
    final int xPos, yPos;                // blank final
    public Circle(int x, int y) {
        xPos = x; yPos = y;              // 構造器中初始化
    }
}

• blank final 必須在構造器/靜態塊中初始化
• 引用類型 final 只保證引用不變，對象內容仍可修改

final 方法：禁止覆寫，非強制內聯

class BaseClass {
    public final void method() {} // 子類不可覆寫
}
class DerivedClass extends BaseClass {
    // public final void method() {} // 編譯錯誤
}

注意：final 方法不一定內聯，內聯決策由 JIT 基於熱點分析動態決定，非 final 關鍵字強制。

final 類：String 為何設計為 final？

public final class String
    implements Serializable, Comparable<String>, CharSequence { ... }

三大核心原因：

1. 不可變性保證：所有修改操作返回新對象，簡化共享邏輯
2. 字符串驻留：常量池複用依賴不可變性，若可變則需複雜的寫時複製機制
3. 安全性：網絡連接、文件路徑、類加載器等敏感場景防篡改

匿名內部類與 final 的特殊關係

匿名內部類只能訪問 final 或 effectively final 的局部變量。編譯器會在內部類構造器中複製變量值，方法棧幀銷毀後內部類仍持有副本。

// JDK 內部實踐：用數組繞過限制
final boolean[] result = {false};
AccessController.doPrivileged((PrivilegedAction<Object>) () -> {
    try {
        result[0] = InetAddress.getByName(h1).equals(InetAddress.getByName(h2));
    } catch (Exception e) {}
    return null;
});
return result[0];

內部類完整分類與限制

匿名內部類關鍵限制

• 不能定義構造器（但可用實例初始化塊）
• 不能有靜態初始化塊/靜態非最終字段
• 字段會遮蔽外部同名變量

總結

final 是 Java 實現不可變模式的基石。從 String 到並發工具類，不可變性簡化了推理、消除了同步開銷、釋放了編譯器優化潛力。掌握 final 的語義邊界與底層機制，是寫出健壯、高效 Java 代碼的關鍵。