JavaScript引擎采用动态栈扩容机制，无固定调用深度限制，基于内存与帧大小实时评估；通过栈水位检查、TCO、帧精简及异步分割等策略防溢出。
JavaScript 引擎不会为调用栈预分配固定大小的内存，而是采用动态扩容机制，在栈空间不足时按需增长，同时通过多种策略避免栈溢出和内存浪费。
栈空间按需分配，非固定上限
V8、SpiderMonkey 等主流 JS 引擎不设置全局统一的“最大调用深度”硬限制，而是基于当前线程可用内存、函数帧大小、嵌套层级等因素动态评估。每次函数调用时，引擎检查剩余栈空间是否足够容纳新帧；若不足，尝试向操作系统申请更多栈页（通常以 1–8 KB 为单位扩展）。
- 单次扩展不是无限的——多数引擎设定了隐式上限（如 V8 默认约 10000–15000 层递归，具体取决于帧体积）
- 栈内存来自线程私有栈区，无法像堆内存那样自由回收，因此扩容成本高于堆分配
- 尾调用优化（TCO）在严格模式下部分支持，可复用栈帧，间接缓解深度问题
帧结构精简与内联优化降低栈压力
引擎通过减少每个函数调用所需栈空间，延缓扩容触发时机：
- 参数和局部变量尽可能存储在寄存器或闭包对象中，而非栈上
- 小函数可能被内联（inline），完全消除调用帧
- 未使用的变量会被死代码消除，对应栈槽被复用
- 箭头函数、简单访问器等轻量结构生成更紧凑的帧布局
主动检测与早期终止防止崩溃
引擎在每次进入函数前执行轻量级栈水位检查，而非等到 segfault：
- 维护一个“安全边界”，预留数百字节缓冲，避免刚好耗尽栈空间
- 当检测到接近阈值时，抛出 RangeError: Maximum call stack size exceeded，而非触发底层异常
- 异步操作（如 Promise.then）天然打断同步调用链，间接规避深层递归
开发者可控的规避手段
理解扩容机制后，可通过以下方式主动适配：
- 将深度递归改写为循环 + 显式栈（如 DFS 使用数组模拟）
- 对已知深层调用场景，提前用 try/catch 捕获 RangeError 并降级处理
- 避免在紧循环中创建大量闭包或嵌套箭头函数，防止帧膨胀
- 使用 async/await 分割长调用链，让事件循环介入释放栈帧
