Java语言规范（JLS）的开发人员指南

Java语言规范（JLS）是理解Java行为的权威来源，尤其是在边缘案例中。 1。它正式定义了Java的语法，语义和规则。 2。开发人员应咨询它以解决歧义，了解编译器行为，仿制药，并发和边缘案件。 3。要有效地阅读它的结构：使用第1-10章用于核心语言，第14章陈述，第15章表示表达式，第16章可变分配和并发第17章。 4。始终使用与您的Java版本匹配的JLS版本（例如，Java 17的JLS 17）。 5。使用CTRL F或Google与网站进行战略搜索：JLS.Java。 6。研究包括了解违反直觉行为的例子，例如收入后结果。 7。常见用例包括可变范围（§14.4.3），方法过载分辨率（§15.12.2），初始化顺序（第122.4，§12.5），仿制药（第4、18章）和lambda键入（第15章）。 8。实用提示：不要记住，与JVM规格配对，遵循IDE提示，并咨询专家讨论。 JLS将不确定性转化为清晰度，对于严重的Java开发人员至关重要。

如果您是Java开发人员，他曾经对某些代码的行为方式感到困惑，尤其是在边缘案例中，Java语言规范（JLS）是您的最终真理来源。这不是教程或初学者指南，而是Java编程语言如何工作的正式，权威定义。这是有效使用JLS的实用开发指南。

什么是Java语言规范？

JLS是定义Java编程语言的语法，结构和语义的官方文档。它由Oracle（最初由Sun Microsystems）维护，并与每个新Java版本一起演变。尽管大多数开发人员依靠教程，IDE或受欢迎的博客，但JLS是编写规则的地方，尤其是那些不明显的规则。

将其视为Java的宪法：不是您每天阅读的东西，而是您需要解决辩论或理解编译器为何拒绝或接受某些东西时至关重要的。

开发人员为什么要照顾？

您可能会想：“我编写了编译的代码 - 我为什么需要JLS？”但是，这变得无价之宝：

• 解决歧义：当两个堆栈溢出答案相互矛盾时，JLS有最终决定权。
• 了解编译器行为：为什么i = ii;给出结果吗？ JLS解释了操作员评估顺序。
• 编写正确的仿制药：JLS中定义了类型擦除，通配符和界限的规则。
• 使用并发： volatile ， synchronized和final关键字具有JLS中定义的精确内存语义（尤其是在第17章中）。
• 调试怪异的边缘案例：就像兰伯达是否可以捕获声明后修改的局部变量。

JLS可以帮助您从“ This Works”转变为“我知道为什么有效”。

如何阅读JLS（不会失去理智）

JLS茂密，以正式的语气写成。这是将其作为工作开发人员导航的方法：

1。知道结构

JLS分为章节：

• 第1-10章：核心语法和语义（类型，变量，表达式，语句）
• 第14章：块和语句
• 第15章：表达式（了解评估顺序至关重要）
• 第16章：绝对分配的变量
• 第17章：线程和锁（Java内存模型）
• 附录：语法，更改等。

从目录开始。如果您要调试Lambda问题，请跳至第15章。如果您对static初始化器感到困惑，请查看第8章。

2。使用正确的版本

始终将JLS版本与Java版本匹配。例如：

• Java 8→JLS 8
• Java 11→JLS 11
• Java 17→JLS 17

在其各自的JLS更新中添加了新功能（例如记录，图案匹配或密封类）。

您可以在以下位置找到官方JLS
//m.sbmmt.com/link/link/babbb9b8ef0b89664219225840608850

3。智能搜索

不要阅读它的封面。使用：

• pdf搜索（CTRL F）诸如“捕获转换”，“二进制兼容性”或“可及性”之类的术语。
• Google与site:jls.java或包含版本（例如，“ JLS 17 lambda目标类型”）。

4。寻找示例

JLS包括代码示例 - 通常说明棘手或违反直觉的行为。这些是黄金。例如，规格显示原因：

 int x = 1;
x = x;

…将x留为1，而不是2。

JLS帮助的常见用例

以下是咨询JLS澄清的事物的真实情况：

✅可变范围和阴影

为什么可以在嵌套块中重新列出变量？ JLS（§14.4.3）解释了范围规则以及允许阴影时。

✅方法超载分辨率

当存在多个超载方法时，选择了哪种？第15章潜入：

• 适用性（§15.12.2）
• 特异性（§15.12.2.5）
• Varargs处理

这解释了为什么method(null)有时会引起歧义。

✅初始化顺序

为什么此代码打印0 ？

类测试{
    {system.out.println（x）; }
    int x = 5;
}

JLS（§12.4，§12.5）定义了类和实例初始化顺序 - 在实例初始化器运行后初始化字段。

✅通用和类型推理

第4章和第18章中定义了方法调用<String>的擦除，桥接方法和推断（尤其是使用lambdas）。 JLS有答案。

✅lambda和方法参考输入

第15章定义了如何根据目标上下文键入兰伯达。它解释了原因：

可运行的r =（） - > {};
callable <string> c =（） - >“完成”;

…有效，但是在没有上下文的情况下混合它们是有效的。

实际使用的提示

• 不要记住 - 知道在哪里看。您不需要记住每个规则，只是如何找到它。
• 与JVM规格配对。对于更深的运行时行为（例如字节码），JVM规格补充了JLS。
• 使用IDE提示作为线索。当您的IDE强调某些内容时，请检查可能与之相关的JLS部分。
• 在jls-dev邮件列表或OpenJDK论坛上阅读讨论，以了解专家如何解释规格。

最后的想法

JLS并不是要从头开始学习Java。但是，一旦您超过了基础知识，它就就是一种授权工具。这将猜测变成理解。

您不需要像小说一样阅读它 - 只是将其添加为书签。当某些事情感到不安时，当编译器不同意您的直觉时，或者队友争论评估顺序时，请打开JLS。

解析并不总是那么容易，但是它永远是对的。

基本上，如果您对Java认真，JLS不是可选的，那是您的备用大脑。

以上是Java语言规范（JLS）的开发人员指南的详细内容。更多信息请关注PHP中文网其他相关文章！