为什么“new Date（）.toString（）”在给定Javascript运算符优先级的情况下有效？

Question

MDN指出，Javcript中有两个运算符具有最高的优先级：

• 左关联成员运算符：foo.bar
• 右关联的新运算符：new Foo（）

我通常会显式地将两者分开：（newdate（））。toString（）
但我经常看到这两种方法结合在一起：newdate（）。toString（）

根据这个答案，第二种方法起作用的原因是，当两个操作符的优先级相等时，第二个操作符的结合性才是重要的。在这种情况下，成员运算符是左关联的，这意味着首先计算new Date（）。

然而，如果是这样的话，那么为什么newdate。toString（）失败？毕竟，newdate只是newdate（）的语法糖。上面的论点说它应该有效，但显然不行。

我错过了什么？

Answer 1

我是写“用不同关联性和相同优先级的相邻运算符消除表达式歧义”的问题和答案的人，当我写这篇文章时，我脑子里没有JavaScript。

我考虑的语言是Haskell，这是一种函数式编程语言。这种语言中的运算符只是函数，更容易推理。然而，我写答案的方式没有假设任何编程语言。

另一方面，JavaScript是一种传统的编程语言，JavaScript中的表达式是基于复杂的解析规则来消除歧义的，这些解析规则与Haskell使用的解析规则非常不同。

特别是JavaScript解析规则似乎很贪婪。例如，以您的第一个示例为例：

new Date().toString()

此处Date之后的函数调用屏蔽了成员操作员发出的Date。因此，贪婪的new仍然只能在Date而不是Date（）上操作。toString。因此，我们有：

((new Date()).toString)()

在第二个例子中，我们有：

new Date.toString()

这里在Date之后没有函数调用来屏蔽成员操作符。因此，new，贪婪地在表达式日期操作。toString。因此，我们有：

(new (Date.toString))()

@thg435的回答支持这一说法。重点是，我讨论的是一个正式的系统，它与JavaScript解析器实现的系统完全不同。我所讨论的正式系统将运算符和操作数都视为第一类值。

Answer 2

语法是

MemberExpression :
    PrimaryExpression
    FunctionExpression
    MemberExpression [ Expression ]
    MemberExpression . IdentifierName
    new MemberExpression Arguments

new foo（）. bar不能被解析为new（foo（）. bar），因为foo（）. bar不是Member表达式。此外，出于同样的原因，new foo（）不能解析为new（foo（））。相反，newfoo.bar被解析为new（foo.bar），因为foo.bar是一个有效的Member表达式（解释（new foo）. bar是不可能的因为语法贪婪）。

即，优先规则是：点跳动新，新跳动调用（括号）。

.  -> new -> ()

此外，直接查看语法可以解开将newfoo转换为newfoo（）的语法糖分。这只是一种新的表达方式← 新表达← 新PrimaryExpression：

NewExpression :
    MemberExpression
    new NewExpression