将列表中以 x 开头的每个项目放入一个新列表中 - Rego

Question

list := ["a:aqsdf", "a:asdf", "b:gfs", "b:sdf", "a:adfd", "b:asdfd"]

我希望新列表仅包含以“a”开头的项目：["a:aqsdf", "a:asdf", "a:adfd"]

我尝试过使用集合但没有成功。这在 python 中将是一件轻而易举的事，但我似乎无法理解 rego。我可以把它变成一个集合，但不知道如何挤进 if 语句(startswith(list[_], "a") == true)

Answer 1

一种方法是使用数组解析和 startswith 内置函数：

[ x | x := list[_]; startswith(x, "a")]

游乐场示例：https://play.openpolicyagent.org/p/8mQYYvUL2h

这实质上是说如果规则主体为真，则定义一个包含x 值的新数组。理解的规则体依次迭代 list 的所有索引以获取 x 的值，并且当 x 的值以 "a" 开头时为真。

参考资料：

• https://www.openpolicyagent.org/docs/latest/policy-reference/#strings
• https://www.openpolicyagent.org/docs/latest/policy-language/#comprehensions