Drools布尔比较

Question

为什么false==(cancelationCode=='C')与(cancelationCode=='C')==false有不同的
？

我正在使用Drools DSL，我必须实现一个规则：

rule "my business rule"
    dialect "mvel"
    when
        There is a trade that
        - Supervised Trade
        ...
    then
        ...
end

我有这些DSL定义：

[when] Supervised Trade = 
    Customer Trade 
    AND NOT Canceled 

[when] Customer Trade = (recordTypeCode is equal to '910')
[when] Canceled = (cancellationCode is equal to 'C')

[when] is equal to = ==

[when] {var1}?(?<![\w'])\s*AND\s*(?![\w']){var2}? = {var1} && {var2}
[when] {var1}?(?<![\w'])\s*OR\s*(?![\w']){var2}? = {var1} || {var2}
[when] {var1}?(?<![\w'])\s*NOT\s*(?![\w']){var2}? = {var1} false == {var2}

要求是以肯定的方式编写可重用的DSL语句，并具有否定它们的能力。

$trade: Trade((recordTypeCode == '910') && false == (cancellationCode == 'C'))    

$trade: Trade((recordTypeCode == '910') && (cancellationCode == 'C') == false)

Answer 1

由于使用DRL6 lexer对其进行了不同的解析，因此它的行为确实不同。
org.drools.compiler.compiler.drlexprparser.parse将这些文本段保持原样，但
baseDescr expr=parser.conditionalorexpression（）；揭示了ANTLR解析器以不同的方式处理这些文本段。

将false==(cancelationCode=='C')更改为true^(cancelationCode=='C')时，出现错误：“谓词'true^cancelationCode=='C''必须是布尔表达式”。这揭示了问题的根本原因--ANTLR解析器在单个语句周围去掉大括号，这就是为什么

false == cancelationCode == 'C' -> doesn't work as expected    
cancelationCode == 'C' == false -> works as expected

但复杂语句周围没有去掉大括号,因此两者都能正常工作：

false == (true && cancelationCode == 'C')
(true && cancelationCode == 'C') == false

我会说这个‘优化’是一个bug。