24

Java 10 带有新的局部变量类型推断。令牌var可用于减少声明变量时所需的样板文件。例如

var s = "hello";

根据Java 10 中的“var”到底是什么类型的令牌？这个新标记不是“关键字”，而是“保留类型名称”。因此，“var”一词仍然可以用作变量名，以保持与现有代码的向后兼容性。

var var = "you can do this";

当 Java 9 中引入“模块”特性时，这个新标记的类型（连同它的 9 个其他相关标记）被称为“受限关键字”。也就是说，它们仅在某些特定上下文限制下才被视为关键字。例如，您仍然可以拥有称为模块的变量。

当新的语言特性以不破坏现有用户定义符号的方式添加到 C++ 时，它们被称为“上下文敏感关键字”。

varJava 10 中新的“保留类型名称”标记与“上下文敏感关键字”或“受限关键字”之间是否存在概念差异。也就是说，var在某些特定上下文的限制下，新令牌实际上不仅仅是一个关键字。如果是这样，为什么不简单地将其添加到“受限关键字”列表中？

为了进一步增加我的困惑， JLS的当前草案版本说：

字符序列 var 通常被视为标识符，但在某些特殊情况下，它就像是关键字一样。

这个定义当然听起来像一个“受限关键字”。

4

1 回答 1

12

您引用的部分（3.8：关键字）的下一句是：

另外十个字符序列是受限关键字：open、module、requires、transitive、exports、opens、to、uses、provides 和 with。

请注意，var不在此列表中。本节中提到的var内容正是为了清楚地表明，虽然在某些情况下它可能像一个受限制的关键字，并且在您非正式阅读规范时听起来可能是这样，但事实并非如此。

上下文相关的关键字是我们可以使用的以兼容方式发展语言的工具之一；保留标识符是另一个。在这种特殊情况下，任何一种都可以应用，最后，后一种工具被认为（出于规范和编译器实现的目的）更可取。

与大多数编译器实现一样，该规范将词法、句法和类型关注点分开。关键字主要在词法分析器和解析器生成级别处理；保留类型名称在编译过程的后期，在类型分析期间检查，并且可以与非保留名称共享解析器产生。

从既不是规范作者也不是编译器实现者的开发人员的角度来看，差异主要是理论上的；任何一种路径都可以达到预期的效果。

于 2018-03-05T02:46:10.963 回答