如何在 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 Standard Library reference。