PHP - Zahlen mit Nullen auffüllen

[Matthias Apsel]

Hallo alle,

ich habe ca. 500 maximal zweistellige Zahlen, die ich ggf. mit führender Null ausgeben möchte.

// Variante 1
$zahl = $ergebnis_einer_Rechnung;
if ( $zahl < 10 ) $zahl = "0" . $zahl;

// Variante 2
$zahl = str_pad ( $ergebnis_einer_Rechnung , 2 , "0" , STR_PAD_LEFT );
/* in der Hoffnung, das PHP das Ergebnis automatisch in einen String umwandelt */

Gibt es irgendetwas, was von vorherein gegen eine der beiden Möglichkeiten spricht?
Gibt es eine weitere, bessere Variante?

Der Schreibaufwand spricht für Variante 2. Das sollte aber nun wirklich das letzte Entscheidungskriterium sein, die Zeit habe ich noch nicht gemessen.

Bis demnächst
Matthias