compact constructor 是 record 唯一能做前置校验的位置，必须在 this() 调用前完成空值、范围、格式等检查并抛出 illegalargumentexception 等运行时异常，否则字段已 final 初始化，校验失效。

Compact Constructor 是 record 唯一能做前置校验的位置，不是“可选方案”，而是语言层强制要求的校验入口——不在这儿做，就根本做不了。

compact constructor 必须写在 this() 调用之前

校验逻辑若出现在 this() 之后，字段已完成 final 初始化，此时抛异常也拦不住对象构造完成。JVM 已经把值塞进字段了，校验纯属马后炮。

• this() 必须显式写出，且必须放在构造器末尾；不能省略，也不能提前
• 所有校验语句（如空值检查、范围判断）必须严格写在 this() 上方
• 禁止在字段声明处用 Objects.requireNonNull(email) —— 那只是初始化表达式，不参与构造流程控制
• 不要试图在 name() getter 里做修正或二次校验：record 设计原则是“声明即约束”，不是“取的时候再修”

校验失败必须抛 RuntimeException

record 构造器语法不允许声明 throws，所以 checked exception（如 IOException）直接编译报错。只能用运行时异常中断构造流程。

• 推荐用 IllegalArgumentException 表示参数非法（如 age = -5）
• 用 NullPointerException 或自定义 IllegalStateException 表示必填字段为空
• 避免用 RuntimeException 泛型兜底——不利于调用方识别错误类型
• Jackson 反序列化和 JPA 入库都依赖这个异常中断机制，抛错才能阻止脏数据落库

final 字段特性决定校验必须覆盖全部非法路径

record 字段一旦赋值就不可更改，没有 setter、没有 post-constructor 钩子，也没有初始化块。漏检 = 永久非法状态。

• 字符串类字段要同时检查 null 和 trim().isEmpty()
• 数值类字段需覆盖边界外（age ）、超限（<code>age > 150）、NaN 等情况
• 若字段是可变容器（如 List<string></string>），校验非空后必须做防御性拷贝：this.tags = List.copyOf(tags)
• 自定义类型字段（如 Address）要确认其是否 immutable；否则需手动 deep copy，不能直接接收引用

最容易被忽略的是：compact constructor 不处理字段赋值，只负责校验和参数归一化。它不改变 record 的 final 语义，也不提供修改字段的通道——这点和普通类构造器有本质区别。