我经常在DDD中看到术语“不变量”.
Here Dino Esposito谈论它.如果我查看.NET库,我会看到一个
ValidationAttribute类.不变量和验证规则是否相同？例如,如果订单总额超过250美元是不变量,我可以说50％的折扣是可用的吗？
或者它们是不同的,其中不变量是保护对象变得无效,验证是检查对象的有效性,即使它已经改变了它的状态(它可能处于有效或无效状态)？在上面的例子中,如果我使用不变量,我在更新折扣之前检查不变量,并且在验证的情况下,我应用50％折扣然后检查有效性(对象已经处于无效状态).
解决方法
绝对地,验证是批准给定对象状态的过程,而在该状态甚至达到之前发生不变执行.
一个必然结果是,不变执行最好由自身变异(或创建)的东西执行,如自我保护反射,而验证通常由第三方完成.
Always valid学派主张使用不变量而不是验证.我认为它与DDD和Aggregates完美配合.
