逃逸分析是JavaScript引擎优化技术，用于判断对象是否仅在函数内使用，若未逃逸可栈分配或标量替换以减少GC；如obj被闭包引用则需堆分配，编写作用域小、少闭包的代码利于优化。
JavaScript引擎为了提升性能，会通过逃逸分析（Escape Analysis）来判断对象是否需要分配在堆上，还是可以安全地分配在栈上。虽然JavaScript是高级语言，开发者不直接管理内存，但底层引擎如V8、SpiderMonkey等会使用这类优化技术来减少垃圾回收压力、提高执行效率。
什么是逃逸分析
逃逸分析是一种运行时静态分析技术，用于确定变量或对象的作用域是否会“逃逸”出当前函数。如果一个对象只在函数内部使用，不会被外部引用，那么它就“未逃逸”，可以考虑在栈上分配，甚至内联或消除分配。
例如：
function example() {
let obj = { x: 1, y: 2 };
return obj.x + obj.y;
}
这个 obj 只在函数内部使用，且没有被返回或传递给其他函数，因此不会逃逸。引擎可能将其字段直接分配在栈上，甚至拆解为两个局部变量，完全避免堆分配。
立即学习“Java免费学习笔记（深入）”；
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
堆与栈的分配策略
传统上，JavaScript中所有对象都分配在堆上，因为对象生命周期不确定，需依赖垃圾回收。但通过逃逸分析，引擎可以在某些情况下优化内存分配：
- 栈分配：对象未逃逸时，可分配在调用栈上。函数退出后自动释放，无需GC介入。
- 标量替换：更激进的优化，将对象拆解为独立的值（如将 {x: 1} 拆为变量 x），直接存入寄存器或栈槽。
- 堆分配：一旦对象被闭包捕获、全局变量引用、或作为返回值传出，就会“逃逸”，必须分配在堆上。
实际影响与优化建议
虽然开发者无法直接控制逃逸分析，但编写可优化的代码有助于引擎做出更好决策：
- 避免在函数内部创建大量短期对象，尤其是循环中。
- 减少不必要的闭包引用，防止本可栈分配的对象被提升到堆。
- 尽量让对象作用域最小化，不提前暴露给外部。
例如，以下代码会导致逃逸：
function badExample() {
let obj = { data: [] };
setTimeout(() => console.log(obj.data), 1000);
return; // obj 被闭包引用，必须堆分配
}
总结
JavaScript的逃逸分析是引擎层面的优化手段，帮助减少堆分配和GC开销。虽然语言本身不暴露内存管理细节，理解其原理有助于写出更高效、更易被优化的代码。栈分配虽非显式可见，但在高频执行路径中能显著提升性能。基本上就这些。
