Java 內存分配核心原理深度解析：棧、堆、方法區、常量池、直接內存全景圖

前言：內存模型是 Java 程序員的內功心法

Java 內存區域劃分為 線程私有 (程序計數器、虛擬機棧、本地方法棧) 與 線程共享 (堆、方法區/元空間、直接內存)。理解各區域職責、分配規則、溢出場景、GC 關係，是排查 OOM、優化性能、寫出高質量代碼的基石。本文結合 JVM 規範、HotSpot 實現、實戰案例，繪製全景圖。

運行時數據區全景圖 (JDK 8+)

+-------------------------+  ← 線程共享
|       Heap (堆)         |  新生代 Eden/S0/S1 + 老年代 + (JDK7- 永久代) 
|  - Young Gen (Eden/S)   |  所有 new 對象、數組分配於此
|  - Old Gen              |  GC 主戰場
+-------------------------+
|   Metaspace (元空間)     |  ← JDK8+ 替換永久代，存類元數據、常量、靜態變量、JIT代碼
|  (原 Method Area/永久代) |  本地內存，受 -XX:MaxMetaspaceSize 限制
+-------------------------+
|   Direct Memory (直接內存) |  NIO ByteBuffer.allocateDirect，不受堆限制，受 -XX:MaxDirectMemorySize
+-------------------------+
+-------------------------+  ← 線程私有 (每線程一份)
|  VM Stack (虛擬機棧)     |  棧幀：局部變量表、操作數棧、動態連接、方法返回地址
|  - 局部變量表 (基本類型、引用、returnAddress)                |
|  - 基本類型八種 + 引用 (32/64位) 存此處，對象實體在堆        |
+-------------------------+
|  Native Stack (本地方法棧) |  Native 方法調用
+-------------------------+
|  PC Register (程序計數器) |  當前字節碼指令地址
+-------------------------+

核心區域深度解析

1. 堆 : GC 主戰場、對象分配主場

• 分代佈局：新生代 (Eden + 2 Survivor) + 老年代。默認比例 8:1:1 (可配 -XX:SurvivorRatio)；
• 分配規則：優先 Eden → 大對象直入老年代 (-XX:PretenureSizeThreshold) → 長期存活晉升老年代 (-XX:MaxTenuringThreshold) → 動態年齡判斷 → 空間擔保；
• TLAB (Thread Local Allocation Buffer)：每線程在 Eden 劃分專屬緩衝區，指針碰撞分配，無鎖、極快；
• OOM 場景：java.lang.OutOfMemoryError: Java heap space —— 堆不夠或洩漏 (靜態集合持有、ThreadLocal 未清理、緩存無淘汰)。

2. 虛擬機棧 : 方法調用的軌跡

• 棧幀：每次方法調用壓入一幀，包含 局部變量表 (Slot 數組，存基本類型、引用、returnAddress)、操作數棧 (字節碼指令操作數)、動態連接、返回地址；
• 溢出：StackOverflowError (遞歸過深、循環調用) / OutOfMemoryError (線程過多、棧過大 -Xss)；
• 引用 vs 對象：棧存引用 (地址)，堆存對象實體 —— 這就是 Java 的「指針」。

3. 方法區 / 元空間 : 類元數據倉庫

• JDK7-：永久代 (堆中)，易 OOM；JDK8+：元空間 (本地內存)，默認無上限；
• 存儲：類信息 (版本、字段、方法、註解)、運行時常量池、字符串常量池 (JDK7+ 移至堆)、靜態變量、JIT 編譯代碼；
• 參數：-XX:MetaspaceSize (初始觸發 GC 閾值)、-XX:MaxMetaspaceSize (上限)；
• OOM：動態生成大量類 (JSP、CGLIB、動態代理、OSGi) 導致 Metaspace 耗盡。

4. 運行時常量池 & 字符串常量池

5. 直接內存 : NIO 零拷貝利器

• ByteBuffer.allocateDirect(capacity) 分配堆外內存，避免 Java 堆 ↔ Native 堆拷貝，提升 I/O 性能；
• 不受 -Xmx 限制，受 -XX:MaxDirectMemorySize (默認 = -Xmx) 限制；
• 清理依賴 Cleaner (PhantomReference) → GC 觸發 → freeMemory，**釋放不及時易 OOM**；
• Netty、RocketMQ、DirectBuffer 緩存池化管理，手動釋放 (ReferenceCountUtil.release) 更可控。

經典面試題：String 創建幾個對象？

String s1 = "a" + "b" + "c";          // 1 個 (編譯期優化為 "abc"，常量池)
String s2 = new String("a") + "b";    // 2-3 個 (new String("a") 堆對象 + 拼接產生 StringBuilder + toString 堆對象)
String s3 = "ab";
String s4 = new String("ab");
s3 == s4; // false (引用不同)
s3.equals(s4); // true (值相同)
s4.intern() == s3; // true (intern 返回常量池引用)

核心口訣：字面量進常量池，new 進堆，拼接有變量進堆，編譯期全常量進常量池。

內存診斷工具鏈

• jstat -gcutil / jmap -histo / jmap -dump:live,format=b,file=heap.hprof；
• VisualVM / JConsole / Arthas / JProfiler / MAT (Eclipse Memory Analyzer)；
• GC 日志：-Xlog:gc*:file=gc.log:time,uptime,level:filecount=10,filesize=100M (JDK9+)；
• OOM 自動 Dump：-XX:+HeapDumpOnOutOfMemoryError -XX:HeapDumpPath=/dumps。

總結

Java 內存模型 = 棧管運行 (幀、局部變量、引用) + 堆管存儲 (對象、數組、字符串池) + 元空間管元數據 (類、常量、靜態) + 直接內存管 I/O 零拷貝。掌握分配規則、溢出特徵、GC 觸發條件，配合工具鏈，即可從容應對生產環境內存疑難雜症。