JLS语法如何匹配简单字段访问（obj.f）？

Question

我正在查看JLS第19章的语法，试图找出如何解析简单的字段访问：

obj.field

在我看来，可能涉及 FieldAccess 生产的第一个变体

FieldAccess ：

主 . 标识符
super . 标识符
类型名称 . super . 标识符

然后该 Primary 应该参与解析该obj部分。 Primary 似乎不参与解析像 ExpressionName
这样的简单引用。这似乎可以通过 PostfixExpression实现 。

PostfixExpression ：

主要
ExpressionName
PostIncrementExpression
PostDecrementExpression

并且，AFAICT， PostfixExpression 不能与 Primary 一起进行左递归。

我想念什么吗？

有一些其他的方式，一个 主 上降至最低点 ExpressionName 或 AmbiguousName ？

编辑：

我制作了语法中非终结点之间关系的DOT→SVG图。如果边缘为蓝色，则非终结符在箭头的后面的非终结符的开始处有一个左递归用法。

Answer 1

好了，正如您已经指出的，obj它不是 主要对象 ，因此，生产 主要. 标识符
不适用于obj.field。由于不super涉及任何密钥，因此其他替代方法也不适用，因此整个 FieldAccess 也不适用。

不必担心，因为这只是一个命名的语法规则，而不是让Java源代码访问字段的必要要求。

您还注意到， PostfixExpression 包括 Primary ，但不仅如此，它还包括 ExpressionName ：

ExpressionName:
    Identifier 
    AmbiguousName . Identifier

AmbiguousName:
    Identifier 
    AmbiguousName . Identifier

因此obj.field匹配 ExpressionName ，因此匹配 PostfixExpression 。现在，从 Expression
到 PostfixExpression 都有很长的生产链，其中包含了整个运算符优先级规则，但是简单地说，在允许 Expression的
任何地方都允许 PostfixExpression 。 __

有一个明显的差异，即 分配 ：

Assignment:
    LeftHandSide AssignmentOperator Expression

LeftHandSide:
    ExpressionName 
    FieldAccess 
    ArrayAccess

分配是表达式，因此它们也可能出现在分配的右侧，但是左侧是特殊的。在那里，我们看到 FieldAccess
，到obj.field（unintuitively）不属于，以及 ExpressionName ，其obj.field匹配。

记住这一点也许会有所帮助，当obj.field解析时，解析器不知道这是字段访问。也可能obj是一个包，field是一个类名，或者obj是一个类名，并且field是一个内部类名。周围的上下文将要求将其解析为字段（并且仍然可能是static类中的字段obj）。

该 FieldAccess 生产列出了这些案例，明确地是现场访问，在解析时识别，而不看其周围的环境。