递归实现GCD函数返回值始终为undefined问题求助

你遇到的问题核心是：递归调用时没有返回递归函数的执行结果，导致上层函数无法获取到下层计算出的最大公约数，最终整个函数返回undefined。

原代码的问题点 #

看你代码里的else分支最后一行：

gcdRec(a, b)

这里你只是调用了递归函数，但没有把它的返回值传递回去。当程序进入这个分支时，执行完递归调用后，函数没有任何return语句，所以默认返回undefined——哪怕递归深处已经算出了正确结果，也没法传递到最外层的调用。

而你在if (a % b === 0)分支里用console.log能正常打印，是因为那时候确实找到了终止条件的结果，但这个结果只在当前函数作用域里，没有通过return传递给上层调用者。

修复后的代码 #

只需要在递归调用前加上return，把下层的结果传递回来：

let a = 6
let b = 4
var gcd = gcdRec(a, b)
console.log(gcd) // 现在会输出2
function gcdRec(a, b) {
 var gcd = 0
 if (a % b === 0) {
 gcd = b
 return gcd
 } else {
 var temp = b
 b = a % b
 a = temp
 if (b === 0) {
 gcd = a
 return gcd
 }
 // 关键：这里要return递归调用的结果
 return gcdRec(a, b)
 }
}

额外优化建议 #

其实你的代码里var gcd = 0这个变量是多余的，可以直接返回对应的值，让代码更简洁，也更贴合欧几里得算法的标准逻辑：

let a = 6
let b = 4
var gcd = gcdRec(a, b)
console.log(gcd)
function gcdRec(a, b) {
 // 标准终止条件：当b为0时，a就是最大公约数
 if (b === 0) {
 return a
 }
 // 递归计算gcd(b, a%b)
 return gcdRec(b, a % b)
}

这种写法去掉了冗余变量，逻辑更清晰，也不容易出现返回值遗漏的问题。

内容的提问来源于stack exchange，提问作者user13846963