深度解析 Java final 關鍵字：數據、方法、類與最佳實踐

final 三大用途

final 變量深度解析

1. 編譯期常量（static final）

public static final String APP_NAME = "MyApp"; // 命名慣例：全大寫+下劃線
private static final int MAX_SIZE = 100;

• 編譯器會將常量值內聯到調用處，提升效能。
• 必須在聲明時或靜態初始化塊賦值。

2. 運行時初始化（實例/局部 final）

public class Demo {
    private final String instanceConst; // 空白 final
    private final int[] numbers = {1, 2, 3}; // 引用不可變，但數組內容可變

    public Demo(String val) {
        this.instanceConst = val; // 構造器賦值
    }

    public void test() {
        final String localConst = "local"; // 局部 final
        numbers[0] = 99; // 合法：修改對象內部狀態
        // numbers = new int[3]; // 編譯錯誤：引用不可變
    }
}

3. 空白 final（Blank Final）

聲明時不賦值，**每個構造器**都必須賦值一次，確保對象構建完成前不可變。

final 方法：鎖定行為與內聯優化

• 防止子類覆蓋，保證核心邏輯不被篡改。
• 早期 JVM 會將 final 方法內聯調用，現代 JVM（HotSpot）已自動優化，**無需為效能加 final**。

私有方法隱式 final

class Base {
    private void internal() {} // 隱式 final
    // 子類定義同名方法不是覆蓋，而是新方法
}

建議配合 @Override 註解編譯期檢測誤覆蓋。

final 類：設計層面的封閉

• 禁止繼承，保護類不變式（如 String、Integer、包裝類）。
• 類中所有方法隱式 final，但**字段不自動成為 final**。

final class Immutable {
    int mutableField = 1; // 仍可修改
}
// class Sub extends Immutable {} // 編譯錯誤

最佳實踐總結

1. **默認傾向不可變**：能加 final 就加，減少可變狀態。
2. **常量集中管理**：用 static final 定義配置常量。
3. **方法慎用 final**：除非明確禁止覆蓋（模板方法、安全），否則交給 JVM 優化。
4. **類慎用 final**：除非設計為不可變或安全敏感，否則保留擴展性。
5. **集合/數組引用 final**：防止引用替換，內容仍可修改，配合 Collections.unmodifiableList 實現深度不可變。