Почему кастинг и сравнение на PHP быстрее, чем is_ *?

При оптимизации функции в PHP я изменил

if(is_array($obj)) foreach($obj as $key=>$value { [snip] } 
else if(is_object($obj)) foreach($obj as $key=>$value { [snip] } 

к

if($obj == (array) $obj) foreach($obj as $key=>$value { [snip] } 
else if($obj == (obj) $obj) foreach($obj as $key=>$value { [snip] } 

Узнав о ===, я изменил это на

if($obj === (array) $obj) foreach($obj as $key=>$value { [snip] } 
else if($obj === (obj) $obj) foreach($obj as $key=>$value { [snip] } 

Изменение каждого теста с is_ * на литье привело к значительному ускорению ( > 30%).

Я понимаю, что === быстрее, чем ==, поскольку никакого принуждения не требуется, но почему это происходит быстрее, чем вызов любой из _ * -функций?

Edit: Поскольку все спрашивали о правильности, я написал это небольшое испытание:

$foo=(object) array('bar'=>'foo');
$bar=array('bar'=>'foo');

if($foo===(array) $foo) echo '$foo is an array?';
if($bar===(object) $bar) echo '$bar is an object?';

Он не печатает никаких ошибок, и обе переменные не меняются, поэтому я думаю, что это работает, но я готов к тому, чтобы убедиться в этом.

Другое Edit: Программа Artefacto дает мне следующие номера:

PHP 5.3.2-1ubuntu4.2 (64bit) on a Core i5-750 with Xdebug
Elapsed (1): 0.46174287796021 / 0.28902506828308
Elapsed (2): 0.52625703811646 / 0.3072669506073
Elapsed (3): 0.57169318199158 / 0.12708187103271
Elapsed (4): 0.51496887207031 / 0.30524897575378
Speculation: Casting and comparing can be about 1.7-4 times faster.
PHP 5.3.2-1ubuntu4.2 (64bit) on a Core i5-750 without Xdebug
Elapsed (1): 0.15818405151367 / 0.214271068573
Elapsed (2): 0.1531388759613 / 0.25853085517883
Elapsed (3): 0.16164898872375 / 0.074632883071899
Elapsed (4): 0.14408397674561 / 0.25812387466431
Without Xdebug, the extra function call didn't matter anymore, so every test (except 3) ran faster.
PHP 5.3.2-1ubuntu4.2 on a Pentium M 1.6GHz
Elapsed (1): 0.97393798828125 / 0.9062979221344
Elapsed (2): 0.39448714256287 / 0.86932587623596
Elapsed (3): 0.44513893127441 / 0.23662400245667
Elapsed (4): 0.38685202598572 / 0.82854390144348
Speculation: Casting an array is slower, casting an object can be faster, but might not be slower.
PHP 5.2.6-1+lenny8 on a Xeon 5110
Elapsed (1): 0.273758888245 / 0.530702114105
Elapsed (2): 0.276469945908 / 0.605964899063
Elapsed (3): 0.332523107529 / 0.137730836868
Elapsed (4): 0.267735004425 / 0.556323766708
Speculation: These results are similar to Artefacto results, I think it PHP 5.2.

Решение: Профайлер, который я использовал (Xdebug), вызывал вызовы функций примерно в 3 раза медленнее (даже при отсутствии профилирования), но не влиял на кастинг и сравнение заметно, поэтому кастинг и сравнение оказались более быстрыми, хотя на него просто не влияло отладчик/профилировщик.

Ответы

Ответ 1

Я не могу воспроизвести. Фактически, ваша стратегия дает мне больше времени во всех случаях, кроме одного:

<?php

class A {
    private $a = 4;
    private $b = 4;
    private $f = 7;
}

$arr = array("a" => 4, "b" => 4, "f" => 7);

$obj = new A();

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    is_array($obj) and die("err");
}

echo "Elapsed (1.1): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    ($obj === (array) $obj) and die("err");
}

echo "Elapsed (1.2): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    is_object($arr) and die("err");
}

echo "Elapsed (2.1): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    ($arr === (object) $arr) and die("err");
}

echo "Elapsed (2.2): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    is_object($obj) or die("err");
}

echo "Elapsed (3.1): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    ($obj === (object) $obj) or die("err");
}

echo "Elapsed (3.2): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    is_array($arr) or die("err");
}

echo "Elapsed (4.1): " . (microtime(true) - $t);
echo "\n";

$t = microtime(true);

for ($i = 0; $i < 500000; $i++) {
    ($arr === (array) $arr) or die("err");
}

echo "Elapsed (4.2): " . (microtime(true) - $t);

Вывод:

Elapsed (1.1): 0.366055965424
Elapsed (1.2): 0.550662994385
Elapsed (2.1): 0.337422132492
Elapsed (2.2): 0.579686880112
Elapsed (3.1): 0.402997970581
Elapsed (3.2): 0.190818071365
Elapsed (4.1): 0.332742214203
Elapsed (4.2): 0.549873113632

Листинг и сравнение были только быстрее для проверки того, что что-то является объектом. Представляется следующее: возможно, потому, что проверка идентификации объекта требует только определения того, являются ли таблицы обработчика и дескрипторы объектов одинаковыми, а проверка идентификатора массива требует, в худшем случае, сравнения всех значений.

Ответ 2

  • Возможно, в некоторых версиях PHP вызов функции займет больше времени, чем преобразование.
  • Отладчики/профилировщики значительно изменят эти отношения, так как они переопределяют обработчики вызовов функций и т.д., поэтому они меняют время, необходимое для вызова функций.
  • Если вы оптимизируете эти вещи, вы ищете не то место. Если ваше приложение для PHP делает что-то нетривиальное, его производительность почти никогда не улучшится с микросекундного преимущества, которое вы могли бы выиграть от попыток перехитрить движок, и даже если он это сделает, вероятно, уйдет со следующей версией PHP, которая в некоторых деталях изменит реализацию механизма, Например, двигатели 5.2 и 5.3 отличаются друг от друга, а следующая версия будет иметь больше различий. Эти различия обычно не влияют на код, но они сделают все ваши микро-оптимизации неактуальными.
  • Преобразование того, что не является объектом/массивом для объекта/массива, вероятно, будет медленнее, чем проверка вообще, потому что ему придется создать новый объект/массив.

Ответ 3

Я просто хочу добавить, что сравнение сравнения выполняется только для небольших массивов/объектов.

for ($i = 0; $i < 10000; $i ++) {
   $arr[] = $i;
}

$t = microtime(true);
for ($i = 0; $i < 5000; $i ++) {
   is_array($arr);
}
echo "Elapsed: " . (microtime(true) - $t) . "\n";

$t = microtime(true);
for ($i = 0; $i < 5000; $i ++) {
   ($arr === (array)$arr);
}
echo "Elapsed: " . (microtime(true) - $t) . "\n";

Вывод:

Elapsed: 0.0487940311432
Elapsed: 9.20055603981