json - jsonnetで文字列を整数に変換するにはどうすればよいですか?

Question

Jsonnet変数に数値を含む文字列があります。どうすれば整数に変換できますか?

Answer 1

Jsonnet の標準ライブラリはstd.parseInt(str)、指定された入力文字列から符号付き 10 進整数を解析できる関数を提供します。例えば：

std.parseInt("123") // yields 123
std.parseInt("-456") // yields -456

参照: http://jsonnet.org/docs/stdlib.html

Answer 2

Jsonnet 標準ライブラリはかなり薄いですが、この変換を行う Jsonnet 関数の例を次に示します。

{
    string_to_int(s)::
        local char_to_int(c) = std.codepoint(c) - std.codepoint("0");
        local digits = std.map(char_to_int, std.stringChars(s));
        std.foldr(function(x,y) x+y,
                  std.makeArray(std.length(digits),
                                function(x) digits[std.length(digits)-x-1]*std.pow(10, x)),
                  0),
}