这里有两个相当不同的问题:
- Node.js 是否有 TCO?
- 这个神奇的 yield 东西在 Node.js 中是如何工作的?
Node.js 是否有 TCO?
TL;DR:不再是,从 Node 8.x 开始。它有一段时间,在一个或另一个标志背后,但在撰写本文时(2017 年 11 月),它不再支持,因为它使用的底层 V8 JavaScript 引擎不再支持 TCO。有关更多信息,请参阅此答案。
细节:
尾调用优化 (TCO) 是ES2015(“ES6”)规范的必需部分。因此,直接支持它并不是 NodeJS 的事情,而是 NodeJS 使用的 V8 JavaScript 引擎需要支持的东西。
从 Node 8.x 开始,V8 不支持 TCO,甚至不支持。它可能会(再次)在未来的某个时候这样做;有关更多信息,请参阅此答案。
Node 7.10 至少降到 6.5.0(我的笔记说 6.2,但node.green不同意)仅在严格模式下支持标记后面的 TCO(--harmony
在 6.6.0 及更高--harmony_tailcalls
版本中,更早版本)。
如果你想检查你的安装,这里是node.green使用的测试(如果你使用的是相关版本,请务必使用该标志):
function direct() {
"use strict";
return (function f(n){
if (n <= 0) {
return "foo";
}
return f(n - 1);
}(1e6)) === "foo";
}
function mutual() {
"use strict";
function f(n){
if (n <= 0) {
return "foo";
}
return g(n - 1);
}
function g(n){
if (n <= 0) {
return "bar";
}
return f(n - 1);
}
return f(1e6) === "foo" && f(1e6+1) === "bar";
}
console.log(direct());
console.log(mutual());
$ # 只有某些版本的 Node,特别是 8.x 或(目前)9.x 不是;往上看
$ node --harmony tco.js
真的
真的
这个神奇的yield
东西在 Node.js 中是如何工作的?
这是 ES2015 的另一个东西(“生成器函数”),所以这也是 V8 必须实现的东西。它在 Node 6.6.0 的 V8 版本中完全实现(并且已经用于多个版本)并且没有任何标志。
生成器函数(用function*
和 using编写的yield
)通过能够停止并返回一个迭代器来工作,该迭代器捕获它们的状态,并可用于在随后的情况下继续它们的状态。亚历克斯Rauschmeyer对他们进行了深入的文章在这里。
这是一个显式使用生成器函数返回的迭代器的示例,但您通常不会这样做,我们稍后会看到原因:
"use strict";
function* counter(from, to) {
let n = from;
do {
yield n;
}
while (++n < to);
}
let it = counter(0, 5);
for (let state = it.next(); !state.done; state = it.next()) {
console.log(state.value);
}
有这个输出:
0
1
2
3
4
这是它的工作原理:
- 当我们调用
counter
( let it = counter(0, 5);
) 时,调用的初始内部状态counter
被初始化,我们立即得到一个迭代器;没有counter
运行中的实际代码(还)。
- Calling
it.next()
将代码counter
向上运行到第一个yield
语句。此时,counter
暂停并存储其内部状态。it.next()
返回一个带有done
标志和value
. 如果done
标志为false
,value
则为yield
语句产生的值。
- 每次调用都会将
it.next()
内部状态推进counter
到下一个yield
.
- 当调用
it.next()
使counter
完成并返回时,我们返回的状态对象已done
设置为true
并value
设置为 的返回值counter
。
拥有迭代器和状态对象的变量以及调用it.next()
和访问done
和value
属性都是样板文件,(通常)会妨碍我们尝试做的事情,因此 ES2015 提供了新的for-of
语句,将其全部隐藏起来我们,只是给我们每一个value。这是上面写的相同代码for-of
:
"use strict";
function* counter(from, to) {
let n = from;
do {
yield n;
}
while (++n < to);
}
for (let v of counter(0, 5)) {
console.log(v);
}
v
对应state.value
于我们之前的示例,为我们for-of
执行所有it.next()
调用和done
检查。