知识卡片
不变量是聚合内对象间须恒定保持的一致关系
内容
不变量是施加在聚合边界内各对象之上、使其遵守恒定关系的业务约束（数据变化时保持内部关系一致），类比方程式3x+y=100。仅约束单对象或角色权限的规则/验证条件不是不变量；约束对象间关系的业务规则才是。
参考来源
- 位置：《解构领域驱动设计》15.4.4（源文件：_epub-src/OEBPS/027.xhtml）
- 结论依据：精确界定不变量并与普通业务规则/验证条件相区别。
- 原始内容：将聚合的不变量定义为施加在聚合边界内部各个对象之上，使其遵守一种恒定关系的业务约束……“报表类别的名称不可短于8个字符，且不允许重复”是验证条件……没有对聚合内对象之间的关系进行约束，自然也非不变量。