echo $begrüßung;
"As noted above unfortunately many PHP developers are seemingly unaware of these functions and are still using less efficient equivalents."
Nun, ich kann keinen signifikanten Laufzeitunterschied zwischen is_numeric($s{0}) und ctype_digit($s{0}) feststellen. Im Gegenteil, mal war das eine schneller, mal das andere.
Versuchsaufbau: [*]
define('LOOP', 100000);
$s = '42foobar';
$start = microtime(true);
for ($i= 0; $i < LOOP; $i++)
$a = is_numeric($s{0});
$ende = microtime(true);
printf('%19f', $ende - $start);
echo '<br>';
$start = microtime(true);
for ($i= 0; $i < LOOP; $i++)
$a = ctype_digit($s{0});
$ende = microtime(true);
printf('%19f', $ende - $start);
echo "$verabschiedung $name";
[*] Getestet mit PHP 5.0. Wer 4.x verwenden möchte, sollte microtime_float() aus Example 1 verwenden.