ECMAScript 6中绑定函数是否支持正确的尾调用？

你观察得非常准确——在ECMAScript 2015规范中，绑定函数的[[Call]]内部逻辑确实省略了PrepareForTailCall()步骤，这直接导致它们无法触发正确的尾调用优化（TCO）。

为什么会这样？ #

尾调用优化的核心前提是PrepareForTailCall()步骤：它会清理当前函数的调用栈帧，让后续的尾调用可以复用栈空间，避免栈深度不断累积。而：

• Function.prototype.apply和Function.prototype.call的规范定义里明确包含了这个步骤，所以当你通过这两个方法进行尾调用时，引擎会执行TCO，不会产生额外的栈帧。
• 绑定函数的[[Call]]逻辑则是直接调用其目标函数，跳过了PrepareForTailCall()。这意味着每次递归调用绑定函数时，都会新增一个栈帧，随着递归深度增加，最终会触发栈溢出错误。

举个直观的例子 #

// 普通函数，用call做尾调用，支持TCO（在支持ES2015 TCO的引擎中不会栈溢出）
function normalRecurse(n) {
  if (n <= 0) return 0;
  return normalRecurse.call(this, n - 1);
}

// 绑定后的函数，递归自身会栈溢出
const boundRecurse = normalRecurse.bind(null);
function boundRecurseRun(n) {
  if (n <= 0) return 0;
  return boundRecurse(n - 1); // 尾调用，但无法触发TCO
}

// 测试：normalRecurse(100000) 可能正常运行；boundRecurseRun(100000) 会抛出栈溢出错误

简单来说，绑定函数的调用逻辑没有为尾调用优化预留空间，所以递归调用自身必然会耗尽栈内存。

内容的提问来源于stack exchange，提问作者cpcallen