java - JLS语法如何匹配简单的字段访问(obj.f)？

Question

我正在查看 JLS Chapter 19 grammar试图弄清楚如何解析简单的字段访问:

obj.field

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

FieldAccess:

Primary . Identifier
super . Identifier
TypeName . super . Identifier

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

PostfixExpression:

Primary
ExpressionName
PostIncrementExpression
PostDecrementExpression

而且，AFAICT，PostfixExpression 不是 Primary 的左递归。

我错过了什么吗？

Primary 是否有其他方式在 ExpressionName 或 AmbiguousName 上触底？

---

编辑:

我做了一个DOT→SVG graph语法中非终结符之间的关系。如果一条边是蓝色的，那么在箭头头部之后的非终结符的开头，非终结符会进行左递归使用。

Answer 1

好吧，正如您已经注意到的，obj 不是Primary，因此产生式Primary。 标识符 不适用于obj.field。由于不涉及 super 键，其他替代方案也不适用，因此整个 FieldAccess 不适用。

这没什么好担心的，因为这只是一个命名语法规则，并不是让Java源代码访问字段的必要条件。

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

ExpressionName:
    Identifier 
    AmbiguousName . Identifier

AmbiguousName:
    Identifier 
    AmbiguousName . Identifier

因此 obj.field 匹配 ExpressionName，因此匹配 PostfixExpression。现在，有一个从 Expression 到 PostfixExpression 的长链，合并了整个运算符优先级规则，但简单地说，PostfixExpression 是允许的到处都是允许表达式的地方。

有一个显着的差异，作业:

Assignment:
    LeftHandSide AssignmentOperator Expression

LeftHandSide:
    ExpressionName 
    FieldAccess 
    ArrayAccess

赋值是表达式，因此它们也可能出现在赋值的右侧，但是左侧比较特殊。在那里，我们看到 FieldAccess，obj.field(不直观地)不属于它，还有 ExpressionName，obj.field 匹配。

---

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

FieldAccess 产生式列出了那些明确是字段访问的情况，在解析时可识别，无需查看其周围上下文。