第一个 next() 调用的参数在哪里？ [复制]

Question

我有一个简单的生成器函数

function *generate(arg) {
  console.log(arg)
  for(let i = 0; i < 3;i++) {
    console.log(yield i);
  }
}

然后我启动生成器并尝试在控制台中打印值：

var gen = generate('arg'); //doesn't print
gen.next('a'); // prints 'arg'
gen.next('b'); // prints 'b'
gen.next('c'); // prints 'c'
// ... nothing surprising later

第一个next() 调用的参数a 去哪儿了？有没有办法在生成器函数中使用它？

这是Babel REPL，您可以在其中看到该结果。

Answer 1

next方法定义如下：

25.3.1.2 Generator.prototype.next ( value )

next 方法执行以下步骤：

1. 让 g 为 this 值。
2. 返回GeneratorResume(g, 值)。

GeneratorResume 抽象操作在第 10 步使用 value：

25.3.3.3 GeneratorResume ( generator, value )

带有参数的抽象操作 GeneratorResume 和 value 执行以下步骤：

5. 让 genContext 为 generator 的 [[GeneratorContext]] internal slot 的值。

10. 使用 NormalCompletion(value) 作为操作的结果，恢复 genContext 的 suspended 评估 suspended它。令 result 为被恢复的返回值 计算。

第一种可能是使用yield（即"suspendedYield"状态）暂停了评估。

它的行为在14.4.14 Runtime Semantics: Evaluation中解释：

YieldExpression : yield

1. 返回GeneratorYield(CreateIterResultObject(未定义, 错误））。

（类似于YieldExpression：yieldAssignmentExpression）

GeneratorYield 抽象操作暂停生成器，如下所示：

1. 设置 genContext 的代码评估状态，以便在使用 Completion resumptionValue 恢复评估时 将执行以下步骤：

   1. 返回resumptionValue。
   2. 注意：这将返回到最初调用此抽象操作的 YieldExpression 产生式的评估。

所以作为第二个next 的参数传递的值被用作第一个yield 表达式的返回值。并且作为第三个next 的参数传递的值用作第二个yield 表达式的返回值。以此类推。

但是，也有可能生成器尚未启动（即"suspendedStart" 状态）。

这是由GeneratorStart抽象操作完成的：

4. 设置 genContext 的代码评估状态，以便在为 execution context 恢复评估时，以下内容 将执行的步骤：

但那些“后续步骤”不使用恢复值。

因此，作为第一个 next 的参数传递的值被丢弃。

Answer 2

不，您不能使用第一个值。如果您将代码更改为：

'use strict';
function *generate(arg) {
  console.log(arg)
  for(let i = 0; i < 3;i++) {
    console.log(yield i);
  }
  return 'done';
}

var gen = generate('arg');
console.log(gen.next('a'));
console.log(gen.next('b'));
console.log(gen.next('c'));
console.log(gen.next('d'));

当您实例化生成器时，它还没有开始执行并且没有任何记录。在第一个gen.next('a') 上，您运行到第一个产量，它通过生成器中的console.log(arg)，然后执行yield 0。然后在调用者中得到console.log，你得到{value: 0, done:false}，等等，直到你完成迭代。整体输出如下：

arg
{ value: 0, done: false }
b
{ value: 1, done: false }
c
{ value: 2, done: false }
d
{ value: 'done', done: true }

最后的done 是返回值，如果你在生成器上省略return，它将是undefined。