实现 NotSpecification: isSpecialCaseOf 的好方法？

Question

我正在实施规范模式。 NotSpecification 乍一看似乎很简单：

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

但它并不适用于所有规范：

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

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

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

Answer 1

我尝试在 Java 中实现这一点，它没有出现任何问题，也没有剩余的 UnsatisfiedBy()。可能您在实现中遇到了一些问题，这是我的：

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 的实现，我会尽力提供帮助。