下面的代码...
假设 yield 在生成器函数内部，并且定义了 something 和 else 等。

const value = something || yield else();

...在 V8(Chrome 或 Nodejs)中生成以下内容:

                const start = initial || yield wait();
                                         ^^^^^
SyntaxError: Unexpected strict mode reserved word

...在 Firefox 中是这样的:

SyntaxError: yield is a reserved identifier

我首先在 bluebird 中注意到这一点coroutine我在写作。解决方法是将 yield wait() 括在括号中。

这个错误发生在解析时而不是执行时；所以，我的第一个假设是，这是因为这里存在句法歧义。我看了the yield keyword定义为:

[rv] = yield [expression];

yield 接受一个表达式并返回一个值。如果没有 || (OR) 运算符，这不会发生，因为 const value = yield else();;所以，我看了operator precedence . || (OR) 运算符在 5 处在 yield 运算符之前在 2 处进行评估。优先级看起来不错。

看起来 || (OR) 运算符在两边都需要一个表达式，而我假设 yield [expression] 是一个表达，也许那不是真的？为什么我需要将该部分括在括号中以使其显式成为一个表达式？什么可以 || yield 含糊不清？我确定我只是想念它；或者，这是否有一些偷偷摸摸的/更深层的原因？

这个问题也是出了名的难以搜索，所以希望我没有在这里作弊。

(如果您愿意，可以使用这个 Plunker https://plnkr.co/edit/rNidnFuyIOFkRkkcyWRV 来使错误发生。)

谢谢!

最佳答案

如果你想弄清楚语法规则，你必须look at the spec .

A LogicalOrExpression定义为

LogicalANDExpression:
  BitwiseORExpression
  LogicalANDExpression && BitwiseORExpression

LogicalORExpression:
  LogicalANDExpression
  LogicalORExpression || LogicalANDExpression

LogicalANDExpression 只能包含BitwiseORExpression。但是 YieldExpression 不是 BitwiseORExpression，它是 AssignmentExpression :

AssignmentExpression:
  ConditionalExpression
  [+Yield] YieldExpression
  ArrowFunction
  LeftHandSideExpression = AssignmentExpression 
  LeftHandSideExpression AssignmentOperatorAssignmentExpression

基本上它在表达式层次结构中处于较高位置:

                 +--------------------------+                
                 |   AssignmentExpression   |                
                 +--------------------------+                
                               ^                             
                               |                             
              +----------------+---------------+             
              |                                |             
              |                                |             
+--------------------------+     +--------------------------+
|  ConditionalExpression   |     |     YieldExpression      |
+--------------------------+     +--------------------------+
              ^                                              
              |                                              
              |                                              
+--------------------------+                                 
|   LogicalORExpression    |                                 
+--------------------------+                                 
              ^                                              
              |                                              
              |                                              
+--------------------------+                                 
|   LogicalANDExpression   |                                 
+--------------------------+                                 
              ^                                              
              |                                              
              |                                              
+--------------------------+                                 
|   BitwiseORExpression    |                                 
+--------------------------+   

为什么语法以这种方式构造的可能解释是 yield 也是一个有效的标识符名称(在生成器或 yield 表达式之外)。但有关更多详细信息，您可能想在 https://esdiscuss.org/ 上询问.

关于javascript - 需要在 OR 赋值中的 yield 表达式周围加上括号的确切句法歧义是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/43458213/