Число с ведущими нулями

Возникает необходимость выводить числа с ведущими нулями (например, дата вида 01.02.2010).

Небольшие кусочки кода (так называемые сниппеты) позволяют сделать это без лишних манипуляций.

Вариант 1 — функция

<?php
function numberFormat($digit, $width) {
    while(strlen($digit) < $width)
      $digit = '0' . $digit;
      return $digit;
}

Использовать достаточно просто:

<?php
$str = 1;
echo numberFormat($str, 4);
// Выведет "0001"

Вариант 2 — str_pad()

<?php
$str = '1';
echo str_pad($str, 4, '0', STR_PAD_LEFT);
// Выводит "0001"

Вариант 3 — sprintf()

<?php
$str = '1';
echo sprintf("%04d", $str);
// Выводит "0001"