字符串前导零的整数

Question

下午好，

我对后记非常陌生，正在研究XMPie应用程序的图形元素编码以进行后合成集成。

有些麻烦，我无法将整数转换为3位填充字符串。

IE 1->“ 001”，20->“ 020”，400->“ 400”

非常感谢朝正确方向的任何推动。

Answer 1

/padthree
{
  1000 add 7 string cvs 1 3 getinterval
} def

1 padthree

例如：

/padthree
{
  1000 add 7 string cvs 1 3 getinterval
} def
1 padthree
5 padthree
40 padthree
stack

输出

040
005
001
PS<SSS>