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>),校验非空后必须做防御性拷贝:this.tags = List.copyOf(tags) - 自定义类型字段(如
Address)要确认其是否 immutable;否则需手动 deep copy,不能直接接收引用
最容易被忽略的是:compact constructor 不处理字段赋值,只负责校验和参数归一化。它不改变 record 的 final 语义,也不提供修改字段的通道——这点和普通类构造器有本质区别。

















