数据类型转换问题

Question

现有一随机string数据，格式：0001，需要增加一之后依然是string型切格式还是有前导零且位数为4位，即0002。代码怎么写？或者用什么函数可以实现？注意：0001只是举个例子，既然是随机数，任何带前导零的4位数字都有可能。

Answer 1

$a = '0001';
echo sprintf('%04d', $a+1);

Answer 2

echo sprintf('%04d', $a+1);

Answer 3

$number="000".rand(1,9);
echo sprintf('%04d', $number+1);

Answer 4

<?php
$sStr = '000'.rand(1,9);
var_dump($sStr);
?> 不知道是不是这个意思 

Answer 5

echo sprintf('%04d', $number+1);这里 sprintf 方法 谁可以解释一下吗？ 
我刚入门。。 不懂的函数太多了 。。 谢谢!

Answer 6

都没理解透我的意思啊。。算了，后来我自己想到办法了，如下：
假设$number就是那个随机数（1到9998都有可能）：
$length = 4-strlen($number+1);
$str = '';
for($i=0;$i<$length;$i++){
  $str .= '0';
}
$myStr = $str.$number;$myStr就是我想要的字符串了，我并非要输出这个字符串，而是要把他放到数据库中去。