基准情形是递归函数中防止无限调用、避免栈溢出的必要条件，必须独立于递归调用、无需分解、对某组输入立即返回；常见错误包括浮点数精度问题、边界遗漏、符号错误；验证需通过最小输入推演、临界路径测试和日志观察。
基准情形是递归函数中停止调用自身的明确条件，它不是可选的“优化项”，而是防止无限调用、避免 RangeError: Maximum call stack size exceeded 的必要防线。
基准情形的本质特征
它必须满足三个条件：独立于递归调用、无需进一步分解、在某组输入下能立即返回值。比如计算阶乘时，n === 0 或 n === 1 就是天然的基准——此时结果确定为 1，不再依赖 factorial(n-1)。
- 不能是模糊判断（如
n 却未覆盖所有分支） - 不能依赖外部状态（如全局变量或异步结果），否则可能跳过或失效
- 对每个合法输入路径都应可达；若存在某条调用链永远绕开该条件，就会栈溢出
常见基准误判场景
很多栈溢出错误其实源于基准写得“看起来合理”，实则逻辑漏洞。
- 浮点数比较：用
n === 1.5作基准，但递归中传入的是n - 0.5，因精度问题可能永远不等于 1.5 - 边界遗漏：数组扁平化中只检查
Array.isArray(item)，却没处理null、undefined或循环引用对象，导致递归无法终止 - 符号错误：阶乘写成
if (n 是对的，但若误写为 <code>if (n >= 0)，正数输入就再也不会触发退出
验证基准是否可靠的方法
不要只靠“感觉”，而要用最小输入和最坏路径测试。
- 手动推演两层调用：例如
factorial(2)→factorial(1)→ 立即返回，确认第二层就命中基准 - 反向构造临界输入：对树遍历，构造只有 1 层深的叶子节点，看是否不进入子节点递归
- 加日志临时观察：在基准判断前打印当前参数，运行时确认它确实在某个时刻被触发，而非被跳过
增强鲁棒性的辅助手段
即使基准正确，深层递归仍可能溢出。可叠加防御性设计：
- 添加深度计数参数，到达阈值（如 1000）强制返回或抛出自定义错误
- 对输入做预检：如
if (n > 10000) throw new Error('Input too large for recursion') - 在开发环境启用严格模式，并配合 ESLint 规则（如
no-unmodified-loop-condition）捕获可疑递归结构
