在JavaScript递归函数中，一个常见的陷阱是基线条件返回的值未被中间递归调用正确传递，导致最终外部调用接收到`undefined`。本文将深入探讨此现象的原理，并通过示例代码演示如何通过在递归调用前添加`return`关键字，确保返回值沿调用栈逐级向上，从而解决返回值丢失的问题，实现预期的函数行为。
递归函数中返回值丢失的现象
在JavaScript中，当一个函数被调用时，它会执行其内部的代码。如果函数没有明确地使用return语句返回一个值，那么它将隐式地返回undefined。在递归函数的场景下，这一点尤为重要，因为它可能导致预期的返回值在递归调用链中丢失。
考虑以下一个简单的递归函数logger，它旨在从一个给定数字递减到1，并在达到1时返回一个特定的字符串：
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)) 时，我们观察到的输出是 5 4 3 2 1 undefined。尽管当 number 为 1 时，logger 函数确实返回了字符串，但这个字符串并没有被最终的 console.log(logger(5)) 捕获。
立即学习“Java免费学习笔记（深入）”；
问题根源：返回值未被传播
这个问题的核心在于，虽然最深层的递归调用（即 logger(1)）返回了字符串，但其上一层的调用（logger(2)）并没有捕获并重新返回这个值。
让我们跟踪 logger(5) 的调用栈：
- logger(5) 被调用。
- console.log(5) 执行。
- logger(4) 被调用。logger(5) 不等待 logger(4) 的返回值，也不返回任何东西。
- logger(4) 被调用。
- console.log(4) 执行。
- logger(3) 被调用。logger(4) 不等待 logger(3) 的返回值，也不返回任何东西。
- ...
- logger(2) 被调用。
- console.log(2) 执行。
- logger(1) 被调用。logger(2) 不等待 logger(1) 的返回值，也不返回任何东西。
- logger(1) 被调用。
- console.log(1) 执行。
- logger(1) 返回 "this string should be logged when the function finishes"。
- 这个返回值被 logger(2) 接收到，但 logger(2) 并没有对它做任何处理，并且 logger(2) 自身也没有显式地返回任何值，因此 logger(2) 隐式地返回 undefined。
- 同样的逻辑向上传播，logger(3) 接收到 undefined，并返回 undefined。
- 最终，最初的 logger(5) 调用接收到 undefined，并将其返回给 console.log。
因此，字符串值在 logger(1) 处产生后，没有沿着调用栈向上“冒泡”到最初的调用点。
解决方案：显式地传播返回值
要解决这个问题，我们需要确保在递归调用中，每个函数都将它所调用的子函数的返回值，或者自身计算出的最终结果，显式地返回。这意味着在递归调用前加上 return 关键字。
修改后的 logger 函数如下：
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);
}
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(1) 返回字符串时，logger(2) 会捕获这个字符串并将其作为自己的返回值。这个过程会一直向上重复，直到最初的 logger(5) 调用，它最终会返回 logger(1) 生成的字符串。
应用到更复杂的递归场景：乘法持久性
同样的原理也适用于更复杂的递归函数，例如计算一个数字的“乘法持久性”（Multiplication Persistence）。乘法持久性是指将一个数的各位数字相乘，直到得到一个单数为止，所需的步数。
以下是原始的 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, 1) // 初始值应为1以避免0乘
);
// 递归调用，但没有返回结果
persistence(result, steps);
}
console.log(persistence(5428));
/*
5428
320
0
number of steps: 2
undefined
*/
// 期望在最后输出 "return this when the function finishes"，但实际是 undefined为了确保最终的字符串能够被 console.log(persistence(5428)) 捕获，我们需要在递归调用 persistence(result, steps) 前加上 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, 1) // 初始值应为1以避免0乘
);
// 显式地返回递归调用的结果
return persistence(result, steps);
}
console.log(persistence(5428));
/*
5428
320
0
number of steps: 2
return this when the function finishes
*/现在，persistence(5428) 的输出包含了预期的最终字符串。
注意事项与总结
- 返回值传播是递归的关键： 在设计递归函数时，如果函数的最终结果依赖于基线条件的返回值，或者需要将中间计算结果传递给上层调用，那么必须确保每个递归调用都显式地 return 其子调用的结果。
- 区分副作用和返回值： 如果递归函数的主要目的是执行某些操作（如打印到控制台、修改外部状态），而不是返回一个计算结果，那么可能不需要显式地传播返回值。但在本教程的例子中，函数既有副作用（console.log）又有期望的返回值。
- 尾递归优化（TCO）： 某些语言和JavaScript引擎在特定条件下支持尾递归优化，可以减少栈深度。然而，这通常不改变返回值必须被传播的原则。
- 代码可读性： 明确的 return 语句使得函数的行为更加清晰，易于理解。
通过理解并正确应用 return 关键字在递归函数中的作用，开发者可以避免常见的返回值丢失问题，确保递归函数按预期工作，并提高代码的健壮性和可读性。
