本文探讨了javascript递归函数中一个常见的返回值丢失问题。当递归调用未显式返回其内部递归调用的结果时，最终的返回值可能无法传播到初始调用者，导致意外的`undefined`。文章通过具体代码示例，详细分析了问题根源，并提供了在递归调用前添加`return`关键字的解决方案，确保返回值沿调用栈正确回溯，从而实现预期的结果输出。
递归是编程中一种强大而优雅的技术，它允许函数通过调用自身来解决问题。在JavaScript中，递归函数广泛应用于处理树结构、遍历、数学计算等场景。然而，在使用递归时，开发者可能会遇到一个常见的困惑：为什么有时递归函数的最终返回值没有被正确捕获，反而得到了undefined？本文将深入探讨这一现象及其解决方案。
递归函数返回值丢失现象
让我们通过一个简单的logger函数来演示这个问题。这个函数旨在递归地递减一个数字，并在数字达到1时返回一个特定的字符串。我们期望通过console.log调用它时，能打印出最终的返回字符串。
function logger(number) {
// 基线条件：当number为1时，停止递归并返回一个字符串
if (number === 1) {
console.log(number);
return "This string should be logged when the function finishes";
}
// 递归步骤：打印当前数字，递减，然后再次调用自身
console.log(number);
number--;
logger(number); // 递归调用，但未显式返回其结果
}
console.log(logger(5));
// 预期输出：
// 5
// 4
// 3
// 2
// 1
// This string should be logged when the function finishes
// 实际输出：
// 5
// 4
// 3
// 2
// 1
// undefined从上面的输出可以看出，虽然数字按预期递减并打印，但最终的return字符串并未被console.log(logger(5))捕获，而是显示了undefined。然而，如果直接调用console.log(logger(1))，则会正确打印出字符串。这表明问题出在递归调用的过程中，当基线条件不是在第一次调用时满足时。
问题根源分析：返回值传播的断裂
要理解这个问题，我们需要追踪函数的调用栈。当logger(5)被调用时，它会依次调用logger(4)、logger(3)、logger(2)，直到logger(1)。
立即学习“Java免费学习笔记（深入）”；
- logger(1)：这是递归的基线条件。它会打印1，然后执行return "This string..."。这个字符串被返回给了调用它的logger(2)。
- logger(2)：它调用了logger(1)并接收了"This string..."。但是，logger(2)函数体中，在调用logger(number)之后，并没有明确的return语句来将这个接收到的值继续向上返回。JavaScript函数在没有显式return语句的情况下，会隐式地返回undefined。因此，logger(2)执行到最后，隐式地返回了undefined给调用它的logger(3)。
- 后续调用 (logger(3), logger(4), logger(5))：以此类推，logger(3)接收到logger(2)返回的undefined，但它自己也没有显式地return这个值，所以也隐式返回undefined。这个undefined会一直向上冒泡。
最终，console.log(logger(5))接收到的就是logger(5)的隐式返回值——undefined，导致了预期字符串的丢失。
解决方案：显式传递递归返回值
解决这个问题的关键在于确保每次递归调用都将其子调用的结果显式地return出去，从而将最终的返回值沿调用栈逐级传递到初始调用者。我们只需在递归调用前加上return关键字即可。
function logger(number) {
if (number === 1) {
console.log(number);
return "This string should be logged when the function finishes";
}
console.log(number);
number--;
return logger(number); // 关键改动：添加了 return
}
console.log(logger(5));
// 修正后输出：
// 5
// 4
// 3
// 2
// 1
// This string should be logged when the function finishes通过在logger(number)前添加return，当logger(1)返回字符串时，logger(2)会立即将这个字符串作为自己的返回值返回给logger(3)，这个过程会一直持续到logger(5)，最终将字符串成功传递给console.log。
实际应用案例：乘法持久性计算
为了更好地说明，我们来看一个更复杂的实际例子：计算一个数字的乘法持久性（Multiplication Persistence）。乘法持久性是指将一个数字的各位数字相乘，直到得到一个单数字为止，所需要的步数。
以下是一个未正确处理返回值的persistence函数示例：
function persistence(number, steps) {
// 初始化或递增步数
if (steps === undefined) {
steps = 0;
} else {
steps++;
}
// 基线条件：如果数字是单数字，则停止并返回结果
if (number.toString().length === 1) {
console.log(number);
console.log(`Number of steps: ${steps}`);
return "Calculation finished"; // 基线条件返回字符串
}
// 递归步骤：打印当前数字，计算各位数字乘积，然后递归调用
console.log(number);
// 使用 reduce 计算各位数字的乘积
const result = Number(
number
.toString()
.split('')
.reduce((acc, current) => acc * Number(current), 1) // 初始值设为1以正确处理乘法
);
persistence(result, steps); // 递归调用，但未返回其结果
}
console.log(persistence(5428));
/* 实际输出：
5428
320
0
Number of steps: 2
undefined
*/同样，即使基线条件返回了"Calculation finished"，由于递归调用persistence(result, steps)没有被return，最终console.log(persistence(5428))还是得到了undefined。
按照前面介绍的解决方案，我们只需要在递归调用前添加return：
function persistence(number, steps) {
if (steps === undefined) {
steps = 0;
} else {
steps++;
}
if (number.toString().length === 1) {
console.log(number);
console.log(`Number of steps: ${steps}`);
return "Calculation finished";
}
console.log(number);
const result = Number(
number
.toString()
.split('')
.reduce((acc, current) => acc * Number(current), 1)
);
return persistence(result, steps); // 关键改动：添加了 return
}
console.log(persistence(5428));
/* 修正后输出：
5428
320
0
Number of steps: 2
Calculation finished
*/现在，"Calculation finished"字符串被成功地返回并打印出来。
注意事项与总结
通过上述示例，我们可以得出结论：在JavaScript中编写递归函数时，如果希望函数最终返回一个在基线条件中生成的值，那么在非基线条件的递归调用中，务必使用return关键字来显式地将递归调用的结果传递出去。
核心要点：
- 基线条件 (Base Case)：定义递归何时停止并返回一个确定的值。这是递归的终点。
- 递归步骤 (Recursive Step)：在每次递归调用时，确保将子调用的结果通过return关键字传递回上一级调用。这是值传播的关键。
- 隐式返回值：如果函数没有显式return任何值，它将隐式返回undefined。这是导致问题发生的根本原因。
正确处理递归函数的返回值传播是编写健壮、可预测的递归代码的关键。掌握这一技巧，将帮助您避免常见的undefined陷阱，并更有效地利用递归解决复杂问题。
