在不带括号的 Java 中调用新对象的方法：违反操作顺序？ [关闭]

Question

根据this table of Java operator precedence and associativity，成员访问的优先级高于new 运算符。

但是，给定一个类 myClass 和一个非静态成员函数 myFunction，以下代码行是有效的：

new myClass().myFunction();

如果. 在new 之前被评估，这行怎么执行？换句话说，为什么不需要括号？

(new myClass()).myFunction();

我的猜测是，由于() 与. 共享优先级，因此首先评估myClass()，因此编译器甚至在评估new 关键字之前就知道具有零参数的myClass 构造函数正在执行叫。但是，这似乎仍然暗示第一行应该与new (myClass().myFunction()); 相同，不是这种情况。

Answer 1

我不同意从杰克的图表中得出的结论。编写语法时，其非终结符和结构旨在实现所描述语言的优先级和关联性。这就是表达式的经典 BNF 引入“项”和“因子”非终结符的原因 - 以在算术的加法优先级之前强制执行正常乘法。

所以语法中的“Primary -> new Creator”和“Expression -> Primary Selector”意味着“new Creator”的优先级高于“Primary Selector”。

在我看来，语法是 Java 运算符优先级和关联性表不正确的证据。

Answer 2

这是因为Java 语言的grammar 是如何定义的。仅当可以以两种不同的方式解析相同的词汇序列时，运算符的优先级才会起作用，但情况并非如此。

为什么？

因为分配定义在：

Primary: 
  ...
  new Creator

while 方法调用定义在：

Selector:
  . Identifier [Arguments]
  ...

这里都用到了：

Expression3: 
  ...
  Primary { Selector } { PostfixOp }

所以发生了什么

new myClass().myFunction();

被解析为

         Expression
             |
             |
    ---------+--------
    |                |
    |                |
  Primary        Selector
    |                |
    |                |
 ---+---            ...
 |     |
new   Creator 

所以没有根据优先级选择，因为Primary之前被减少了。请注意，对于像

这样的特殊情况

new OuterClass.InnerClass()

类名实际上是在 new 运算符之前解析的，并且确实有处理这种情况的规则。如果你想看，请检查语法。