OPA Rego 函数语句评估顺序

Question

package play


exists(obj, a) {
   obj[a]
}


hello {
     exists(input, "department")
     contains(input["location"], "London")
}

world {        
    contains(input["location"], "London")
    exists(input, "department")    
}

输入 = { “部门”：“英语”， “位置”：“伦敦”}

上面的代码只匹配 hello。为什么world即使条件相同也不匹配，但顺序相反？

Answer 1

语句的顺序无关紧要。你真的找到了a bug！

如果您稍微更改示例，以便不使用 input 作为第一个参数调用 exists，而是使用类似 exists(input.user, "department") 的名称，然后您更新输入文档以反映这一点：

{"user": {"department": "Eng", "location": "London"}}

您将观察到正确的行为（例如，world { contains(input.user["location"], "London"); exists(input.user, "department") }）。