登录
推荐 文章 Go 技术 课程 下载 专题 AI
首页 >  文章 >  java教程

Java record compact constructor 怎么校验时间区间:跨字段不变量与异常契约

来源:17golang原创

时间:2026-08-21 03:11:32 315浏览 收藏

预约服务场景里,最麻烦的不是把开始时间和结束时间封装进数据对象,而是有人传入“结束早于开始”的非法时间段,错误一直拖到排班或计费环节才暴露出来。Java record 的 compact 构造器正好适合把这类跨字段规则放在对象边界处:组件先完成赋值,再集中校验不变量,失败时抛出稳定、可测试的异常。

要点速览
  • 时间区间的合法性依赖 startsAtendsAt 的关系,不能拆成两个孤立的字段单独校验。
  • compact 构造器适合表达“先接收组件值、再校验对象不变量”的初始化边界逻辑。
  • 异常类型和消息要形成明确的接口契约,调用层才能把参数错误和系统故障分开处理。
  • 测试至少覆盖正常区间、相等边界、结束早于开始和缺失时间四类输入场景。

先看失效对象:两个时间单独合法,区间仍可能非法

单独检查时间是否为空,并不能保证区间本身有业务意义。下面这个 record 能正常编译,但它允许构造出反向的时间段:

record BookingWindow(Instant startsAt, Instant endsAt) {}

BookingWindow invalid = new BookingWindow(
        Instant.parse("2026-08-21T10:00:00Z"),
        Instant.parse("2026-08-21T09:30:00Z"));

System.out.println(invalid.endsAt().isBefore(invalid.startsAt()));
// true

这里的两个组件值都符合 Instant 的类型要求,但对象整体违反了“开始不得晚于结束”的业务不变量。record 自动生成访问器、equalshashCode,不会替业务自动推断这样的特殊关系。

Java record 时间区间校验:开始时间和结束时间进入构造边界后分流到合法与反向区间

用 compact 构造器把跨字段规则放在对象入口

compact 构造器不需要重复声明参数列表,适合给 record 的规范构造器补充校验逻辑。参数名就是组件名,构造器体执行结束后才会完成 record 的初始化:

record BookingWindow(Instant startsAt, Instant endsAt) {
    BookingWindow {
        Objects.requireNonNull(startsAt, "startsAt");
        Objects.requireNonNull(endsAt, "endsAt");

        if (endsAt.isBefore(startsAt)) {
            throw new IllegalArgumentException(
                    "endsAt must not be before startsAt");
        }
    }
}

校验顺序建议保持稳定:先处理缺失值,再处理字段之间的关联关系。这样 null 不会在 isBefore 调用处变成难以定位的空指针异常,跨字段错误也能统一归为参数不合法问题。

相等时间是不是合法:先定业务边界再写比较符

endsAt.isBefore(startsAt) 允许零时长区间;如果预约必须有正时长,就要把规则写成 !endsAt.isAfter(startsAt)。两者差别只在一个边界判定,却会直接影响“立即执行”“取消时间”和计费的语义。

record PositiveBookingWindow(Instant startsAt, Instant endsAt) {
    PositiveBookingWindow {
        Objects.requireNonNull(startsAt, "startsAt");
        Objects.requireNonNull(endsAt, "endsAt");
        if (!endsAt.isAfter(startsAt)) {
            throw new IllegalArgumentException(
                    "endsAt must be after startsAt");
        }
    }
}

不要为了“更严格”而默认选择正时长规则。比如系统用相等时间表示关闭窗口,禁止相等反而会让上层到处写特殊适配分支。record 只负责落实已经确认的领域规则。

异常契约要让调用层能区分参数错误

构造器抛出什么异常,会直接影响控制器、消息消费者和测试的处理方式。参数来自 HTTP 或表单时,IllegalArgumentException 通常比把错误包装成系统异常更容易映射为 400 状态码;如果项目已有统一的领域异常,也可以在 compact 构造器中统一抛出该类型。

输入情况建议结果调用层动作
两个时间都有值,结束晚于开始成功构造进入排班或计费流程
开始或结束为 null参数异常,指出对应字段名返回字段级提示
结束早于开始区间异常,说明字段关系拒绝保存并要求修正
结束等于开始按业务选择允许或拒绝保持接口文档与测试逻辑一致

Java record 时间区间异常契约:缺失字段、反向区间和合法输入分别进入不同处理结果

用边界测试锁住不变量

这类 record 的测试重点不是自动生成的访问器,而是构造入口是否正确拒绝了错误组合:

Instant begin = Instant.parse("2026-08-21T10:00:00Z");
Instant end = begin.plusSeconds(1800);

assertDoesNotThrow(() -> new BookingWindow(begin, end));
assertDoesNotThrow(() -> new BookingWindow(begin, begin));

assertThrows(NullPointerException.class,
        () -> new BookingWindow(null, end));
assertThrows(IllegalArgumentException.class,
        () -> new BookingWindow(end, begin));

如果业务选择正时长规则,把第二个 assertDoesNotThrow 改成 assertThrows,并在测试名称里明确写出“相等时间被拒绝”。测试名称本身就是边界说明,别只留下一个模糊的 testWindow

常见问题

record 会自动校验组件之间的关系吗?

不会。record 负责生成数据载体的通用成员,开始时间和结束时间的业务关系需要由规范构造器或 compact 构造器明确实现。

compact 构造器能修改 record 组件参数吗?

可以在构造器体内校验或重新赋值参数,例如把经过规范化的值绑定回组件;但应保持规则简单、可解释,复杂流程更适合放在工厂方法或领域服务。

为什么不在调用方校验时间区间?

调用方可能不止一个。把不变量放在 record 入口,可以让 HTTP、定时任务和消息消费共用同一条对象契约,避免某条调用路径漏掉校验。

让 record 在创建时就成为可信快照

Java record 的价值不只是少写几个 getter,而是把一个已经满足基本规则的数据快照交给后续流程。对时间区间这类跨字段对象,compact 构造器负责空值、顺序和边界判断,异常契约负责把错误传到正确的处理层,测试则把相等与反向区间的判定逻辑固定下来。对象一旦创建成功,排班和计费代码就不必重复猜测它是否可信。

声明:本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>