1

如何转换这个 ["a", "b", "c", "d"]

进入

“A B C D”

在 JSONNET ( https://jsonnet.org/ref/stdlib.html )

4

1 回答 1

2

存在一个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"])
于 2020-04-11T09:26:10.927 回答