规范模式和布尔运算符优先级

Question

在我们的项目中，我们使用布尔运算符实现了规范模式（参见 DDD p 274），如下所示：

public abstract class Rule {

    public Rule and(Rule rule) {
        return new AndRule(this, rule);
    }

    public Rule or(Rule rule) {
        return new OrRule(this, rule);
    }

    public Rule not() {
        return new NotRule(this);
    }


    public abstract boolean isSatisfied(T obj);
}


class AndRule extends Rule {

    private Rule one;
    private Rule two;

    AndRule(Rule one, Rule two) {
        this.one = one;
        this.two = two;
    }

    public boolean isSatisfied(T obj) {
        return  one.isSatisfied(obj) && two.isSatisfied(obj);
    }
}

class OrRule extends Rule {

    private Rule one;
    private Rule two;

    OrRule(Rule one, Rule two) {
        this.one = one;
        this.two = two;
    }

    public boolean isSatisfied(T obj) {
        return one.isSatisfied(obj) || two.isSatisfied(obj);
    }
}

class NotRule extends Rule {

    private Rule rule;

    NotRule(Rule obj) {
        this.rule = obj;
    }

    public boolean isSatisfied(T obj) {
        return !rule.isSatisfied(obj);                
    }
}

它允许使用方法链接很好地表达规则，但它不支持标准运算符优先级规则，而标准运算符优先级规则可以 导致细微的错误。

以下规则不等价：

Rule<Car> isNiceCar  = isRed.and(isConvertible).or(isFerrari);
Rule<Car> isNiceCar2 = isFerrari.or(isRed).and(isConvertible);

如果汽车不是敞篷车，则不满足规则 isNiceCar2，这可能会令人困惑，因为如果它们是布尔值

isRed && isConvertible || isFerrari

would be equivalent to

isFerrari || isRed && isConvertible

我意识到，如果我们将 isNiceCar2 重写为 isFerrari.or(isRed.and(isConvertible))，它们将是等效的，但两者在语法上都是正确的。

我们能想到的最好的解决方案是禁止方法链接，并使用构造函数来代替：

OR(isFerrari, AND(isConvertible, isRed))

有人有更好的建议吗？

Answer 1

您的“构造函数”解决方案听起来是正确的（至少在语义上），因为它强制构建更接近表达式树而不是链的东西。另一种解决方案是将评估功能从规则实现中取出，以便可以强制执行优先级（通过遍历链）。