jsonnet - 如何在 JSONNET 中合并两个数组？

Question

例如，如果我有两个数组，

local array1 = [0,6,12];
local array2 = std.range(10,15);

我想要一个数组[0,6,10,11,12,13,14,15]（不特别关心元素的顺序，只是不想重复）

我怎样才能将其作为一个联合操作来执行，该操作适用于任何两个数字数组？

Answer 1

JSonnet 具有std.setUnion此用例的功能。您的结果可以通过以下方式找到：

local result = std.setUnion(array1, array2);

有关更多详细信息，请参阅Jsonnet 标准库参考。