本文深入探讨JavaScript递归函数中返回值传递的常见陷阱。当递归调用链深处的函数返回一个值时，若父级调用未显式地将其return，该值便会丢失。文章通过示例分析了为何在console.log中调用递归函数时，期望的返回值可能显示为undefined，并提供了解决方案：在递归调用前加上return关键字，确保返回值能逐层向上正确传递，从而避免数据丢失。
理解JavaScript递归函数中的返回值行为
在JavaScript中，函数如果没有明确的return语句，或者return语句没有指定返回值，它将隐式返回undefined。在处理递归函数时，这一特性尤其容易导致混淆，特别是当期望从递归调用的最深层获取一个特定值时。
考虑一个简单的递归函数logger，其目的是在特定条件下返回一个字符串，并使用console.log来观察其最终返回值：
function logger(number) {
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当我们调用console.log(logger(5))时，我们期望最终能够看到"This string should be logged when the function finishes"这个字符串。然而，实际的输出却以undefined告终。这表明，虽然递归链深处的logger(1)确实返回了该字符串，但它并没有被传递到最初的console.log调用处。
立即学习“Java免费学习笔记（深入）”；
返回值丢失的根源：缺少显式传递
造成上述现象的原因在于JavaScript函数的执行上下文和返回值传递机制。当logger(5)被调用时，它执行到logger(number);这一行。这里，logger(4)被调用，然后logger(3)，依此类推，直到logger(1)。
- logger(1)执行console.log(1)，然后return "..."。这个字符串被返回给调用它的logger(2)。
- logger(2)接收到logger(1)返回的字符串，但它并没有对这个值做任何处理。在logger(2)的执行流程中，logger(1)被调用后，logger(2)的函数体就结束了，并且因为它没有显式地return任何东西，logger(2)会隐式返回undefined给调用它的logger(3)。
- 这个undefined值会逐层向上冒泡，最终logger(5)也返回undefined给console.log。
因此，虽然最深层的递归调用产生了我们想要的结果，但这个结果在回溯调用栈的过程中被“遗弃”了，没有被其父级调用捕获并继续传递。
解决方案：确保递归调用的返回值被传递
要解决这个问题，关键在于确保递归调用的返回值能够逐层向上正确传递。这通过在递归调用前加上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
return 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 "This string should be logged when the function finishes"通过return logger(number);，当logger(number)返回一个值时，这个值会立即成为当前logger函数调用的返回值，并被传递给上一层的调用者。这样，来自logger(1)的字符串就可以逐层传递，最终到达最初的console.log(logger(5))调用处。
实际应用：乘法持久性函数
让我们将这个原理应用到实际的乘法持久性（Multiplication Persistence）计算函数中。这个函数的目标是计算一个数字需要经过多少次将其各位数字相乘的操作，才能变为一个单数字。
以下是原始的、存在返回值传递问题的代码：
function persistence(number, steps) {
if (steps === undefined) {
var steps = 0;
} else {
steps++;
}
if (number.toString().length === 1) {
console.log(number);
console.log(`Number of steps: ${steps}`);
return "Return this when the function finishes"; // 期望返回的字符串
}
console.log(number);
var result = Number(
number
.toString()
.split('')
.reduce((acc, current) => acc *= current)
);
// 问题所在：没有 return
persistence(result, steps);
}
console.log(persistence(5428));
/*
预期输出:
5428
320
0
Number of steps: 2
Return this when the function finishes
实际输出:
5428
320
0
Number of steps: 2
undefined
*/为了让"Return this when the function finishes"这个字符串能够被正确地返回和打印，我们需要在递归调用前加上return：
function persistence(number, steps) {
if (steps === undefined) {
var steps = 0;
} else {
steps++;
}
if (number.toString().length === 1) {
console.log(number);
console.log(`Number of steps: ${steps}`);
return "Return this when the function finishes"; // 期望返回的字符串
}
console.log(number);
var result = Number(
number
.toString()
.split('')
.reduce((acc, current) => acc *= current)
);
// 修正：确保递归调用的返回值被传递
return persistence(result, steps);
}
console.log(persistence(5428));
/*
实际输出:
5428
320
0
Number of steps: 2
Return this when the function finishes
*/现在，console.log(persistence(5428))将正确地打印出期望的字符串，因为persistence函数在每次递归调用时都将其子调用的结果返回给父调用，直至最初的调用。
总结与最佳实践
在JavaScript中编写递归函数时，理解返回值如何通过调用栈传递至关重要。以下是一些关键的注意事项和最佳实践：
- 显式返回递归结果： 如果递归调用的目的是为了计算或获取一个值，并将其作为当前函数调用的结果，那么务必在递归调用前加上return关键字，例如 return recursiveFunction(...)。
- 区分副作用与返回值： console.log等操作是副作用，它们在函数执行过程中发生，但不会影响函数的返回值。函数的返回值是函数执行的最终结果。
- 理解隐式undefined： 记住，如果函数没有显式return任何值，它将隐式返回undefined。在递归场景下，这可能导致深层返回的值被上层调用丢弃。
- 设计递归函数的返回值： 在设计递归函数时，清晰地规划每个递归层级应该返回什么，以及这些返回值如何组合或传递以形成最终结果。
遵循这些原则，可以有效避免在JavaScript递归函数中出现返回值丢失的问题，确保程序的逻辑正确性和可预测性。
