record：透明数据载体

声明即契约01

record 的组件列表同时定义了字段、构造器参数、访问器和 equals/hashCode/toString 的输入。声明是 final class，隐式继承 java.lang.Record，组件字段是 private final。

public record Point(int x, int y) {
    public Point {
        if (x < 0 || y < 0) {
            throw new IllegalArgumentException("坐标必须非负");
        }
    }

    public Point translate(int dx, int dy) {
        return new Point(x + dx, y + dy);
    }
}

var p = new Point(1, 2);
System.out.println(p);
System.out.println(p.translate(1, 1));
System.out.println(p.x() + "," + p.y());

Point[x=1, y=2]
Point[x=2, y=3]
1,2

• 自动生成：规范构造器、每个组件的同名访问器、equals、hashCode、toString。
• 访问器是 x()，不是 getX()；toString 的格式是 Point[x=1, y=2]。
• 可以声明额外方法、静态字段和静态方法，但不能声明额外的实例字段。
• record 不能继承其他类，但可以实现接口；它本身是 final。

紧凑构造器：校验与归一化02

规范构造器的签名必须与组件列表一致。紧凑构造器省略参数列表，参数名与组件同名；编译器会在构造器末尾自动插入字段赋值，你只需要写校验或归一化。

public record Range(int from, int to) {
    public Range {
        if (from > to) {
            throw new IllegalArgumentException("from > to");
        }
    }

    public int length() {
        return to - from;
    }
}

var r = new Range(3, 8);
System.out.println(r);
System.out.println(r.length());
try {
    new Range(5, 1);
} catch (IllegalArgumentException e) {
    System.out.println(e.getMessage());
}

Range[from=3, to=8]
5
from > to

在紧凑构造器里写 from = ... 是在给隐式参数赋值；不能写 this.from = from，字段在构造器体里仍是 final 的未赋值状态，编译器会报 cannot assign a value to final variable。

不可变是浅的03

record 只保证组件引用不可变，不保证引用指向的对象不可变。List 组件仍可能被外部修改；数组组件的问题更隐蔽，连 equals 都按引用比较。

public record Team(String name, List<String> members) {
    public Team {
        members = List.copyOf(members);
    }
}

var source = new ArrayList<>(List.of("a"));
var team = new Team("core", source);
source.add("b");
System.out.println(team.members().size());
try {
    new Team("x", null);
} catch (NullPointerException e) {
    System.out.println("null rejected");
}

1
null rejected

• List.copyOf 返回不可变副本，并拒绝 null；需要保留 null 时不能用它。
• 数组组件要在紧凑构造器和访问器里 clone()；record 生成的 equals 对数组按引用比较，内容相同也可能返回 false。
• 需要深不可变时，组件本身也必须是不可变类型；List<Mutable> 仍然是浅不可变。
• record 的 hashCode 同样基于组件；数组组件会使用身份哈希，不适合作为 Map key。

能力边界04

• 局部 record 是隐式的 static，适合方法内临时聚合返回值。
• record 可以实现 sealed 接口，因为它天然是 final，满足 sealed 对子类型的要求。
• 显式重写访问器可以返回派生值或防御性副本，但每次调用都会执行，别放昂贵计算。
• record 的序列化使用规范构造器，反序列化会走校验逻辑；这与普通类的默认反序列化不同。

运行时形态05

record 不是语法糖生成的普通类：JVM 与反射 API 都能识别它。Class.isRecord()、getRecordComponents() 是标准接口，框架可以据此做序列化、绑定和校验。

System.out.println(Point.class.isRecord());
System.out.println(java.lang.reflect.Modifier.isFinal(Point.class.getModifiers()));
System.out.println(Point.class.getRecordComponents().length);

true
true
2

$ javap -p Point.class
Compiled from "Point.java"
public final class Point extends java.lang.Record {
  private final int x;
  private final int y;
  public Point(int, int);
  public Point translate(int, int);
  public final java.lang.String toString();
  public final int hashCode();
  public final boolean equals(java.lang.Object);
  public int x();
  public int y();
}

equals / hashCode / toString 的方法体不是手写逻辑，而是通过 invokedynamic 链接到 java.lang.runtime.ObjectMethods 的启动方法，由它按组件生成行为。这也是 record 的语义能被运行时统一识别的原因。

版本边界BOUNDARY

这张表比 API 本身更值得记。写代码时先确认你的运行时版本。

费曼自检SELF CHECK

先合上页面，用自己的话回答，再展开对照。能讲出因果和反例，才算真正掌握。