为什么这种流口水的情况会导致无限循环？

Question

我正在Drools中编写一个规则集，以下情况会通过重新触发规则导致无限循环：

rule "My Rule"
    when
        a1:ObjectA()
        b1:ObjectB(field1 > 0 || a1.field1 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

以下规则更改不会导致无限循环，即当ObjectB中不再引用a1时：

rule "My Rule"
    when
        b1:ObjectB(field1 > 0 || field4 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

另一种不会导致无限循环的情况是当我将||更改为时

rule "My Rule"
    when
        a1:ObjectA()
        b1:ObjectB(field1 > 0 && a1.field1 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

从Drools文档中，我了解到调用modify（）{}将“触发重新评估知识库中匹配对象类型的所有模式”，但由于我正在修改的字段field3没有在LHS条件中使用，我认为不应该重新评估。然而，我不能肯定这与引用a1有关。字段1位于ObjectB中，但我找不到具体的原因。提前感谢！

Answer 1

它在对象级别重要，而不是字段级别。由于您修改了a1，该规则将重新计算，因为它依赖于工作内存中的ObjectA对象。注意，文档表明它将“触发对知识库中匹配对象类型的所有模式的重新评估”而不是参数值。

避免这种情况的一种方法是在左侧添加一个像field d3！=5这样的约束。那就是：

rule "My Rule"
when
  a1: ObjectA( field3 != 5 ) // <-- if field3 is already 5, don't fire the rule
  b1: ObjectB(field1 > 0 || a1.field1 in (1,2,3))
  exists(ObjectA(field2 > 10))
then
  modify( a1 ) { setField3(5) };
end

基本上，您需要使规则不再有资格重新启动。

或者，根据您的结构，您可以尝试使用无循环，但这只能防止规则在右侧立即触发时重新引用。如果您有多个修改/更新等，您可能会进入一个“更广泛的”循环场景，其中多个规则会导致重新评估。（例如：规则A进行重新评估，没有循环阻止A再次触发；然后B导致重新评估，因此A可以触发，因为没有循环不适用。）