Java 内存管理从入门到精通
写 Java 代码这么多年，你有没有想过：new 出来的对象到底存在哪儿？static 变量和普通变量为啥一个能共用一个不行？今天咱们就把 JVM 内存管理这事儿彻底掰扯清楚。作为 Java 开发者，搞明白这块内容，遇到 OutOfMemoryError 或者内存泄漏问题的时候，才不会一脸懵。
JVM 内存结构长什么样
JVM 把运行时数据划分成好几块区域，有些是所有线程共享的，有些则是每个线程独立的。下面这张图能帮你快速建立整体印象：
1. 堆（Heap Area）
堆是 JVM 运行时数据区里最大的一块，用来存放 对象实例 和 数组。JVM 启动的时候堆就创建好了，大小可以通过 -Xms 和 -Xmx 参数来调整。
简单记一句话：用 new 关键字创建的东西，全扔堆里。堆里存的是实实在在的对象数据，而对象的引用（reference）则放在栈上。
关键点：
- 一个 JVM 进程只有一块堆
- 堆里面的垃圾回收是必须的，GC 线程会定期清理无用对象
2. 方法区（Method Area）
方法区在逻辑上属于堆的一部分，但在 HotSpot JVM 里，这块被拆出来叫 Metaspace，不再占用堆内存。用来存什么？
- 类的结构信息（字段、方法、构造函数）
- 字节码指令
- 静态变量（static）
- 常量池
- 接口定义
有个容易踩的坑：方法区的垃圾回收不是强制的，不同 JVM 实现有不同的策略。老版的永久代（PermGen）因为空间固定，容易闹 OutOfMemoryError，新版用元空间替代之后，内存分配灵活多了。
3. 虚拟机栈（JVM Stacks）
每启动一个线程，JVM 就给它分配一个独立的栈。栈里存的是 方法调用的栈帧，包括：
- 局部变量
- 方法参数
- 返回值
- 操作数栈
栈的工作方式符合 LIFO（后进先出） 原则，方法调进去就压栈，执行完就弹出去。栈的大小可以固定，也可以动态扩展。
注意：栈是线程私有的，不存在并发问题，这也是为什么局部变量天生线程安全。
4. 本地方法栈（Native Method Stacks）
顾名思义，这是给 本地方法（用 C/C++ 写的 native 方法）准备的栈。JVM 调用本地库的时候就会用到这块区域，跟虚拟机栈的原理差不多，只不过处理的是非 Java 代码。
5. 程序计数器（PC Registers）
每个线程都有自己的程序计数器，用来记录当前正在执行的 JVM 指令地址。如果是 native 方法，计数器的值是未定义的。这块区域是 JVM 里唯一不会发生 OutOfMemoryError 的地方。
堆 vs 栈：一张表说清楚区别
很多面试喜欢问这块，我直接给你列个对比表，记住这几个核心差异：
| 特性 | 堆（Heap） | 栈（Stack） |
|---|---|---|
| 存储内容 | 对象实例和实例变量 | 方法调用和局部变量 |
| 大小 | 较大 | 较小 |
| 速度 | 相对较慢 | 快 |
| 访问方式 | 随机访问 | LIFO（后进先出） |
| 生命周期 | 对象无引用后由 GC 回收 | 方法结束即弹栈 |
| 线程共享 | 所有线程共享，需要同步 | 线程私有，天生线程安全 |
| 内存分配 | 用 new 分配，手动写代码 | 自动分配和回收 |
实战演示：变量到底存在哪儿
光说不练假把式，来段代码验证一下：
import java.io.*;
class Geeks {
// 静态变量 → 方法区
static int v = 100;
// 实例变量 → 堆
int i = 10;
public void Display() {
// 局部变量 → 栈
int s = 20;
System.out.println(v);
System.out.println(s);
}
}
public class Main {
public static void main(String[] args) {
Geeks g = new Geeks();
g.Display();
}
}
输出：
100
20
对照代码记住这个口诀：
- static 变量 → 方法区
- 实例变量 → 堆
- 局部变量 → 栈
实际开发中的建议
- 别在循环里不停 new 对象：大量对象堆积到堆里，GC 压力山大
- 注意静态变量的生命周期：它们跟应用同寿，用完记得清理
- 栈溢出（StackOverflowError）通常是递归没写终止条件导致的
- 调优先看堆：大多数性能问题出在堆内存分配和 GC 上
搞清楚了 JVM 内存模型，再去看 垃圾回收机制、性能调优 这些进阶内容，就会顺畅很多。纸上得来终觉浅，建议你打开 IDEA，调几个断点，感受一下对象在内存里的流动。