javascript - 理解 JavaScript 中的对象初始化器符号

Question

在sec 11.1.5在 ECMA-262 中，我们有对象声明符号:

ObjectLiteral :
    { }
    { PropertyNameAndValueList }
    { PropertyNameAndValueList , }
PropertyNameAndValueList :
    PropertyAssignment
    PropertyNameAndValueList , PropertyAssignment
PropertyAssignment :
    PropertyName : AssignmentExpression
    get PropertyName ( ) { FunctionBody }
    set PropertyName ( PropertySetParameterList ) { FunctionBody }
PropertyName :
    IdentifierName
    StringLiteral
    NumericLiteral
PropertySetParameterList :
    Identifier

好吧，考虑以下 ObjectLiteral:{prop: 'prop'}。因此我们有 {PropertyName: AssignmentExpression} 形式的文字。现在很明显 'prop' 是 AssignmentExpression。通过来自 sec 11.13 的定义, AssignmentExpression 是

AssignmentExpression :
    ConditionalExpression 
    LeftHandSideExpression = AssignmentExpression 
    LeftHandSideExpression AssignmentOperator AssignmentExpression

问题:

为什么 'prop' 是 AssignmentExpression？没有 AssignmentOperator 或 = 并且 'prop' 肯定不是 ConditionalExpression。

Answer 1

AssignmentExpression 几乎可以表示语言中的任何表达式，除了使用逗号运算符/标点符号的表达式。

基本上，产生式规则具有运算符优先级和结合性。

 AssignmentExpression 
 => ConditionalExpression                          (11.13)
  => LogicalORExpression                           (11.12)
   => LogicalANDExpression                         (11.11)
    => BitwiseORExpression                         (11.10)
     => BitwiseXORExpression                       (11.10)
      => BitwiseANDExpression                      (11.10)
       => EqualityExpression                       (11.10)
        => RelationalExpression                    (11.9)
         => ShiftExpression                        (11.8)
          => AdditiveExpression                    (11.7)
           => MultiplicativeExpression             (11.6)
            => UnaryExpression                     (11.5)
             => PostfixExpression                  (11.4)
              => LeftHandSideExpression            (11.3)
               => NewExpression                    (11.2)
                => MemberExpression                (11.2)
                 => PrimaryExpression              (11.2)
                  => Literal                       (11.1)
                   => StringLiteral                (7.8)
                    => ' SingleStringChars(opt) '  (7.8.4)

注意我们越深入，优先级越高。您可能已经知道 *优先级高于 +或 - ， 例如。在语法中指定优先级的一种非常常见的方法是为每一层运算符制定一个产生式规则，具体地说(例如)“加法表达式”是一个或多个由 + 分隔的“乘法表达式”。或 - .给定这样的规则，解析器必须先处理乘法子表达式，然后才能尝试生成加法或减法表达式。