理解ECMAScript规范（Part 2）额外内容

March 7, 2024

原文：https://v8.dev/blog/extras/understanding-ecmascript-part-2-extra

为什么 `o2.foo` 是 `AssignmentExpression`？

o2.foo 看起来不像是 AssignmentExpression，因为它没有赋值。
那么为什么它是一个 AssignmentExpression？

实际上，规范允许 AssignmentExpression 同时作为参数和赋值的右侧。例如：

function simple(a) {
  console.log('The argument was ' + a);
}
simple(x = 1);
// → Logs “The argument was 1”。
x;
// → 1

…此外…

x = y = 5;
x; // 5
y; // 5

o2.foo 是一个不赋值的 AssignmentExpression。
这遵循以下语法规则，每个规则取最“简单”的情況，直到最后一条规则：

一个 AssignmentExpression 不一定需要赋值，它也可以只是一个 ConditionalExpression：

AssignmentExpression : ConditionalExpression

（还有其他的规则，我们这里只展示相关的。）

一个 ConditionalExpression 不一定需要条件（a == b ? c : d），它也可以只是一个 ShortcircuitExpression：

ConditionalExpression : ShortCircuitExpression

以此类推：

ShortCircuitExpression : LogicalORExpression

LogicalORExpression : LogicalANDExpression

LogicalANDExpression : BitwiseORExpression

BitwiseORExpression : BitwiseXORExpression

BitwiseXORExpression : BitwiseANDExpression

BitwiseANDExpression : EqualityExpression

EqualityExpression : RelationalExpression

RelationalExpression : ShiftExpression

差不多就这些…

ShiftExpression : AdditiveExpression

AdditiveExpression : MultiplicativeExpression

MultiplicativeExpression : ExponentialExpression

ExponentialExpression : UnaryExpression

别绝望！再看几条规则……

UnaryExpression : UpdateExpression

UpdateExpression : LeftHandSideExpression

然后我们到达了 LeftHandSideExpression 的规则：

LeftHandSideExpression :
NewExpression
CallExpression
OptionalExpression

不清楚哪个规则可能适用于 o2.foo。
我们只需要知道（或找出）NewExpression 实际上不必有 new 关键词。

NewExpression : MemberExpression

MemberExpression 看起来像是我们正在找的东西，所以现在我们取这条规则

MemberExpression : MemberExpression . IdentifierName

因此，如果 o2 是一个有效的 MemberExpression，那么 o2.foo 就是一个 MemberExpression。幸运的是，这很容易看出：

MemberExpression : PrimaryExpression

PrimaryExpression : IdentifierReference

IdentifierReference : Identifier

o2 肯定是一个 Identifier，所以很不错的。
o2 是一个 MemberExpression，所以 o2.foo 也是一个 MemberExpression。
一个 MemberExpression 是一个有效的 AssignmentExpression，所以 o2.foo 也是一个 AssignmentExpression。

←Back to home

This work is licensed under CC BY-NC-SA 4.0