关于微软DDD文档示例代码中地址无效状态的两点疑问

先明确核心前提：示例中的SetAddress方法是修改已存在的_shippingAddress实例，而非创建新的地址对象，这是理解两个疑问的关键。

疑问1：若state无效，抛出异常后地址不是不会被创建吗？ #

并非如此。这个方法的作用不是创建地址，而是修改一个已经初始化完成的地址实例（_shippingAddress是类的成员变量，调用方法前就已存在）。当state验证失败抛出异常时，前面的line1、city已经完成赋值修改，此时_shippingAddress处于「部分更新」的状态——既覆盖了原有的line1和city值，又因state验证失败未完成完整更新，最终导致整个地址对象不符合业务要求的完整有效状态。

疑问2：地址第一行仅约束非空，非空即合法，为何state无效时第一行也会不合法？ #

文档所说的「地址无效」是整个地址对象的业务状态无效，而非第一行本身不合法。地址作为值对象/聚合根，业务规则要求它的所有必要属性（line1、city、state等）都满足各自的验证规则，缺一不可。哪怕line1本身符合非空约束，但state无效会导致整个地址对象不满足「完整有效」的业务要求，因此说地址处于无效状态，并非line1本身存在合法性问题。

本质上，这个示例暴露的问题是缺少事务性更新逻辑——正确的做法应该是先验证所有参数的合法性，全部通过后再批量更新地址的所有属性，避免出现部分更新导致的无效状态。

内容的提问来源于stack exchange，提问作者Álvaro García