深度解析 Java 堆與棧：內存模型、存儲差異與性能優化

前言

「堆與棧的區別」是 Java 面試必考、性能調優基石。本文從 JVM 內存結構、分配機制、存儲內容、訪問效率、常見誤區五個維度，系統梳理兩者本質差異。

一、核心定位對比

二、存儲內容詳解

🟢 棧 (Stack) - 線程私有

• 基本類型局部變量：int, long, double 等 8 種基本類型值。
• 對象引用：指向堆/方法區對象的引用變量（64位 JVM 經壓縮指針 4 字節）。
• 方法調用上下文：返回地址、操作數棧、動態鏈接、局部變量表。
• 返回值槽位：基本類型值或引用地址。

💡 棧幀結構：局部變量表 | 操作數棧 | 動態鏈接 | 方法返回地址 | 附加信息

🔵 堆 - 線程共享

• 所有對象實例：new Object()、數組、String 對象等。
• 類實例化數據：字段值、對象頭、對齊填充。
• 逃逸分析優化：JIT 可將未逃逸對象標量替換到棧上分配（栈上分配），甚至消除同步鎖。

三、String 常量池與 new String() 陷阱

String s1 = "abc";        // 常量池，編譯期確定，全局唯一
String s2 = "abc";        // 復用常量池對象，s1 == s2 → true
String s3 = new String("abc"); // 堆分配新對象，s1 == s3 → false
String s4 = new String("abc"); // 又一個新對象，s3 == s4 → false

• String.intern() 可手動入池（JDK 7+ 池移至堆）。
• 頻繁拼接用 StringBuilder，避免產生大量短命字符串對象壓垮 Young GC。

四、內存分配與擴容機制

棧分配

• 編譯期確定大小（局部變量表大小寫入 Class 文件 Code 屬性）。
• 線程創建時預留連續虛擬內存 (-Xss)，物理內存按需提交。
• 溢出：遞歸過深、大對象局部變量 (如 byte[] buf = new byte[1024*1024])。

堆分配

• 指針碰撞：Serial/ParNew GC，整理後內存連續。
• 空閒列表：CMS/G1/ZGC，內存碎片化。
• TLAB (Thread Local Allocation Buffer)：每線程在 Eden 區預分配一塊，無鎖指針碰撞，分配極快。
• 擴容：-Xms 初始、-Xmx 最大，建議設為同值避免震蕩。

五、訪問效率實測

// 棧上數組訪問
int[] arr = new int[1000]; // 引用在棧，對象在堆
arr[0] = 1; // 1 指令：iaload/iastore

// 對象字段訪問
Obj obj = new Obj();
obj.field = 1; // 2 指令：aload_0 + putfield (需解析引用)

• 棚上基本類型/引用訪問：單指令，極快。
• 堆上對象字段訪問：間接寻址，多一次解引用，受 CPU 緩存命中率影響大。
• 逃逸分析 + 標量替換可將熱點對象字段提升到棚上寄存器/局部變量，消除堆分配與間接訪問。

六、常見誤區澄清

七、調優建議

1. -Xms = -Xmx：避免堆震蕩，鎖定內存頁。
2. -Xss 256k-512k：足夠多數業務，支持更多線程。
3. 啟用逃逸分析：-XX:+DoEscapeAnalysis (JDK 8+ 默認開啟)。
4. 大對象直接進老年代：-XX:PretenureSizeThreshold 避免 Eden 區大對象複製。
5. 監控指標：堆使用率、GC 頻率/耗時、線程數、棧深度。

八、總結

棧是執行邏輯的舞臺，堆是數據狀態的倉庫。理解兩者分工、交互與優化機制，是從「會用 Java」進階到「懂 JVM」的關鍵一步。