如何在tcl中用零填充数字到特定长度？

Question

我需要填充一个特定长度的数字（例如8），其中输入数字可以是任意长度。

示例：如果输入的数字是123456，我想将其填充为12345600

如果我知道所有输入数字的长度都相同（例如6），我会做类似的事情

[format "$input_num%02d" 0]

但是由于输入数字的长度可以变化，我该如何实现呢？显然，以下内容不起作用：

set cur_length [expr[llength[split $input_num ""]]
set padding [expr 8 - $cur_length]
set padded_num [format "$input_num%${padding}d" 0]

任何帮助表示赞赏。

谢谢。

Answer 1

这很简单，实际上：

format %-08s $input_num

数字也是字符串，因此可以像字符串一样左对齐。

文档：格式