生成器模式验证-有效的Java

Question

在Effective Java(第二版)的第2项中，作者提到了以下关于在使用构建器时对参数施加不变量的内容:

在将参数从构建器复制到对象后，必须检查它们，并在对象字段而不是构建器字段上检查它们（项目 39）。如果违反任何不变量，则生成方法应引发非法状态异常（项 60）。

这是否意味着构建方法创建目标对象后，应该将其传递给验证例程以进行任何所需的验证？

另外，有人能解释一下这背后的原因吗？

Answer 1

构建器的build（）方法通常会调用它正在构建的类的私有构造函数。这就是为什么构建器通常被实现为静态嵌套类，因此它们可以访问私有构造函数。构造函数是验证发生的地方。即使您没有使用构建器模式，构造函数也有责任确保对象在创建时处于有效状态。构造函数应该创建防御副本（EJ第39项）并验证新对象的字段，而不是构建器的字段，因为在复制字段时构建器可能会发生突变。

Answer 2

对象验证是使用构建器创建对象的一个组成部分。虽然您可以有一个单独的例程来执行验证，但不需要这样的分离：验证代码可以是执行构建的函数的一部分。换句话说，您可以这样做

TargetObject build() {
    TargetObject res = new TargetObject();
    res.setProperty1();
    res.setProperty2();
    validate(res); // This call may throw an exception
    return res;
}

void validate(TargetObject obj) {
    if (...) {
        throw new IllegalStateException();
    }
}

或者这个：

TargetObject build() {
    TargetObject res = new TargetObject();
    res.setProperty1();
    res.setProperty2();
    if (...) {
        throw new IllegalStateException();
    }
    return res;
}

重要的是验证发生在目标对象构建之后，而不是之前。换句话说，您需要验证对象的状态，而不是构建者的状态。