[解決済み】PHPで文字列を整数に変換する最速の方法

質問

PHPを使用して、次のような文字列を変換する最も速い方法は何ですか。 "123" を整数に変換してください。

なぜその特定のメソッドが最速なのか？予期しない入力、たとえば "hello" や配列のようなものですか？

どのように解決するのですか？

簡単なベンチマークを設定したところです。

Function             time to run 1 million iterations
--------------------------------------------
(int) "123":                0.55029
intval("123"):              1.0115  (183%)

(int) "0":                  0.42461
intval("0"):                0.95683 (225%)

(int) int:                  0.1502
intval(int):                0.65716 (438%)

(int) array("a", "b"):      0.91264
intval(array("a", "b")):    1.47681 (162%)

(int) "hello":              0.42208
intval("hello"):            0.93678 (222%)

平均して、intval()の呼び出しは2.5倍遅く、入力がすでに整数である場合にその差は最大となります。

気になるのは なぜ とはいえ。

更新: もう一度、今度は強制力を使ってテストを実行しました。 (0 + $var)

| INPUT ($x)      |  (int) $x  |intval($x) |  0 + $x   |
|-----------------|------------|-----------|-----------|
| "123"           |   0.51541  |  0.96924  |  0.33828  |
| "0"             |   0.42723  |  0.97418  |  0.31353  |
| 123             |   0.15011  |  0.61690  |  0.15452  |
| array("a", "b") |   0.8893   |  1.45109  |  err!     |
| "hello"         |   0.42618  |  0.88803  |  0.1691   |
|-----------------|------------|-----------|-----------|

追記 私は、これらの方法のいずれかを選択する際に注意すべき、少し予期しない動作に遭遇したところです。

$x = "11";
(int) $x;      // int(11)
intval($x);    // int(11)
$x + 0;        // int(11)

$x = "0x11";
(int) $x;      // int(0)
intval($x);    // int(0)
$x + 0;        // int(17) !

$x = "011";
(int) $x;      // int(11)
intval($x);    // int(11)
$x + 0;        // int(11) (not 9)

<サブ PHP 5.3.1での動作確認済み