有的时候需要00001这样的字符串

来源却是Int的1

这个时候就可以用sprintf方法了

$i = 3;

$a=sprintf("%08d", $i);

echo $a;

%0 后面的8表示补到8位数

也就是加7个0