在OPA Rego中使用OR条件组合多规则的实现方案咨询

报错原因 #

any() 函数的标准设计是接收「一个可迭代对象 + 可选的元素判断规则」，用于判断可迭代对象中是否存在至少一个符合规则的元素，不支持直接传入包含多个独立布尔表达式的数组作为参数，这是触发报错的核心原因。

正确一行实现 #

直接使用原生逻辑OR运算符即可，写法更简洁且性能更优：
count(arr) != 0 || not contains(email, "test.com")

如果你的规则引擎中逻辑OR需用or关键字表示，调整为：
count(arr) != 0 or not contains(email, "test.com")

若平台仅支持函数式写法，可使用OR逻辑函数实现：
or(count(arr) != 0, not contains(email, "test.com"))

优化说明 #

• 逻辑OR运算符/OR函数自带短路执行特性：如果第一个条件count(arr) != 0判断为真，会直接跳过第二个contains函数的执行，不需要计算所有表达式的结果，比最初尝试的any()写法性能更高
• 不需要额外封装数组作为参数，语法更符合常规逻辑表达习惯，可读性更强

内容的提问来源于stack exchange，提问作者jrchew