Java 記憶體模型淺析：堆與棧的分配機制與引用本質

Java 將記憶體劃分為堆與棧兩大區域，理解其分配規則與生命週期差異，是寫出高效、無記憶體洩漏程式的基礎。

棧記憶體

• 存放內容：基本型別變數 (`int`, `boolean` 等)、物件引用變數
• 分配時機：程式碼塊定義變數時自動分配
• 釋放規則：超出作用域立即自動釋放，空間可立即復用
• 特性：執行速度快、大小固定、線程私有

堆記憶體

• 存放內容：`new` 建立的物件實例、陣列
• 管理方式：JVM 垃圾回收器 (GC) 自動管理
• 引用機制：棧中引用變數存放物件在堆中的首地址，透過引用訪問實體
• 生命週期：脫離建立語句的程式碼塊後仍存活，無引用指向時成為垃圾，由 GC 不定期回收

圖解關係

棧 (Stack)                    堆
+------------------+          +------------------+
| main()           |          |                  |
|  int a = 10;     |          |                  |
|  Person p = new  |--------->| Person Object    |
|      Person();   |   引用   | name="John"      |
+------------------+          | age=30           |
                              +------------------+

關鍵洞見

1. 引用即指標：棧中變數指向堆中物件，這就是 Java 的「指標」本質，雖不支援指標運算
2. 記憶體佔用大戶：物件實體在堆，引用在棧，大量物件導致堆壓力大，這是 Java 相對佔記憶體的主因
3. 作用域與生命週期脫鉤：引用變數隨作用域結束釋放，但物件實體可能因被其他引用持有而存活
4. GC 不確定性：物件成為垃圾到被回收有時間差，不可依賴 `finalize()` 釋放關鍵資源

實戰建議

• 基本型別優於包裝類型減少堆分配
• 大物件、長生命週期物件謹慎持有引用，及時置 `null` 協助 GC
• 避免在循環中頻繁 `new` 物件，改用物件池或複用
• 使用 `-Xms` `-Xmx` 調整堆大小，`-Xss` 調整棧大小
• 工具監控：VisualVM、JConsole、Arthas 觀察堆棧分佈與 GC 行為