前言
递归函数
通常的形式是一个函数通过名称调用自己,最经典的例子是 阶乘函数
。
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
中没有函数重载。