有的时候需要00001这样的字符串
来源却是Int的1
这个时候就可以用sprintf方法了
$i = 3; $a=sprintf("%08d", $i); echo $a;
%0 后面的8表示补到8位数
也就是加7个0
