Java record 的不可变性由编译器自动保证：所有字段默认 final 且无 setter，仅 compact constructor 可单次初始化；record 类隐式 final，不可继承，也不允许实例初始化块或可变字段。
Java record 的不可变性不是靠开发者手动加 final 实现的，而是由编译器在生成字节码时自动保证的——所有字段默认就是 final，且没有提供任何 public 的 setter 方法或可修改状态的途径。
record 字段天然 final，无需显式声明
定义 record 时，即使不写 final，编译器也会把每个组件（component）声明为 final 字段。例如：
record Person(String name, int age) {}
等价于手动编写一个类，其中 name 和 age 都是 private final 字段，并配有同名的 public accessor 方法（即 getter）。你无法在 record 主体中给字段重新赋值，也不能在构造后修改其值。
立即学习“Java免费学习笔记（深入）”；
编译器禁止非 final 行为，但允许局部变量和方法内逻辑
record 的不可变性仅作用于其字段本身，不影响方法内部的临时变量或计算逻辑。比如可以在 toString() 或自定义方法中使用非 final 变量，只要不试图修改 record 字段即可：
- 不能写
this.name = "new";（编译错误） - 可以写
String temp = this.name.toUpperCase();（合法） - 不能在 compact constructor 中对字段重新赋值（除非用
this.调用隐式初始化，但仍是单次赋值）
compact constructor 是唯一可干预字段初始化的位置
如果需要校验或转换入参，可以用 compact constructor。它看起来像普通构造器，但不声明参数列表，且必须通过 this.xxx = xxx; 显式委托初始化：
record Person(String name, int age) {
public Person {
if (name == null) throw new IllegalArgumentException();
this.name = name.trim(); // 允许处理后赋值一次
this.age = Math.max(0, age);
}
}
注意：这里 this.name = ... 不是“修改”，而是完成 final 字段的唯一一次初始化；之后再赋值会报错。
继承与扩展不可行，进一步保障不可变语义
record 类隐式是 final 的，不能被继承。这避免了子类绕过不可变约束（如添加可变字段或重写 accessor）。同时 record 不允许声明实例初始化块、普通字段或非 private 静态字段（除静态方法和静态常量外），从结构上收窄了可变性的入口。
