Java7规范中的语法真的等效吗？

Question

JLS
v7的第18章中的语法似乎与文档中其他地方的结构不同，但是对我而言似乎有所不同。具体在第15章中，规则是：

RelationalExpression:
  ShiftExpression
  RelationalExpression < ShiftExpression
  RelationalExpression > ShiftExpression
  RelationalExpression <= ShiftExpression
  RelationalExpression >= ShiftExpression
  RelationalExpression instanceof ReferenceType

这样就可以创建foo instanceof Bar一个RelationalExpression（并因此生成一个EqualityExpresson），而该关系又可以在创建EqualityExpression的EqualityExpression规则中用作LHS
foo instanceof Bar == false。

但是当看第18章中的语法时，他们做了一些简化：

Expression2:
  Expression3 [Expression2Rest]

Expression2Rest:
  { InfixOp Expression3 }
  instanceof Type

看起来很奇怪，这意味着我们可以将Expression3s与二进制运算符链接在一起，或者可以检查一个的类型Expression3。现在具体来说foo instanceof Bar是一个Expression2，但是我看不到使用Expression2等式比较的LHS作为有效方法。

我是否错过了第18章的语法中可以foo instanceof Bar == false表达有效内容的内容？请注意，根据第15章中的规则以及根据我的编译器，它是一个有效的表达式。

Answer 1

这个问题值得一个很好的答案，所以让我们仔细看一下。

仅基于第18章中的语法：

具有 InfixOp的 任何内容（例如==）都适合 Expression2Rest 或不适合任何内容。而 Expression2Rest
仅属于 Expression2 内部。因此，如果foo instanceof Bar == false是合法的Java，则意味着foo instanceof Bar必须是 Expression3 。

Expression2：
Expression3 [Expression2Rest]

Expression2Rest： 类型的
{InfixOp Expression3}
instanceof __

但foo instanceof Bar不是 Expression3 。没有 PrefixOp 也没有 强制转换 ，因此要成为
Expression3， 它必须是 Primary 。但这不适合。

Expression3：
PrefixOp Expression3
（ （表达式 | 类型） ） Expression3
Primary {Selector} {PostfixOp}

主要：
文字
ParExpression
此 [Arguments]
超级 SuperSuffix
新 创建者
NonWildcardTypeArguments（ExplicitGenericInvocationSuffix | this
Arguments）
标识符{ 。 标识符} [IdentifierSuffix]
BasicType { [] } * .class
void.class

结论：仅基于第18章介绍的语法，foo instanceof Bar == false不是合法的Java表达式。！？！？！

当然那是胡说八道。foo instanceof Bar产生布尔结果，并且可以肯定地将该结果与进行比较false。该表达式将编译并运行。

更好的结论：第18章不是权威性的，但本书的其余部分是权威性的。

第2.3节指出

第 4、6-10、14 和15章给出了Java编程语言的语法语法。…第18章还给出了Java编程语言的语法语法，它比说明更适合于实现。

根据第15章介绍的语法规则，foo instanceof Bar == false 是
合法的Java表达式。但是请查看第15.20.1节之前的最后一句话：“关系表达式的类型始终为 boolean 。” 这与15.20中的
RelationalExpression 规则本身直接冲突。（特别是，这意味着必须将LHS的instanceof值评估为 boolean
。）不可能正确。

最佳结论：这本书有问题。如果您想知道某种东西是否合法的Java，则必须编译并运行它，最好是在Oracle的参考实现上运行。即使那样，也可能存在错误。毕竟，它只是软件。

我认为，如果他们稍微改变了 Expression2 规则，第18章可能是正确的。像这样：

• Expression2：
  Expression3 [ instanceof 类型]
  Expression2 {InfixOp Expression3}

但是谁知道，这可能会导致其他问题。无论如何，它已在Java 8中修复。