如何转换这个 ["a", "b", "c", "d"]
进入
“A B C D”
在 JSONNET ( https://jsonnet.org/ref/stdlib.html )
存在一个std.toString
功能,它可能确实想要你想要的。例如std.toString(["a", "b", "c", "d"])
结果是一个字符串["a", "b", "c", "d"]
。它与您的示例输出略有不同"a", "b", "c", "d"
。
如果您想拥有您想要的格式,您当然可以自己构建字符串。最明显的方法是编写一个递归函数(这就是你在 Jsonnet 中迭代的方式):
local arrayToString(arr) =
local aux(arr, index) =
// Assuming escapeStringJson is how you want to serialize
// the elements. Of course you can use any other way
// to serialize them (e.g. toString or manifestJson).
local elem = std.escapeStringJson(arr[index]);
if index == std.length(arr) - 1 then
elem
else
elem + ", " + aux(arr, index + 1)
;
aux(arr, 0);
arrayToString(["a", "b", "c", "d"])
一种更惯用的方法是使用 map 来转换数组的所有元素,然后 join 将它们合并为一个字符串:
local arrayToString(arr) = std.join(", ", std.map(std.escapeStringJson, arr));
arrayToString(["a", "b", "c", "d"])