JavaScript 语法中有效的左侧表达式是什么？

Question

好的，我们都知道有效的左侧表达式是什么。有点像。*

但是，看看ECMA-Script 标准的定义，我很困惑：

LeftHandSideExpression :
    NewExpression
    CallExpression

这只是定义中的错误，还是我在这里弄错了？我的意思是，这实际上不是意味着

new Object = 1; // NewExpression AssignmentOperator PrimaryExpression
function () { return foo; }() = 1;// CallExpression AssignmentOperator PrimaryExpression

应该是有效的赋值表达式吗？

---

_{* 根据我的浅薄理解，这更有意义：}

LeftHandSideExpression :
    Identifier
    MemberExpression [ Expression ]
    MemberExpression . IdentifierName
    CallExpression [ Expression ]
    CallExpression . IdentifierName

Answer 1

这是另一种 JavaScript 语法，它仅匹配有效的 LeftHandSideExpressions，即实际可赋值的 LeftHandSideExpressions。

NewExpression :
    PrimaryExpression
    new NewExpressionQualifier Arguments
    new NewExpressionQualifier

NewExpressionQualifier :
    NewExpressionQualifier Qualifier
    NewExpression

CallExpression :
    NewExpression
    CallExpressionQualifier Arguments

CallExpressionQualifier :
    CallExpression
    CallExpressionQualifier Qualifier

LeftHandSideExpression :
    LeftHandSideExpression Qualifier
    CallExpression Qualifier
    Identifier
    ( LeftHandSideExpression )
    ( Expression , LeftHandSideExpression )

Qualifier :
    . IdentifierName
    [ Expression ]

关联的新或调用表达式的选择不明确的每个参数应与最近的可能的新表达式相关联，否则该新表达式将没有相应的参数。我认为这就是 JavaScript 语法中同时存在 NewExpression 和 MemberExpression 非终结符的原因之一。

Answer 2

为了简洁地回答您的问题，LeftHandSideExpression 产生式下面的所有内容都是有效的 LeftHandSideExpression。

---

我认为您真正要问的问题是：

什么是有效且可赋值的 LeftHandSideExpression？

答案是任何解析为Reference 的内容，这是规范中定义明确的概念。在您的示例中，

new Object = 1;

new Object 是有效的LeftHandSideExpression，但它不会解析为Reference。

(new Object).x = 1;

左侧是一个 MemberExpression 。 IdentifierName 根据规范，最后一步是：

返回引用类型的值...

---

如果您将其视为 2 个独立的属性，则更有意义。

1. 它是有效的 LeftHandSideExpression 吗？
2. 这是一个有效的参考吗？

属性1在句法分析阶段确定，属性2在语义分析阶段确定。查看8.7.2 PutValue (V, W)了解更多详细信息。

以下是规范本身的完整解释：

8.7 引用规范类型

引用类型用于解释删除、typeof 和赋值运算符等运算符的行为。例如，赋值的左侧操作数预计会产生引用。相反，赋值行为可以完全根据赋值运算符左侧操作数的语法形式的案例分析来解释，但有一个困难：允许函数调用返回引用。这种可能性纯粹是为了宿主对象而被承认的。本规范定义的内置 ECMAScript 函数没有返回引用，并且没有规定用户定义的函数可以返回引用。 （不使用语法案例分析的另一个原因是它会冗长且尴尬，影响规范的许多部分。）

---

在查看了您的建议后，我相信它会抛弃某些有效的表达式（注意：我不要容忍这种行为。）

function OuterObj() {
    this.Name = "Outer";
    this.InnerObj = function() {
        this.Name = "Inner";
    }
}

var obj; (obj = new new OuterObj().InnerObj).Name = "Assigned";

在这种情况下，NewExpression 很重要