[php] riempire con zero

[Gremo]

ciao, ho un interno, preso da db, che devo "riempire" con degli zero dopo la trasformazione in stringa, es:

- numero = 12
- trasformazione in stringa
- rimpire con zero fino a che tutto sia di 6 cifre: 000012

un modo per farlo non mi viene in mente...o almeno non un modo "elegante"

[SCYHO]

bah ragionandoci potresti fare così

if($dato < 10) { $dato = "00000$dato"; }
elseif($dato < 100) { $dato = "0000$dato"; }
elseif($dato < 1000) { $dato = "000$dato"; }
elseif($dato < 10000) { $dato = "00$dato"; }
elseif($dato < 100000) { $dato = "0$dato"; }

N.B. prima di questo nn fare la trasformazionme in stringa...la fai direttamente con le virgolette " "

[andbin]

Ciao, è molto semplice:

$num = 12;
$str = sprintf ("%06d", $num);

Adesso $str contiene "000012".

[SCYHO]

Originariamente inviato da andbin

Ciao, è molto semplice:

$num = 12;
$str = sprintf ("%06d", $num);

Adesso $str contiene "000012".

beh io la funzione nn la conoscevo, mi arrangiavo come potevo
credo sia questo lo spirito giusto del programmatore