Java 值傳遞與引用傳遞深度解析：核心機制、常見誤區與最佳實踐

前言

「Java 只有值傳遞」是核心語言規範，但引用類型傳遞行為常被誤解為引用傳遞。本文從 JVM 內存模型、代碼實驗、字節碼層面徹底釐清機制。

官方定義回顧

值傳遞（基本類型）：實參值複製給形參，兩者獨立內存單元，形參變化不影響實參。

引用傳遞（引用類型）：實參為對象/數組，形參與實參指向同一堆內存地址，形參操作即實參操作，結果保留。

關鍵真相：Java 只有值傳遞

引用類型傳遞的是「引用的值」（記憶體地址），而非引用本身。

// 內存圖解
main 棧幀:  list ──────┐
                      ▼
                   堆內存: ArrayList 對象 @0x1234
                      ▲
called 棧幀:  param ────┘  (複製了地址值 0x1234)

代碼實驗驗證

實驗一：基本類型 - 純值傳遞

public void primitiveTest(int num) {
    num = 20; // 修改形參
}

public static void main(String[] args) {
    int value = 10;
    primitiveTest(value);
    System.out.println(value); // 輸出 10，未變
}

實驗二：引用類型 - 修改對象內部狀態

public void modifyList(List list) {
    list.add("new"); // 修改對象內容
}

public static void main(String[] args) {
    List list = new ArrayList<>();
    list.add("old");
    modifyList(list);
    System.out.println(list); // 輸出 [old, new] - 對象內容變了！
}

解析：傳遞的是引用地址副本，雙方指向同一對象，通過副本調用方法修改對象內部狀態，對原引用可見。

實驗三：引用類型 - 重新賦值引用

public void reassignList(List list) {
    list = new ArrayList<>(); // 形參指向新對象
    list.add("new");
}

public static void main(String[] args) {
    List list = new ArrayList<>();
    list.add("old");
    reassignList(list);
    System.out.println(list); // 輸出 [old] - 原引用未變！
}

解析：形參 list 是實參引用地址的副本，list = new ... 只是讓副本指向新對象，原引用仍指向舊對象。

實驗四：經典陷阱 - List.addAll() 共享引用

List list1 = new ArrayList<>();
list1.add(new Bean("A"));
list1.add(new Bean("B"));

List list2 = new ArrayList<>();
list2.addAll(list1); // 複製引用，而非複製對象！

list2.get(0).setName("Modified");
System.out.println(list1.get(0).getName()); // 輸出 "Modified" - 共享同一 Bean 對象！

正確複製策略

1. 淺拷貝（僅複製引用）

List list2 = new ArrayList<>(list1); // 或 list2.addAll(list1)
// 修改 list2 內容（增刪元素）不影響 list1
// 但修改元素對象內部狀態會相互影響

2. 深拷貝（遞歸複製對象圖）

// 手動深拷貝
List list2 = new ArrayList<>();
for (Bean b : list1) {
    Bean copy = new Bean();
    copy.setName(b.getName());
    copy.setAge(b.getAge());
    list2.add(copy);
}

// 或使用序列化深拷貝 (實現 Serializable)
ByteArrayOutputStream bos = new ByteArrayOutputStream();
ObjectOutputStream oos = new ObjectOutputStream(bos);
oos.writeObject(list1);
ByteArrayInputStream bis = new ByteArrayInputStream(bos.toByteArray());
ObjectInputStream ois = new ObjectInputStream(bis);
List list2 = (List) ois.readObject();

3. 建構子/工廠方法複製

// Bean 提供複製建構子
public Bean(Bean other) {
    this.name = other.name;
    this.age = other.age;
}

// 使用 Stream API
List list2 = list1.stream()
    .map(Bean::new) // 假設有複製建構子
    .collect(Collectors.toList());

JVM 內存模型視角

最佳實踐指南

1. 明確語義：方法參數命名體現意圖，如 process(List items) 暗示只讀，modify(List items) 暗示可變
2. 防禦性複製：構造器/Setter 中對可變參數深拷貝 this.list = new ArrayList<>(list)
3. 不可變對象：優先使用 String、LocalDate、Guava ImmutableList 等不可變類型
4. 集合只讀視圖：Collections.unmodifiableList(list) 返回只讀視圖防範外部修改
5. 文檔契約：Javadoc 標註 @param list 不可為 null，調用者保證不再修改

面試高頻題

Q: Java 是值傳遞還是引用傳遞？

A: 只有值傳遞。引用類型傳遞的是引用地址的副本。

Q: 為什麼方法內修改 List 內容外部可見，但重新 new List 外部不可見？

A: 修改內容是通過引用副本操作同一堆對象；重新賦值只是改變副本指向，不影響原引用。

Q: 如何實現對象的真正隔離？

A: 深拷貝（序列化、複製建構子、手動複製、第三方庫如 MapStruct）。

總結

理解「引用的值傳遞」是 Java 開發者進階關鍵。牢記：棧上複製地址，堆上共享對象。善用不可變對象、防禦性複製、只讀視圖，從源頭消除共享可變狀態帶來的隱患。