我想用到一个格式化字符串,就是有一个长度为8的字符串,读入一数字,如1,则格式为00000001,123456则00123456,用程序写代码我是写出来了,但是,嫌不精简,看到有FORMAT STRING的函数,有谁能告诉我怎么来实现他。