第三章 Java/Android内存模型图解：堆内存、栈内存、方法区、对象生命周期
3.1 概念解释
Java虚拟机（JVM）在运行Java程序时，会将内存划分为不同的区域，用于存放不同类型的数据。Android的Dalvik/ART虚拟机虽然架构略有差异，但核心的运行时数据区概念高度相似。了解这些区域及其分工，是排查内存泄漏、优化内存性能的基石。
三个核心运行时数据区：
| 区域 | 存储内容 | 生命周期 | 典型示例 |
|---|---|---|---|
| 栈（Stack） | 每个线程私有的栈帧，栈帧内包含局部变量表（基本类型、对象引用）、操作数栈、动态链接、方法出口等 | 随方法调用创建，方法返回销毁（后进先出） | 一个方法内的 int x = 10 和 String str = "hello" 的引用存储在栈中 |
| 堆（Heap） | 所有通过 new 创建的对象实例、数组 | 对象不再被任何GC Roots引用时成为垃圾，由GC回收 | byte[] buffer = new byte[1024] 的数组数据存放在堆中 |
| 方法区（Method Area） | 类元信息（类名、方法字节码、字段）、常量池、静态变量 | 类加载时创建，类卸载时释放（JDK 8+ 元空间使用本地内存） | static List 的静态引用及类信息 |
对象生命周期（以堆中对象为例）：
- 创建（Creation）：执行
new指令，分配内存、调用构造器、init方法；此时对象处于“可达”状态（有至少一个GC Roots指向它）。 - 使用（In Use）：对象被栈中的局部变量、静态变量或其他活跃对象所引用，程序可访问其字段和方法。
- 不可达（Unreachable）：所有GC Roots对该对象的引用链断开。注意：对象可能经历多次GC才能被标记为可回收（如finalize机制）。
- 回收（Reclaimed）：GC在后续清理阶段回收其占用的内存，对象生命周期结束。
3.2 类比：图书馆管理系统
把方法区比作图书馆的“目录室”——存放每本书的分类编号、书架位置、借阅规则（类信息）；堆是巨大的“书库”——所有实体书（对象）按编号存放；栈则是每位读者的“借阅记录卡”——卡片上写明正在阅读的书名和座位号（局部变量引用对象）。当读者离开（方法返回），卡片销毁，书依然在书库（对象仍在堆中）；只有当没有任何人的卡片指向那本书时，书才能被清出书库（GC回收）。
3.3 原理图解：运行时数据区与对象生命周期
上图左侧展示了线程私有的栈，其中每个栈帧包含局部变量，这些变量可能是基本类型，也可能是指向堆中对象的引用（如图中箭头所示）。右侧方法区存放类信息、静态变量和常量池；静态变量同样可以指向堆对象。堆中的对象通过引用链被栈帧或静态变量所“持有”。下半部分描绘了对象生命周期的四个典型阶段：创建→使用中→不可达→回收，标注了阶段转换的触发条件。
3.4 常见误区
实际上，通过“逃逸分析”，如果对象不会逃逸出方法且标量可替换，JIT编译器可能直接在栈上分配（栈上分配），随方法结束自动销毁，不经过堆和GC。
适用场景：短生命周期的小对象（如临时结果），但逃逸分析依赖JIT能力，不是所有虚拟机都支持。
静态变量属于类，存储在方法区（元空间/永久代）中，而不是线程的栈。所有线程共享方法区中的静态变量。误认为静态变量在栈中可能导致对并发安全的错误理解。
方法区也会发生GC（例如类卸载、常量池常量回收），只是触发条件更苛刻。对于使用反射、动态代理、自定义类加载器的应用（如某些框架），方法区内存泄漏也有发生。
误区4：对象一旦失去引用就立即回收
GC不是实时的。对象变为不可达后，可能还要经历一次或多次GC周期才被回收（例如finalize方法执行延迟）。另外，如果对象被放入Reference对象（SoftReference、WeakReference）中，回收时机与引用类型相关。
3.5 练习题
- 选择题：以下数据存放在堆中的是？
A. 方法内的int[] arr = new int[10]的数组引用
B. 方法内的int[] arr = new int[10]的数组内容
C. 类中的static int counter
D. 局部变量int x = 1
答案：B（数组对象本身在堆，引用在栈；静态变量在方法区；基本类型局部变量在栈） - 判断题：Java对象生命周期中，“不可达”状态意味着该对象一定会被下一次GC回收。
答案：错误（可能需要多次GC，并且如果对象重写了finalize方法且自救，可能重新变为可达） - 简答题：请说出至少两个GC Roots类型，并分别举例说明它们如何导致内存泄漏。
3.6 应用边界
理解Java/Android内存模型是掌握内存泄漏检测的基础。LeakCanary通过捕获堆转储（Heap Dump）并分析GC Roots引用链来定位泄漏对象。例如，一个Activity的实例被某个静态集合引用而无法释放，那么在堆转储中，该Activity会显示有一条从静态变量（方法区）指向它的引用链。只有清楚区分栈、堆、方法区的边界，才能准确判断泄漏根因。另外，对象生命周期的理解有助于区分“预期内的长时间存活对象”（如单例）与“预期外的泄漏对象”。
在实际开发中，内存模型还影响编码范式：避免在静态变量中持有Activity/Context引用；谨慎使用内部类（隐式持有外部类引用）；合理利用弱引用（WeakReference）处理缓存或回调，从而在对象不可达时允许GC及时回收。