PHP设置int长度

Question

好的简单问题

我有像这样的集成商

5
188
4634

而且他们都需要合成

0000000005
0000000188
0000004634

它可以成为一个无关紧要的字符串.

Answer 1

sprintf 是这个功能:

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