単一の数字(1〜9)を(01〜09)にキャストする必要があります。方法を考えることはできますが、大きくてくて扱いにくいです。簡潔な方法があるはずです。助言がありますか
まず第一に、あなたの説明は誤解を招くものです。 Double
は浮動小数点データ型です。おそらく、文字列の先頭にゼロを追加して数字を埋めたいと思うでしょう。次のコードはそれを行います:
$s = sprintf('%02d', $digit);
詳細については、 sprintf
のドキュメントを参照してください。
str_pad もあります
<?php
$input = "Alien";
echo str_pad($input, 10); // produces "Alien "
echo str_pad($input, 10, "-=", STR_PAD_LEFT); // produces "-=-=-Alien"
echo str_pad($input, 10, "_", STR_PAD_BOTH); // produces "__Alien___"
echo str_pad($input, 6 , "___"); // produces "Alien_"
?>
str_pad を使用したソリューション:
str_pad($digit,2,'0',STR_PAD_LEFT);
PHP 5.3のベンチマーク
結果str_pad:0.286863088608
結果sprintf:0.234171152115
コード:
$start = microtime(true);
for ($i=0;$i<100000;$i++) {
str_pad(9,2,'0',STR_PAD_LEFT);
str_pad(15,2,'0',STR_PAD_LEFT);
str_pad(100,2,'0',STR_PAD_LEFT);
}
$end = microtime(true);
echo "Result str_pad : ",($end-$start),"\n";
$start = microtime(true);
for ($i=0;$i<100000;$i++) {
sprintf("%02d", 9);
sprintf("%02d", 15);
sprintf("%02d", 100);
}
$end = microtime(true);
echo "Result sprintf : ",($end-$start),"\n";