登录
推荐
文章
Go 技术
课程
下载
专题
AI
不变量
已收录文章:1篇
三天内
三天内
一周内
一月内
三月内
最新
最热
文章
·
java教程
| 4小时前 |
Java
·
Record
·
构造器
·
不变量
·
异常契约
·
参数校验
Java教程
Java record
compact constructor
时间区间
Java record compact constructor 怎么校验时间区间:跨字段不变量与异常契约
Java record 的 compact constructor 适合把开始时间早于结束时间、状态与时间范围匹配等跨字段规则集中校验。本文用预约时间段说明校验顺序、异常类型与测试验收边界。
315
收藏