Kotlin 语言参考文档 中文版 Help

在 Kotlin 中使用 Java 记录类(Record)

在 Java 中 记录类(Record) 是用于存储不可变数据的 . 记录类携带一组固定的值 – 记录组件(Records Components). 在 Java 中记录类的语法很简洁, 可以为你节省编写样板代码的时间:

// Java public record Person (String name, int age) {}

编译器会自动生成一个 final 类, 继承自 java.lang.Record, 并包含以下成员:

  • 对每个记录组件, 有一个 private final 域

  • 一个 public 构造器, 参数是所有的域

  • 一组方法, 实现结构化的相等比较: equals(), hashCode(), toString()

  • 为读取每个记录组件, 有一个 public 方法

记录类非常类似于 Kotlin 数据类.

在 Kotlin 代码中使用 Java 记录类

在 Kotlin 中, 你可以通过使用类和属性相同的方式来使用 Java 中声明的记录类及其组件. 要访问记录组件, 可以和使用 Kotlin 属性 一样, 直接使用它的名称:

val newPerson = Person("Kotlin", 10) val firstName = newPerson.name

在 Kotlin 中声明记录类

Kotlin 只支持对数据类声明记录类, 而且数据类必须符合 要求.

要在 Kotlin 中声明一个数据类, 请使用 @JvmRecord 注解:

@JvmRecord data class Person(val name: String, val age: Int)

这个 JVM 专用的注解会导致生成以下内容:

  • 在 class 文件中, 生成与类属性对应的记录组件

  • 符合 Java 记录类命名规约的类属性访问器方法名

数据类会提供 equals(), hashCode(), 和 toString() 方法的实现.

要求

要使用 @JvmRecord 注解来声明数据类, 它必须符合以下要求:

  • 类所在模块的编译目标必须是 JVM 16 字节码 (或者 JVM 15, 并开启 -Xjvm-enable-preview 编译器选项).

  • 类不能明确继承任何其他类 (包括 Any), 因为所有的 JVM 记录类都要隐含的继承 java.lang.Record. 但是, 类可以实现接口.

  • 类不能声明任何带有后端域(Backing Field)的属性 – 通过主构造器参数初始化的对应属性除外.

  • 类不能声明任何带有后端域(Backing Field)的可变属性.

  • 不能是局部(local)类.

  • 类的主构造器的可见度必须与类本身相同.

允许使用 JVM 记录类

对生成的 JVM 字节码, JVM 记录类要求的编译目标为 16 或更高版本.

要明确指定字节码版本, 请在 GradleMaven中, 使用 jvmTarget 编译器选项.

更多讨论

关于更多技术细节和讨论, 请参见 对 JVM 记录类的语言规格建议.

最终更新: 2024/10/17