Java 堆與棧存儲機制：實例變量、引用變量到底在哪？

Java 內存模型中「對象在堆、引用在棧」的說法雖普遍，但對「實例變量包含引用」的初學者極易產生矛盾感。本文從變量聲明位置（局部 vs 成員）徹底釐清存儲歸屬。

核心結論

關鍵原則

1. 對象實體永遠在堆：new 出來的對象（含其所有實例字段）分配在堆上。
2. 變量槽位隨聲明位置走：
   • 局部變量（方法參數、內部定義）槽位在棧幀中。
   • 實例變量（類字段）槽位在對象頭之後的堆內存中。
   • 靜態變量槽位在方法區（元空間）Class 對象中。
3. 引用只是地址值：無論引用變量槽位在棧還在堆，它存的都是指向堆中對象的引用值（地址/句柄）。

圖解場景

class User {
    String name;      // 實例引用變量 → 槽位在堆（User 對象內）
    int age;          // 實例基本變量 → 槽位在堆（User 對象內）
}

void method() {
    User u = new User(); // u 是局部引用變量 → 槽位在棧
                         // new User() 對象實體 → 在堆
    String local = "x";  // local 局部引用 → 棧槽位指向堆/常量池字符串
}

常見誤區澄清

• ❌「實例變量在堆，所以引用變量也在堆」→ ✅ 實例變量的槽位在堆，但它存的引用值指向另一堆對象。
• ❌「基本類型總在棚」→ ✅ 只有局部基本類型在棧，實例基本類型在堆。

調試驗證技巧

• 使用 jvisualvm / arthas 觀察堆快照，實例字段隨對象共存。
• -XX:+PrintEscapeAnalysis 查看標量替換優化（逃逸分析可將未逃逸對象標量化拆解到棧）。

掌握「對象在堆、變量槽位隨聲明位置」這一核心模型，即可輕鬆解決所有堆棧存儲疑惑。