Eliminare lo 0 davanti a un numero

[RAM_WM]

Ciao a tutti

esiste una funzione che mi permatta di eliminare uno Zero davanti a un numero?

(da 01 -> a 1...)

[Sora88]

forse

preg_replace("/^0+/","","000001");

è l'unica che mi viene in mente al momento...

[ken84]

magari così è + veloce, sinc non ho provato:

$num = 0000001;
echo "numero : ".(int)$num; 

ciao

[RAM_WM]

La seconda è perfetta.

Grazie mille ad entrambi!

[Sora88]

In effetti hai ragione, è più veloce (anche se di qualche decimillesimo di secondo XD)

[ken84]

In effetti hai ragione, è più veloce (anche se di qualche decimillesimo di secondo XD)

Il grande Valentino Rossi ha provato a vincere gare per 'qualche decimillesimo di secondo'

A parte gli scherzi, non l'avevo provata in termini di 'velocità di esecuzione' rispetto alla tua, ma mi pareva che la funzione preg_replace fosse + lenta del cast, magari sto dicendo una boiata, ma mi sembra di averlo letto in qualche post...
CMQ come dice sempre un mio collega 'l'importante è che funzioni'

ciao

[Sora88]

Si si lo sapevo anche io che è più lenta ma era l'unica cosa che mi veniva in mente in quell'istante...
ho provato, si passano una decina di microsecondi

Originariamente inviato da ken84
CMQ come dice sempre un mio collega 'l'importante è che funzioni'

ciao