[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]

Ciao, è molto semplice:
$num = 12;
$str = sprintf ("%06d", $num);

Adesso $str contiene "000012".


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