一、什么是内存逃逸？
内存逃逸（Memory Escape）是编程语言（特别是像 Go、Java 这种带有垃圾回收机制的语言）中关于内存管理的一个重要概念。
简单来说，内存逃逸是指在函数内部定义的变量，本应分配在栈（Stack）上，但由于编译器发现该变量在函数返回后仍被外部引用，或者变量过大等原因，不得不将其分配到堆（Heap）上的现象。
1. 背景知识：栈 vs 堆
为了理解内存逃逸，首先需要理解程序运行时的两个主要内存区域：
-
栈（Stack） 特点：分配和释放速度极快（只需移动栈指针），通常用于存储函数的局部变量、参数等。 生命周期：随函数调用而创建，随函数结束而自动销毁。 管理：由操作系统自动管理，无需程序员或垃圾回收器（GC）操心。
-
堆（Heap） 特点：分配速度较慢，空间较大，用于存储动态产生的数据。 生命周期：生命周期不随函数结束而结束，需要手动释放（C/C++）或由垃圾回收器回收（Go/Java/Python）。 管理：管理成本高，频繁的堆分配会给 GC 带来压力。
2. 什么是“逃逸”？
在理想情况下，编译器希望尽可能将变量分配在栈上。因为栈上的变量在函数结束时会自动清理，不需要垃圾回收（GC）介入，性能极高。
但是，编译器进行逃逸分析（Escape Analysis）时，如果发现：
1、指针逃逸：一个局部变量的指针（地址）被返回给了函数的调用者，或者被赋值给了一个外部的全局变量。
2、无法确定大小：变量的大小在编译期无法确定（例如使用了动态类型 interface{}）。
3、栈空间不足：变量过大，超过了栈的限制。
那么，为了保证程序运行正确（避免函数结束后变量被销毁导致外部访问空指针），编译器就会把这个变量分配到堆上。这就叫内存逃逸。
在 Java 中，我们主要关注两种逃逸：
- 方法逃逸：对象被作为参数传递给其他方法，或者作为返回值返回给调用者。
- 线程逃逸：对象被赋值给类变量（static）或者实例变量，导致其他线程可能访问到它。
3. 发生逃逸的常见场景
| 场景 | 描述 | 典型代码 (Go/Java 逻辑) |
|---|---|---|
| 指针/引用返回 | 函数返回了局部对象的地址/引用 | return &x 或 return new Point() |
| 外部引用赋值 | 局部对象被赋值给了全局变量或参数传入的容器 | globalList.add(localObj) |
| 栈空间不足 | 变量体积过大，超过栈帧限制 | new long[1000000] |
| 动态类型/无法确定大小 | 编译期无法确定具体类型或大小 | interface{} 参数，fmt.Println(x) |
| 闭包引用 | 匿名函数捕获了外部函数的局部变量 | func() { return x } |
4. 带来的影响
-
负面（性能损耗） ：
- GC 压力：堆上对象越多，GC 频率越高，CPU 消耗越大。
- 分配慢：堆分配需要寻找空闲内存块、加锁等，比栈分配慢得多。
- 缓存差：堆内存不连续，CPU Cache 命中率低于栈。
-
正面（安全与功能） ：
- 保证了跨函数共享数据的安全性（避免悬空指针）。
- 允许程序处理大数据结构。
