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免费学习笔记（深入）”；
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
编译器禁止非 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 静态字段（除静态方法和静态常量外），从结构上收窄了可变性的入口。
