JavaScript简餐——函数尾调用优化

---

前言

写本《JavaScript简餐》系列文章的目的是记录在阅读学习《JavaScript高级程序设计（第4版）》一书时出现的各个知识点。虽是对读书的笔记和总结，但是希望它轻量、简洁、犀利，不会引起阅读疲劳，可以在碎片化时间和闲暇之余轻巧地沐浴一下知识点。每篇文章只针对一个小部分进行讲解式的梳理，来达到个人复习总结和分享知识的目的。

---

一、认识尾调用优化

ECMAScript6规范新增了一项内存管理优化机制，让JavaScript引擎在满足条件时可以重用栈帧。而这项优化非常适合尾调用，即外部函数的返回值是一个内部函数的返回值。例如：

function Function_A() {
   
  return Function_B(); // 尾调用
}

在ES6优化之前，执行这个例子会在内存中发生如下操作：

1. 执行到Function_A函数体，第一个栈帧被推到栈上。
2. 执行到Function_A的return处时必须先计算Function_B。
3. 执行到Function_B函数体，第二个栈帧被推到栈上。
4. Function_B计算返回值。
5. Function_B将返回值传回Function_A，然后Function_A返回最终值。
6. 将栈帧弹出栈外。

而在ES6优化之后，执行这个例子会在内存中发生如下操作：

1. 执行到Function_A函数体，第一个栈帧被推到栈上。
2. 执行到Function_A的return处时必须先计算Function_B。
3. 引擎发现此时把第一个栈帧弹出栈外也没有问题，因为Function_B的返回值也是Function_A的返回值。
4. 弹出Function_A的栈帧。
5. 执行到Function_B函数体，栈帧被推到栈上。
6. 执行Function_B函数体，计算其返回值。
7. 将Function_B的栈帧弹出栈外。

很明显，第一种情况下每多调用一次嵌套函数，就会多增加一个栈帧。而第二种情况下无论调用多少次嵌套函数，都只有一个栈帧。这就是ES6尾调用优化的关键：如果函数的逻