Record

Java 17 新特性详解：Record、Sealed Classes、Pattern Matching 与现代 Java