zerofill un entier php

Question

Comment pourrais-je 'remplir zéro' un entier?

Ie

1 becomes 0001
40 becomes 0040
174 becomes 0174

22

autofill fill integer php zero

demandé sur Benjamin 2009-09-18 14:02:17

2 réponses

score 63 · Answer 1

$filled_int = sprintf("%04d", $your_int)

63

répondu Palantir 2009-09-18 10:05:58

score 20 · Answer 2

$number = 12;
$width = 4;
$padded = str_pad((string)$number, $width, "0", STR_PAD_LEFT);

20

répondu Joe 2009-09-18 10:29:36