【JavaScript】浅析递归函数

前言

递归函数 通常的形式是一个函数通过名称调用自己，最经典的例子是 阶乘函数。

function factorial (num) {
  if (num <= 1) {
    return 1
  } else {
    return num * factorial(num - 1)
  }
}
console.log(factorial(5)) // 120

阶乘函数紧密耦合

阶乘函数一般定义成递归调用实现。
上面的例子中，若对 factorial 变量重新赋值为 null，则执行下列代码在 return num * factorial(num - 1) 这一行会报错。因为 factorial 函数中必须保证函数名是 factorial，导致了紧密耦合。

function factorial (num) {
  if (num <= 1) {
    return 1
  } else {
    return num * factorial(num - 1)
  }
}
let someFactorial = factorial
factorial = null
console.log(someFactorial(5)) // Uncaught TypeError: factorial is not a function

阶乘函数解耦

使用 arguments.callee 就可以让函数逻辑与函数名解耦。

function factorial (num) {
  if (num <= 1) {
    return 1
  } else {
    return num * arguments.callee(num - 1)
  }
}

阶乘函数严格模式解耦

但是，在严格模式下不能访问 arguments.callee，此时可以使用命名函数表达式实现

const factorial = (function f (num) {
  if (num <= 1) {
    return 1
  } else {
    return num * f(num - 1)
  }
})

阶乘函数尾调用优化

ECMAScript 6 规范新增了一项内存管理优化机制，让 JavaScript 引擎在满足条件时可以重用栈帧。即可以实现尾调用。

const factorial = (function f (num, total) {
  if (num <= 1) {
    return total
  } else {
    return f(num - 1, num * total)
  }
})
factorial(5, 1)

总结

• arguments.callee 是一个指向正在执行的函数的指针，故可以在函数内部递归调用。
• 尾调用 即外部函数的返回值是一个内部函数的返回值。
• 函数名在 ECMAScript 中是变量，可以设置属性，故拥有属性 length、prototype、方法 apply、call、bind。
• 函数名是指向函数的指针，这意味着一个函数可以有多个名称，即一个函数可以有多个指向改函数的指针（函数名）。
• 定义相同函数名的函数，后者会覆盖前者，故 ECMAScript 中没有函数重载。