Java 堆與棧深度解析：內存模型、存取效率、String 特性與對象創建陷阱

棧與堆是 Java 在 RAM 中存放數據的兩大區域，Java 自動管理，程序員不可直接控制。本文從定義、優缺點、數據共享、String 創建差異、內存申請響應、大小限制、效率對比、存儲內容、存取效率九大維度深度對比，並以經典比喻收尾。

核心定義對比

棧數據共享機制（基本類型）

int a = 3;
int b = 3;
// 編譯器處理：
// 1. 創建 a 引用，棧中無 3 → 存入 3，a 指向 3
// 2. 創建 b 引用，棧中已有 3 → b 直接指向 3
// 結果：a、b 同時指向同一棧內存地址

a = 4;
// 編譯器重新搜索 4，無則存入，a 指向 4
// b 仍指向 3，互不影響

本質：編譯器優化，節省空間。與對象引用共享本質不同——對象引用修改內部狀態會相互影響，基本類型值不可變。

String 創建的兩種方式與陷阱

// 方式一：字面量（常量池/棧）
String str = "abc";
// 1. 創建引用 str
// 2. 棧/常量池查找 "abc"，無則存入
// 3. str 指向 "abc"
// 多次執行：僅創建一個 "abc" 對象，所有引用共享

// 方式二：new 對象（堆）
String str = new String("abc");
// 每次調用：在堆中創建全新對象，無論值是否相等

經典面試題驗證

String s1 = "abc";
String s2 = "abc";
s1 == s2; // true，指向同一常量池對象

String s3 = new String("abc");
String s4 = new String("abc");
s3 == s4; // false，堆中兩個不同對象
s3.equals(s4); // true，值相等

陷阱警示

• String str = "abc" 不一定創建新對象，可能指向已有常量池對象。
• 只有 new String() 保證每次創建新對象。
• 頻繁修改字符串請用 StringBuffer/StringBuilder，避免產生大量臨時對象。

內存申請與響應機制

棧

• 剩余空間 ≥ 申請空間 → 分配成功
• 否則 → StackOverflowError

堆

• OS 維護空閒內存鏈表
• 遍歷鏈表尋找首個滿足大小的節點
• 分配後將節點從閒置鏈表移除，頭部記錄大小供 delete/free 使用
• 多余空間重新掛入閒置鏈表

大小限制對比

申請與存取效率

• 申請：棧（系統自動）> 堆（new，較慢，產生碎片）> VirtualAlloc（最快最靈活但最麻煩）
• 存取：棧上數組 > 堆上指針訪問

存取效率反編譯證據

char c[] = "1234567890"; // 棧上數組
char *p = "1234567890";  // 指向堆/數據段

a = c[1]; // 反編譯：mov cl, byte ptr [ebp-0Fh] → 直接讀取
a = p[1]; // 反編譯：mov edx, dword ptr [ebp-14h] → mov al, byte ptr [edx+1] → 兩步訪問

棧上數組單指令訪問，指針需先取地址再取值，顯著慢於棧。

存儲內容差異

• 棧（函數調用時）：返回地址 → 參數（右至左入棧） → 局部變量（靜態變量不入棧）。調用結束：局部變量出棧 → 參數出棧 → 恢復返回地址。
• 堆：頭部存大小，具體內容由程序員安排。

經典比喻總結

棧 = 去飯館吃飯：點菜（申請）、付錢、吃（使用）、走人。快捷但自由度低（菜單固定）。

堆 = 自己做菜：買菜、洗菜、切菜、炒菜、洗碗。麻煩但自由度高（隨心所欲）。