递归与尾递归

166 阅读2分钟

递归

程序调用自身的编程技巧称为递归( recursion)。递归做为一种算法在程序设计语言中广泛应用。 一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法,它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解,递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算,大大地减少了程序的代码量。递归的能力在于用有限的语句来定义对象的无限集合。一般来说,递归需要有边界条件、递归前进段和递归返回段。当边界条件不满足时,递归前进;当边界条件满足时,递归返回。

函数调用会产生“调用记录”存放在栈中,当有函数返回时调用记录才会消失

'use strict'
//普通递归
function fact(n) {
  if(n < 0) return 0
  if(n == 0 || n == 1) return 1
  return n * fact(n-1)
}
//尾递归
function fact(n, result=1) {
  if(n < 0) return 0
  if(n == 0) return 1
  if(n == 1) return result
  return fact(n - 1, n * result)
} 

函数不断调用自身,且无返回,所以会不断新开栈存储结果,其后果就是数据多的时候会栈溢出

ES6 指定了正确的尾调用 (PTC)。对于 PTC,位于尾部位置的调用不得创建额外的堆栈帧。chrome的v8团队认为,尾递归调用是不会提升性能的,而chakra团队认为要实现这个,会降低性能。主要的引擎实现者(除了苹果之外)认为该特性有问题而拒绝实现。因为苹果公司不愿意删除PTC,所以ES6标准中就没删除这个属性

因此javascript尾递归名存实亡

提案地址: github.com/tc39/propos…