Java 局部變數、final 語義、值傳遞機制深度解析

一、局部變數特性與規則

1. 無默認初始化

public void method() {
    String s;           // 編譯錯誤：可能未初始化
    System.out.println(s);
}

// 修正：必須顯式初始化
public void method() {
    String s = null;    // 或具體值
    System.out.println(s);  // 輸出 null
}

對比：成員變數（實例/靜態）有默認值（null/0/false），局部變數無。

2. 不可使用訪問修飾符

public void method() {
    public int x = 1;   // 編譯錯誤：局部變數不能有 public/protected/private
    final int y = 2;    // ✅ 僅可用 final
}

二、final 修飾局部變數的深層語義

1. 基本型別：值不可變

public void method(final int x) {
    x = 10;  // 編譯錯誤：final 參數不可重新賦值
}

2. 引用型別：引用不可變，對象內容可變

public void method(final StringBuilder sb) {
    sb.append("hello");  // ✅ 允許：修改對象內部狀態
    sb = new StringBuilder();  // ❌ 編譯錯誤：改變引用指向
}

3. final 成員變數：必須顯式初始化

public class Demo {
    final int x;  // 編譯錯誤：final 實例變數無默認值，必須初始化
    
    // 正確初始化位置（三選一）：
    // 1. 聲明時
    final int a = 1;
    // 2. 實例初始化塊
    { final int b; b = 2; }
    // 3. 構造器中（所有構造器都必須初始化）
    public Demo() { x = 3; }
    public Demo(int val) { x = val; }
}

三、Java 參數傳遞：只有值傳遞

核心鐵律

Java 只有值傳遞。基本型別傳值的副本，引用型別傳引用的副本（地址值）。

代碼證明

public class ParameterPassing {
    // 基本型別：無法修改原值
    public void changePrimitive(int value) {
        value = 10;
    }
    
    // 引用型別：無法修改原引用，但可修改對象內容
    public void changeReference(Wrapper wrapper) {
        wrapper.value = 20;        // ✅ 修改對象內容：影響原對象
        wrapper = new Wrapper();   // ❌ 修改引用副本：不影響原引用
        wrapper.value = 30;
    }
    
    // 交換失敗示範
    public void swap(Wrapper a, Wrapper b) {
        Wrapper temp = a;
        a = b;
        b = temp;  // 僅交換了局部引用副本
    }
    
    static class Wrapper { int value; }
    
    public static void main(String[] args) {
        ParameterPassing demo = new ParameterPassing();
        
        int primitive = 5;
        demo.changePrimitive(primitive);
        System.out.println("primitive: " + primitive);  // 5，未變
        
        Wrapper ref = new Wrapper();
        ref.value = 10;
        demo.changeReference(ref);
        System.out.println("ref.value: " + ref.value);  // 20，內容被修改！
        
        Wrapper a = new Wrapper(); a.value = 1;
        Wrapper b = new Wrapper(); b.value = 2;
        demo.swap(a, b);
        System.out.println("a=" + a.value + ", b=" + b.value);  // a=1, b=2，未交換
    }
}

記憶體模型圖解

調用棧幀：
main():
  primitive = 5 (int)
  ref = 0x7f00 (引用地址) ──────┐
                                 ▼
堆:
  Wrapper@0x7f00 { value: 10 } ◄─┘

changeReference(Wrapper wrapper):
  wrapper = 0x7f00 (引用副本) ────┐
                                   ▼
堆 (同一對象):
  Wrapper@0x7f00 { value: 20 } ◄──┘  ← 內容修改可見

wrapper = new Wrapper() (0x8a00)  ← 僅改變局部副本指向，main 的 ref 不變

四、實戰陷阱與最佳實踐

五、final 參數的實際價值

• 文檔作用：明確告知調用者/維護者：此參數不會被重新賦值
• 編譯器優化：某些情況下助於 JIT 內聯、常量傳播
• 匿名類/Lambda 捕獲：Java 8+ 要求捕獲的區域變數為 final 或「實際上 final」
• 防禦性編程：減少意外重賦值導致的邏輯錯誤

六、總結

1. 局部變數：無默認值、無訪問修飾符、可用 final
2. final 基本型：值不變；final 引用型：引用不變，對象內容可變
3. Java 只有值傳遞：基本型傳值副本，引用型傳引用副本（地址）
4. 方法可修改對象內容，不可修改原引用指向
5. 理解記憶體模型（棧存引用/基本值，堆存對象）是掌握傳遞機制的關鍵

「Java 參數傳遞是值傳遞」—— 這句話背後的記憶體語義，區分了初級與中級開發者。

1. 上一篇文章： Java JDOM 解析 XML 實戰：從配置文件到 Bean 工廠的完整實現
2. 下一篇文章： Java String 核心方法深度解析：構造、轉換、查找、切割、替換、比較實戰指南

Java 程式設計入門

Java 集合框架完整解析：核心介面、實作類別、演算法、Iterator/Comparator 與遍歷最佳實務

Java 集合框架完整解析 集合框架為操作物件群組提供統一架

J2ME 平台架構深度解析：Configuration、Profile 與 CDC/CLDC 移植關係圖解

前言 J2ME 術語繁多 (Personal Basic P

Java == 與 equals 區別深度解析：字符串驗證、Object 默認實現與重寫規範

核心區別 維度==equals() 語義引用地址比較（是否

Java IO 流完全指南：分類體系、核心 API、讀寫實戰與避坑大全

IO 流四大分類維度 分類維度類別代表類核心特徵 按