compact constructor 是 record 中唯一能做前置校验的位置,它在 canonical constructor 调用后、字段 final 赋值前执行,可访问全部参数且校验失败能中断实例化;必须声明为 public recordname { ... },校验逻辑须在 this() 前完成,不可赋值字段,需对可变组件做防御性拷贝。

compact constructor 是唯一能做前置校验的位置
Record 类没有初始化块、不能重写构造器、字段一初始化就是 final,所以你没法在对象创建后“再检查”——那时实例已经存在了。compact constructor 是 JVM 在调用 canonical constructor 之后、字段赋值完成之前自动插入的执行点,它能访问所有参数,且校验失败时抛异常会直接中断实例化流程。
常见错误现象:java: illegal start of type 或编译不报错但运行时校验没触发,通常是因为把校验逻辑写在了普通方法里,或误用了带参数的构造器(record 不允许显式定义带参构造器,除非是 canonical 构造器委托形式)。
- 必须声明为
public RecordName { ... },不能加参数、不能加void或返回类型 - 校验代码必须写在
this()调用之前(如果是显式 canonical 构造器),或直接放在 compact constructor 主体中(此时this()隐式存在) - 不能对字段赋值,比如
this.email = email.trim()是编译错误;如需归一化,应新建局部变量并用于后续逻辑(但 record 字段仍保持原始值)
校验逻辑必须在 this() 前完成,否则无效
如果你写了显式的 canonical 构造器(比如为了支持多种参数组合),compact constructor 依然存在,但它的执行时机取决于你何时调用 this()。如果校验写在 this() 后面,字段早已被 final 初始化,抛异常也拦不住对象构造完成。
使用场景:JPA/Hibernate 6.0+ 直接调用 canonical constructor 入库,Jackson 2.15.2+ 启用 RecordModule 后反序列化也会走同一路径——compact constructor 自然覆盖这些流程。
- 正确写法:
public User(String email, int age) { if (email == null || !email.contains("@")) { throw new IllegalArgumentException("邮箱格式不合法"); } if (age 150) { throw new IllegalArgumentException("年龄超出合理范围"); } this(); // 显式委托,且必须放最后 } - 错误写法:
this()写在 if 前,或校验逻辑放在this()后面 - 异常类型只能用 unchecked exception,record 构造器语法不支持
throws声明,IllegalArgumentException是标准选择
@NotBlank 等注解在 record 上不会自动触发校验
JSR-303(Bean Validation)规范不要求验证框架调用 compact constructor,所以即使你给 record 字段加了 @NotBlank 或 @Min(0),JPA 或 Jackson 默认都不会执行这些约束——除非你手动集成 jakarta.validation 并启用 ValidatedRecordModule(非标准行为)。
这意味着:依赖注解做校验 = 生产环境大概率漏检。compact constructor 是兜底的、确定性生效的唯一手段。
- DTO 层若同时被 Web 层(Spring Validation)和 DAO 层(JPA)使用,两套校验机制可能不一致,必须以 compact constructor 为准
- 手动
new User(null, -5)也会触发 compact constructor,不需要额外包装或工厂类 - 不要试图在 getter 中“修正”数据(如
return email != null ? email.trim() : null),这破坏不可变语义,且掩盖了原始非法输入
可变组件(如 List、Map)需要防御性拷贝
record 字段是 final,但 final 引用的对象内容仍可变。如果字段是 List<string></string>,外部传入的 list 若后续被修改,会污染 record 实例状态。
compact constructor 是做防御性拷贝的自然位置,因为此时你还能拿到原始参数引用。
- 推荐写法:
cities = List.copyOf(cities)(Java 10+),或new ArrayList(cities)(兼容旧版) - 禁止直接赋值:
this.cities = cities—— 这不是语法错误,但失去防御性,且违反 record 设计意图 - 如果组件是自定义可变对象(如
MutableAddress),必须调用其copy()方法或构造新实例,不能仅靠final保障安全
真正容易被忽略的是:compact constructor 的执行时机与字段初始化顺序强耦合,而多数人只记得“能写校验”,却没意识到 this() 的位置决定了校验是否真能阻止对象诞生。一旦漏掉这个细节,所谓“前置校验”就退化成事后断言,对数据一致性毫无保护作用。










