奇趣网|统计宝|用string.format()函数格式化字符

有时候我们想把某些长短不一的数字在前面补0变成统一长度的数字，怎么办呢？在奇趣网统计宝的网页机器人里，可以使用string.format()函数格式化字符。输入源码：

var _string = await jsx.loadcodex("return string;");
var a =  await _string.format("%08i",12345);
console.log("a:",a);
var b =  await _string.format("%08d",23456);
console.log("b:",b);

输出：

a: 00012345
b: 00023456

可以看到此源码会自动在前面补0把它补够指定长度。