design-patterns - 实现 NotSpecification 的好方法：isSpecialCaseOf?

Question

我正在实施规范模式。NotSpecification 起初看起来很简单：

NotSpecification.IsSpecialCaseOf(otherSpecification)
    return !this.specification.isSpecialCaseOf(otherSpecification)

但它不适用于所有规格：

Not(LesserThan(4)).IsSpecialCaseOf(Equals(5))

这应该返回 false 而不是 true。到目前为止，我认为完成 NotSpecification 的 isSpecialCaseOf 的唯一方法是实现其余的UnsatisfiedBy（在规范模式的论文中部分包含）。但也许我错过了一些更简单或合乎逻辑的洞察力，这使得这变得不必要。

问题：是否有另一种不使用remainderUnsatisfiedBy 来实现这一点的方法？

Answer 1

我试图在 Java 中实现这一点，它没有问题，remainderUnsatisfiedBy()。可能您的实现中有一些问题，这是我的：

public boolean isSpecialCaseOf(Specification spec) {
    if (spec instanceof GreaterThan) {
        return ((GreaterThan) spec).boundary > this.boundary;
    }
    return false;
}

问题在于 Not() 方法，它应该正确地构造与其参数相反的类型。

static final Specification Not(Specification spec) {
    return spec.not();
}

那么我所需要的就是为每个规范正确实现 not()，例如对于 LesserThan：

    @Override
public Specification not() {
    return new GreaterThan(boundary);
}

如果您有任何问题，请提供 GreatherThan.isSpecialCaseOf 和 Not 的实现，我会尽力提供帮助。