关于ES6尾调用优化的使用


Posted in Javascript onSeptember 11, 2020

ES6包含了一个性能领域的特殊要求。这与一个涉及函数调用的特定优化形式相关:即尾调用优化(Tail Call Optimization,TCO)。简单地说,尾调用就是一个出现在另一个函数“结尾”处的函数调用。这个调用结束之后就没有其余事情要做了(除了可能要返回结果值)

什么尾调用

举个例子,下面是一个非递归的尾调用:

function foo(x) {
 return x
}

// 尾调用
function bar(y) {
 return foo(y + 1)
}

// 非尾调用
function baz() {
 return 1 + bar(40)
}

baz()  // 输出42

说明: foo(y+1) 是 bar(...) 中的尾调用,因为在 foo(...) 完成后, bar(...) 也完成了,并且只需要返回 foo(...) 调用的结果。然而, bar(40) 不是尾调用,因为在它完成后,它的结果需要加上1才能由 baz() 返回。

在JavaScript里,调用一个新的函数需要额外的一块预留内容来管理调用栈,成为栈帧。所以前面的代码一般会同时需要为每个 baz() 、 bar(...) 、 foo(...) 保留一个栈帧。

然而,如果支持TCO的引擎能够意识到 foo(y+1) 调用位于尾部,这意味着 bar(...) 基本上已经完成了,那么在调用 foo(...) 时,它就不需要创建一个新的帧栈,而是可以重用已有的 bar(...) 的帧栈。这样不仅速度快,而且节省内存。

什么是尾递归

在计算机科学里,尾调用是指一个函数里的最后一个动作是一个函数调用的情形:即这个调用的返回值直接被当前函数返回的情形。这种情形下称该调用位置为尾位置。若这个函数在尾位置调用本身(或是一个尾调用本身的其他函数等等),则称这种情况为尾递归,是递归的一种特殊情形。尾调用不一定是递归调用,但是尾递归特别有用,也比较容易实现。

TCO的意义

在程序运行时,计算机会为应用程序分配一定的内存空间;应用程序则会自行分配所获得的内存空间,其中一部分被用于记录程序中正在调用的各个函数的运行情况,这就是函数的调用栈。常规的函数调用总是会在调用栈最上层添加一个新的堆栈帧(stack frame,也翻译为“栈帧”或简称为“帧”),这个过程被称作“入栈”或“压栈”(意即把新的帧压在栈顶)。当函数的调用层数非常多时,调用栈会消耗不少内存,甚至会撑爆内存空间(栈溢出),造成程序严重卡顿或意外崩溃。尾调用的调用栈则特别易于优化,从而可减少内存空间的使用,也能提高运行速度。其中,对尾递归情形的优化效果最为明显,尤其是递归算法非常复杂的情形。

在简单的代码片段中,这类优化算不了什么,但是在处理递归时,这就解决了大问题,特别是如果递归可能会导致成千上百个栈帧的时候。有了TCO,引擎可以用同一个栈帧执行所有的这类调用!

递归是 JavaScript 中一个纷繁复杂的主题。因为如果没有TCO的话,引擎需要实现一个随意的限制来界定递归栈的深度,达到了就得停止,以防止内存耗尽。有了TCO,尾调用的递归函数本质上就可以任意运行,因为再也不需要使用额外的内存,也没有了内存溢出的问题。

下面用尾递归实现一个典型的阶乘函数:

// 用循环实现
function factorial(n) {
 if (n<2) return 1

 var res = 1
 for (var i = n; i > 1; i--) {
  res *= i
 }
 return res
}

// 用尾递归实现
function factorial(n) {
 function fact(n, res) {
  if (n < 2) return res 
  return fact(n-1, n*res)
 }
 return fact(n, 1)
}

factorial(5)  // 输出120

注意:TCO只用于有实际的尾调用的情况,如果你写了一个没有尾递调用的函数,那么性能还是会回到普通帧栈分配的情形,引擎对这样的递归调用栈的限制也仍然有效。

总结

一般来说,尾调用消除是可选的,可以用,也可以不用。然而,在函数编程语言中,语言标准通常会要求编译器或运行平台实现尾调用消除。这让程序员可以用递归取代循环而不丧失性能。ES6之所以要求引擎实现TCO而不是将其留给引擎自由决定,一个原因是缺乏TCO会导致一些JavaScript算法因为害怕调用栈限制而降低了通过递归实现的概率。

如果在所有的情况下引擎缺乏TCO只是降低了性能,那它就不会成为ES6所要求的东西。但是,由于缺乏TCO确实可以使一些程序变得无法实现,所以它就成为了一个重要的语言特性而不是隐藏的实现细节。ES6确保了JavaScript开发者从现在开始可以在所有符合ES6+的浏览器中依赖这个优化。这对JavaScript性能来说是一个胜利。

参考文献

《你不知道的JavaScript-中卷》

到此这篇关于关于ES6尾调用优化的使用的文章就介绍到这了,更多相关ES6尾调用优化内容请搜索三水点靠木以前的文章或继续浏览下面的相关文章希望大家以后多多支持三水点靠木!

Javascript 相关文章推荐
js同时按下两个方向键
Dec 01 Javascript
jQuery中Ajax的load方法详解
Jan 14 Javascript
JS实现表格数据各种搜索功能的方法
Mar 03 Javascript
Jquery注册事件实现方法
May 18 Javascript
JavaScript中的toLocaleLowerCase()方法使用详解
Jun 06 Javascript
整理Javascript流程控制语句学习笔记
Nov 29 Javascript
jquery.masonry瀑布流效果
May 25 jQuery
ionic3+Angular4实现接口请求及本地json文件读取示例
Oct 11 Javascript
Vue.js devtool插件安装后无法使用的解决办法
Nov 27 Javascript
vue调试工具vue-devtools安装及使用方法
Nov 07 Javascript
jQuery内容过滤选择器与子元素过滤选择器用法实例分析
Feb 20 jQuery
使用p5.js临摹动态图形
Oct 23 Javascript
在js文件中引入(调用)另一个js文件的三种方法
Sep 11 #Javascript
Vue项目开发常见问题和解决方案总结
Sep 11 #Javascript
JavaScript实现简单日历效果
Sep 11 #Javascript
vue $mount 和 el的区别说明
Sep 11 #Javascript
JavaScript 判断数据类型的4种方法
Sep 11 #Javascript
jQuery实现日历效果
Sep 11 #jQuery
JS实现密码框效果
Sep 10 #Javascript
You might like
PHP+MYSQL的文章管理系统(一)
2006/10/09 PHP
phpwind中的数据库操作类
2007/01/02 PHP
20个2014年最优秀的PHP框架回顾
2014/10/22 PHP
php利用反射实现插件机制的方法
2015/03/14 PHP
IE event.srcElement和FF event.target 功能比较
2010/03/01 Javascript
《JavaScript高级程序设计》阅读笔记(三) ECMAScript中的引用类型
2012/02/27 Javascript
jquery无缝向上滚动实现代码
2013/03/29 Javascript
基于JQuery实现的Select级联
2014/01/27 Javascript
jQuery实现百叶窗焦点图动画效果代码分享(附源码下载)
2016/03/14 Javascript
jQuery animate和CSS3相结合实现缓动追逐效果附源码下载
2016/04/18 Javascript
javascript的document中的动态添加标签实现方法
2016/10/24 Javascript
详解Angular.js的$q.defer()服务异步处理
2016/11/06 Javascript
Jqprint实现页面打印
2017/01/06 Javascript
bootstrap自定义样式之bootstrap实现侧边导航栏功能
2018/09/10 Javascript
React父子组件间的传值的方法
2018/11/13 Javascript
基于Three.js实现360度全景图片
2018/12/30 Javascript
详解小程序如何改变onLoad的执行时机
2019/11/01 Javascript
单线程JavaScript实现异步过程详解
2020/05/19 Javascript
详解Vue.js 响应接口
2020/07/04 Javascript
python解析xml文件操作实例
2014/10/05 Python
python判断数字是否是超级素数幂
2018/09/27 Python
Python空间数据处理之GDAL读写遥感图像
2019/08/01 Python
Python 寻找局部最高点的实现
2019/12/05 Python
关于numpy数组轴的使用详解
2019/12/05 Python
Python使用正则表达式实现爬虫数据抽取
2020/08/17 Python
HTML5 placeholder属性详解
2016/06/22 HTML / CSS
Superdry极度乾燥官网:日本街头风格,纯英国制造品牌
2016/10/31 全球购物
什么是serialVersionUID
2016/03/04 面试题
培训督导岗位职责
2015/04/10 职场文书
芙蓉镇观后感
2015/06/10 职场文书
2016年三严三实党课学习心得体会
2016/01/06 职场文书
2016年基层党支部书记公开承诺书
2016/03/25 职场文书
责任书格式
2019/04/18 职场文书
浅谈PHP7中的一些小技巧
2021/05/29 PHP
MySQL 数据恢复的多种方法汇总
2021/06/21 MySQL
Python编写冷笑话生成器
2022/04/20 Python