ES6 生成器函数中星号 (*) 的用途是什么

Question

有人可以向我解释一下：为什么 ES6 中的生成器函数用星号标记？

例如，而不是：

function *someGenerator() {
    yield 1;
    yield 2;
    yield 3;
}

我们可以这样写：

function someGenerator() {
    yield 1;
    yield 2;
    yield 3;
}

甚至：

var someGenerator = () => {
    yield 1;
    yield 2;
    yield 3;
}

var someObject = {

    someGenerator() {
        yield 1;
        yield 2;
        yield 3;
    }
}            

JS 编译器可以在解析时检测到someGenerator 包含yield 运算符，并从该函数生成一个生成器。

为什么检测到yield 存在还不够？

Answer 1

三个原因是：

1. 可读性。生成器与函数完全不同，并且差异应该立即可见（也就是说，无需检查整个实现以寻找产量）。

2. 一般性。自然应该可以编写不产生，只直接返回的生成器。此外，注释掉正文的一部分（例如用于调试）不应默默地改变某物是否是生成器。

3. 兼容性。只有严格模式保留 'yield' 作为关键字，但 ES6 的目标是所有新功能也可以在草率模式下使用（恕我直言，这是一个不幸的决定，但尽管如此）。此外，即使在严格模式下，“yield”也存在许多解析细节；例如，考虑默认参数：

   function* g(a = yield(2)) { 'use strict' }
   

   没有*，解析器只能在看到函数体之后才能决定如何解析yield。也就是说，您需要无限的前瞻、回溯或其他骇人听闻的技术来处理这个问题。

我应该注意到（1）和（2）已经足够了。

（完全披露：我是 EcmaScript 委员会的成员。）

Answer 2

不允许使用空生成器（没有主体）；那么unStarredFunc() 是否应该遵循生成器语义？

出于兼容性原因：

function yield(x) { return x };

function a() { 
    yield (4+1);
};

这在语法上是正确的，但调用 .next() 会导致错误，而添加星号来显式定义生成器会导致 .next().value === 5

在解析时检测 someGenerator 包含 yield 运算符

某些构造在解析时无法解析：

function someGenerator(i) { 
    if (glob) 
        return 4; 
    else 
        yield* anotherGen(i);
}

当然，从function* 的定义中可以更轻松地立即看出它是一个生成器，而无需挖掘其源代码来寻找产量。