JavaScript循环为何不栈溢出？内存分配相关技术疑问

先纠正一个常见误区：原始值并非全部存在栈中。比如闭包捕获的原始值、全局作用域的原始值，其实会存在堆里。只有函数局部作用域中未被闭包捕获的原始值，才会存在栈的栈帧里。

问题1：大型循环为何不会导致栈溢出？ #

看你给出的代码：

for(let i = 0; i<99999999; i++){
   let x = i
}

这里的核心原因是栈帧的生命周期和JS引擎的优化逻辑：

• 循环的每次迭代对应一个块级作用域，但JS引擎不会为每次迭代都创建全新的栈空间。let i在for循环初始化部分，引擎会将其作用域绑定到每一次迭代，但实际内存中，i的存储空间是被复用的，每次迭代只是更新它的值，而非重新分配新空间。
• 每次循环里的let x，在当前迭代执行完毕后，所在的块级作用域就结束了，对应的栈空间会立即被释放，不会在栈中累积占用。
• 栈溢出通常是因为嵌套调用过深（比如无终止条件的递归），导致栈帧不断叠加无法释放。而这个循环的栈帧始终只有当前迭代的那一层，执行完就释放，所以无论循环多少次，都不会撑爆栈。

问题2：数百万个对象的引用会不会占满栈空间？ #

答案是不会，因为大部分对象引用根本不会存在栈里：

• 如果是全局作用域下的对象引用（比如window.obj = {}），这些引用存储在堆中的全局对象里，和栈完全无关。
• 如果是函数局部作用域的对象引用，只有当函数正在执行时，引用才会存在当前栈帧中。但如果是创建数百万个对象的代码在一个函数里，这些引用要么被存储到堆中的集合（比如数组）里——数组本身在堆里，引用只是数组的元素，不在栈中；要么是单独的局部变量，函数执行完栈帧销毁，引用也会被释放，不可能同时在栈里存在数百万个活跃的局部变量引用。
• 栈的空间通常只有几MB（不同浏览器/环境略有差异），单个引用占8字节的话，几百万个引用需要好几GB，远超过栈的容量，但实际场景中根本不会出现这种情况——因为栈里只会保留当前执行上下文的变量引用，不可能同时持有数百万个活跃的局部变量引用。

内容的提问来源于stack exchange，提问作者PrasadB