J*aScript内存管理_堆栈分配与回收策略

J*aScript内存管理依赖栈与堆分工及垃圾回收机制。栈存储固定大小的原始值和执行上下文，堆存放动态对象，变量在栈中保存引用地址。函数调用时，执行上下文在栈中创建，局部变量随上下文销毁而释放，但堆中对象需依赖垃圾回收。主要回收策略为标记-清除（从根对象遍历标记可达对象，未标记者被回收），现代引擎普遍采用此法；引用计数因无法处理循环引用（如obj1.ref=obj2且obj2.ref=obj1）已逐渐淘汰。尽管有自动回收，不当编码仍致内存泄漏：如意外全局变量、闭包长期持有外部变量、未解绑事件监听、定时器持续引用对象等。优化措施包括显式置null、使用WeakMap/WeakSet、及时清除定时器与事件绑定。理解内存分配与回收逻辑有助于提升性能与稳定性。

javascript内存管理_堆栈分配与回收策略

J*aScript的内存管理是开发者理解程序性能和避免内存泄漏的关键。虽然J*aScript具备自动垃圾回收机制，但了解其背后的堆栈分配与回收策略，有助于写出更高效、稳定的代码。

栈内存与堆内存的基本区别

J*aScript运行时会将内存分为栈（Stack）和堆（Heap）两部分，它们在用途和管理方式上有明显差异：

栈内存：用于存储原始值（如number、string、boolean、undefined、null、symbol、bigint）和函数调用上下文。数据大小固定，由系统自动分配和释放，访问速度快。
堆内存：用于存储引用类型（如对象、数组、函数）。数据大小不固定，动态分配，存储的是实际对象内容，变量在栈中保存的是指向堆内存的地址。

例如：

let a = 10; // 栈内存
let obj = { x: 20 }; // obj指针在栈，{x:20}在堆

变量作用域与执行上下文中的内存分配

每当函数被调用，J*aScript引擎会创建一个新的执行上下文，包含变量环境和词法环境，这些信息通常在栈中管理。

基本类型变量直接在栈中创建并销毁。
函数内部声明的对象会在堆中分配内存，栈中只保留对该对象的引用。
当函数执行结束，其执行上下文从调用栈弹出，栈中局部变量被自动清除，但堆中对象是否回收取决于是否有其他引用存在。

垃圾回收机制：标记-清除与引用计数

J*aScript引擎主要通过两种策略来识别和回收不再使用的堆内存：

标记-清除（Mark-and-Sweep）：从根对象（如全局对象、调用栈）开始遍历所有可达对象，未被标记的视为“垃圾”，后续被回收。现代浏览器普遍使用此算法。
引用计数（Reference Counting）：跟踪每个对象被引用的次数，为0时立即释放。但由于无法处理循环引用，已逐渐被弃用或仅作辅助。

例如循环引用问题：