PHP设置int长度

Question

好的简单问题

我有像

这样的集成商

5
188
4634

他们都需要合并到

0000000005
0000000188
0000004634

它可以成为无关紧要的字符串。

Answer 1

sprintf就是这个功能：

$num = sprintf("%010d", $num);

Answer 2

str_pad

echo str_pad($str, 10, "0",STR_PAD_LEFT);

Answer 3

<?php
#how many chars will be in the string
$filltotal = 10;
$number = 5;
#with str_pad function the zeros will be added
 echo str_pad($number, $fill, '0', STR_PAD_LEFT);

//结果：0000000005

Answer 4

替代方案是str_pad：

echo str_pad($num, 10, "0", STR_PAD_LEFT);

Answer 5

你可以通过这个来实现。

$val = 12;
for($i=0;$i<(10 - count($val));$i++)
{
    $str .= '0';
}
$final_val = $str.$val;