Java 记录反思与综合方法

Question

基于较旧的Java (7) 语言规范 (13.1.7) ：

Java 编译器引入的任何在源代码中没有相应构造的构造必须标记为合成的，但默认构造函数、class 初始化方法以及枚举 class 的值和 valueOf 方法除外。

在较新的 ( Java (17) Language Specifications (13.1.7) : ) 上，措辞更改为：

如果 Java 编译器发出的构造不对应于源代码中显式或隐式声明的构造，则必须将其标记为合成构造，除非发出的构造是 class 初始化方法（JVMS §2.9）。

我想知道这将如何应用于为 java记录 (JEP 395)的组件创建的访问器方法

例如

record ARecord(int a){}

会有一个方法int a()但没有代码表示这种方法，根据旧 JLS 的措辞，这种方法是由编译器添加的，所以我希望它是合成的，但它不是，因为它可以被证实在JShell上运行以下两行

jshell
|  Welcome to JShell -- Version 17.0.1
|  For an introduction type: /help intro

jshell> record ARecord(int a){}
|  created record ARecord

jshell> ARecord.class.getDeclaredMethod("a").isSynthetic();
$2 ==> false

jshell>

我问的原因是因为我想在运行时使用反射（或任何其他编程方式）来确定 class 上的哪些元素具有匹配的代码结构，基本上那些具有代表它们的代码，意思是：

对于以下代码

record ARecord(int a){

  pubic void someMethod() {}

}

该实体将有 2 种方法（ a和someMethod ）， a没有代表它的代码而someMethod有，我需要一种方法来根据该标准区分那些方法

Answer 1

我想知道这是否是因为它被视为隐式声明是其代码隐式定义为组件的一部分

就是这样。 请注意旧规范如何只说“合成”应该标记在构造上

源代码中没有相应的构造

隐式声明的Enum.values和Enum.valueOf 。 那时候，显然只有这两个是隐式声明的（在新规范使用该短语的意义上）。 :D

另一方面，新规范说

不对应于源代码中显式或隐式声明的构造

请注意，此措辞会自动处理Enum异常，但也会处理此后添加的大量隐式声明的内容。 这包括记录组件。

来自Java 17 规范 §8.10.3。 记录成员，

此外，对于每个记录组件，记录 class 具有与记录组件同名的方法和一个空的形式参数列表。 这种显式或隐式声明的方法称为访问器方法。

...

如果记录 class 的记录组件未显式声明访问器方法，则该记录组件的访问器方法隐式声明 [...]

方法a在您的组件中隐式声明，因此它不是合成的。

一般来说（可能有我不知道的例外情况），合成结构是语言规范未指定的结构，但编译器的特定实现需要它才能工作。 规范基本上是说此类结构必须在二进制文件中标记为“合成的”。 请在此处查看一些示例。

Answer 2

javac会完全忽略具有synthetic标志的类型的任何成员。 Javac 的行为就像这些东西根本不存在一样。

因此，很明显，您为记录获得的“吸气剂”不是合成的。 如果是的话，就不可能从.java代码中调用它们——调用它们的唯一方法是编写一个 hacky javac克隆来编译对合成的访问，或者使用字节码操作来删除合成标志，或者发出直接字节码，或者使用反射。