javascript 这段递归为什么会出现死循环

当一段JavaScript中的递归函数会出现死循环，通常是因为它违反了递归的基本原则：缺乏有效的终止条件、递归步骤错误、参数状态未改变。递归函数必须具有使递归向终止条件靠近的递归步骤，并在满足终止条件时停止调用自身。当递归调用没有逼近一个基线条件或状态未改变，该函数就会不断地调用自身，造成死循环，从而可能导致栈溢出错误。

接下来，我们将详细讨论这些可能导致递归进入死循环的原因，并通过示例解释它们。

一、理解递归和死循环

递归函数是一类调用自身的函数。在编写递归函数时，必须确保它具有基线条件，即能够在某些特定情况下不再调用自身，返回结果。而在递归的每次调用中，应该确保问题的规模在逐次递减，最终趋近于基线条件。

递归函数可能造成死循环的常见原因包括但不限于：

缺乏适当的基线条件（终止条件）。
错误的递归逻辑，没有正确接近基线条件。
参数状态未改变，因此递归调用在相同的状态之间无限循环。

二、基线条件缺失

基线条件是停止递归的关键。如果递归函数缺乏这个条件，那么它将无止境地调用自己。

例如，考虑一个试图计算数字n阶乘的递归函数。如果没有基线条件，函数可能会这样写：

function factorial(n) {
    return n * factorial(n - 1);
}

这个版本的 factorial 函数缺少基线条件来停止递归，因此对任何数字n的调用都会导致无限递归，最终导致栈溢出。

三、递归步骤错误

即使存在基线条件，错误的递归步骤也可能阻止递归逼近该条件。

继续上面的例子，即使我们添加一个基线条件，但是如果递归步骤处写错了，依旧可能会导致递归错误：

function factorial(n) {
    if (n === 0) {
        return 1;
    }
    // 我们错误地将 n 减去了 0，而不是 1。
    return n * factorial(n - 0);
}

在上述代码中，递归步骤没有将n逐步减小到0，这意味着函数永远达不到基线条件，从而形成死循环。

四、参数状态未改变

即便递归函数中包含基线条件，参数的状态如果在递归调用中未发生改变，同样会造成死循环。

比如，你有一个递归函数旨在遍历数组中的元素，如果你忘记在每一次递归调用时更新数组或索引，那么它将永远处理相同的数组元素：

function traverseArray(arr, index) {
    if (index >= arr.length) {
        return;
    }
    // 必须在这里增加 index 以避免死循环
    traverseArray(arr, index);
}
traverseArray([1, 2, 3], 0);

在上述代码中，index 始终为传入的初值0，因此 traverseArray 函数将会不断地尝试处理数组的第一个元素，导致无限递归。

五、综合修正递归函数

要修正递归函数以避免死循环，需要确保以上提到的每一项规则都得到遵守。我们来修正之前的递归遍历数组的例子：

function traverseArray(arr, index) {
    if (index >= arr.length) {
        // 基线条件，当索引超出数组长度时停止递归。
        return;
    }
    // 执行一些操作，比如打印当前元素
    console.log(arr[index]);
    // 正确的递归步骤，使参数状态发生改变。
    traverseArray(arr, index + 1);
}