如何在Tcl中使用前导零将整数转换为字符串?

gro*_*kus 8 tcl

我正在学习Tcl.在Perl中,我可以这样做:

 $ perl -e 'for ($i = 0; $i < 5; $i++) { printf("name%03d\n", $i) }'
 name000
 name001
 name002
 name003
 name004
Run Code Online (Sandbox Code Playgroud)

我可以在Tcl中这样做吗?

Sin*_*nür 28

格式:

$ tclsh
% for {set i 0} {$i < 5} {incr i} { puts [format "name%03d" $i] }
name000
name001
name002
name003
name004
Run Code Online (Sandbox Code Playgroud)