Java 堆 vs 棧深度對比：內存佈局、分配規則、OOM/StackOverflow 排查與參數調優

堆與棧是 JVM 內存模型的兩大支柱，混淆二者是導致記憶體問題排查失效的首因。本文從內存佈局、對象分配規則、異常特徵、參數控制、實戰排查五個維度徹底釐清兩者邊界。

核心差異總覽

對象分配真相：引用在棧、對象在堆

void demo() {
    User user = new User("Alice"); // 1. 棧分配引用變數 user
                                   // 2. 堆分配 User 對象
                                   // 3. user 指向堆地址
}

• 基本型別 (int, long 等) 直接存棧
• 對象引用 (指標) 存棧，對象實體存堆
• 方法參數傳遞：基本型別傳值、引用型別傳引用值 (地址)

逃逸分析與標量替換：堆上分配不再鐵律

JIT (C2) 啟用逃逸分析 (-XX:+DoEscapeAnalysis，預設開啟) 後：

• 無逃逸：對象不離開方法 → **標量替換**，字段拆解為局部變數存棧/寄存器，**零堆分配、零 GC 壓力**
• 方法逃逸：作為返回值/參數傳出 → 必須堆分配
• 線程逃逸：存入靜態字段/ThreadLocal/同步塊 → 必須堆分配

// 典型無逃逸場景
public String concat(String a, String b) {
    StringBuilder sb = new StringBuilder(); // 無逃逸
    sb.append(a).append(b);
    return sb.toString(); // 返回 String，sb 不逃逸
}
// JIT 可優化為棧上分配甚至直接字串拼接

常量池與字串常量池位置演進

• Java 6：字串常量池在 PermGen (非堆)，String.intern() 易爆 PermGen
• Java 7：字串常量池移至**堆**，intern() 安全
• Java 8+：PermGen 移除，類元資料進 Metaspace，運行時常量池在 Metaspace

參數檢查與調優指令

# 查看預設值
java -XX:+PrintFlagsFinal -version | grep -E 'HeapSize|ThreadStackSize'

# 運行時動態查看
jmap -heap 
jcmd  VM.flags
jstat -gcutil  1000

# 典型生產配置 (8GB 容器)
-Xms4g -Xmx4g -Xss1m -XX:MetaspaceSize=256m -XX:MaxMetaspaceSize=512m
-XX:+UseG1GC -XX:MaxGCPauseMillis=200

實戰排查決策樹

發生 OOM
   │
   ├─ Heap OOM → jmap -histo:live  | head -30
   │            → 定位佔用最大類 → MAT 分析 GC Roots 路徑 → 修復洩漏/調大 -Xmx
   │
   ├─ Metaspace OOM → 類加載洩漏 (CGLib/JSP/Groovy 動態生成類)
   │                 → -XX:MaxMetaspaceSize 限制、檢查類加載器洩漏
   │
   ├─ Direct Memory OOM → NIO/Netty DirectByteBuffer 未釋放
   │                     → -XX:MaxDirectMemorySize、排查 Cleaner/ReferenceQueue
   │
   └─ StackOverflow → 遞歸無出口 / 大局部變數陣列 / 循環調用
                     → -Xss 調大 (治標) / 重寫遞歸為迴圈 (治本)

避坑指南

• ❌ 以為 String s = "a" + "b" 在堆創建對象 → 編譯期常量折疊，直接指向字串常量池
• ❌ 以為棧只存基本型別 → 對象引用、返回地址、操作數棧全在棧
• ❌ 以為 -Xmx 只限制堆 → 進程總記憶體 = Heap + Metaspace + Stack×Threads + Direct + CodeCache + GC 開銷
• ✅ 容器化部署設 -XX:InitialRAMPercentage/MaxRAMPercentage 讓 JVM 感知容器記憶體上限
• ✅ 開啟 -XX:+HeapDumpOnOutOfMemoryError -XX:HeapDumpPath=/dumps 自動留存現場

結語

堆是「對象的家」，棧是「方法的工作台」。搞清誰住哪、誰管命週期、誰爆了怎麼查，是 Java 工程師從「會用」走向「懂原理」的分水嶺。下次遇到 OOM/StackOverflow，請先問自己：**是堆滿了，還是棧溢出了？**