php格式化数字 位数不足前面加 0 补足

要把12显示为三位数012,位数不足时在自动前面加0占位,可以使用如下代码:

<?php
   $var = sprintf("%03d", 12);
   echo $var;
?>