什么是域不变量
域不变量是业务逻辑中必须始终成立的基本规则，可以理解为系统的“重力”。无论分布式环境多么复杂，这些规则都不应被打破。例如：
- 一个订单必须有对应的有效用户ID。
- 退款金额不能超过原订单金额。
- 每个支付流水必须关联一个已完成的订单。
当数据违反这些规则时，系统就陷入了“无效状态”（invalid state）。虽然数据库可能仍然含有这些记录，但在业务语义上它们毫无意义，甚至会产生严重的经济或信誉损失。
违反不变量的常见原因
在分布式系统中，域不变量被违反通常源于以下几种场景：
- 竞态条件（Race Condition）：多个服务并发处理同一实体时，未使用正确锁或原子操作。
- 最终一致性延迟：消息队列中的事件可能乱序到达，例如退款事件先于订单创建事件被消费。
- 事务边界不足：跨服务操作缺少全局ACID保证，部分成功部分失败导致数据碎片。
- 缺少幂等性与重试机制：重复或丢失的消息造成数据重复或缺失。
这些因素叠加，常常会导致一种经典案例——“幽灵退款”。
案例：幽灵退款
想象一个电商平台，退款服务独立运行并消费队列中的退款事件。某次运维中，团队发现数据库中出现了大量“无主退款”：退款记录存在，但对应的订单记录在订单数据库中根本查不到。
这种情况是如何发生的？可能的路径如下：
- 支付网关提前发送了退款通知（由于重试或网络延迟）。
- 退款微服务消费事件时，订单创建事件尚未到达或尚未持久化。
- 退款操作直接在数据库中插入了记录，未校验关联订单是否存在。
后果：平台可能需要赔偿客户，或者面临审计
)
