Java final 參數用法：防止引用變更與基本類型不可變性

Java final 參數

Java 1.1 允許在方法參數列表中使用 final，含義：

• 引用類型參數：不能改變引用指向的對象（param = new Obj() 非法），但可調用對象方法修改內部狀態
• 基本類型參數：不能修改參數值（param++ 非法），只能讀取

代碼示例

public class FinalArguments {
    void with(final Gizmo g) {
        // g = new Gizmo(); // 編譯錯誤
        g.spin(); // 合法
    }
    void without(Gizmo g) {
        g = new Gizmo(); // 合法
        g.spin();
    }
    int g(final int i) {
        // i++; // 編譯錯誤
        return i + 1; // 只能讀取
    }
    public static void main(String[] args) {
        new FinalArguments().without(null);
        new FinalArguments().with(null);
    }
}
class Gizmo { public void spin() {} }

最佳實踐

• 對不需修改的參數加 final，增強代碼可讀性與安全性
• 配合靜態分析工具可捕獲意外賦值