Почему бросает и выдерживает сравнение в 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%).
Я понимаю это === быстрее, чем == поскольку никакое приведение не должно быть сделано, но почему кастинг является переменной настолько быстрее, чем вызов какого-либо из is_*-functions?
Править: Так как все спросили о правильности, я записал этот небольшой тест:
$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?';
Это не печатает ошибки, и обе переменные не становятся измененными, таким образом, я думаю, что это работает, но я готов быть убежденным иначе.
Другое Редактирование: программа 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's results, I think it's PHP 5.2.
Решение: профилировщик я использовал (Xdebug), сделанный вызовами функции приблизительно в 3 раза медленнее (не представляя), но не влиял на кастинг, и сравнение заметно, таким образом бросая и выдерживая сравнение, казалось, было быстрее, даже при том, что это просто не было затронуто отладчиком/профилировщиком.
2 ответа
Я не могу воспроизвести. Фактически, ваша стратегия дает мне больше времени во всех случаях, кроме одного:
<?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
Приведение и сравнение были быстрее только для проверки того, является ли что-то объектом. Следуют предположения: возможно, потому, что проверка идентичности объекта требует только определения того, совпадают ли таблицы-обработчики и дескрипторы объекта, тогда как проверка идентичности массива требует, в худшем случае, сравнения всех значений.
- Возможно, в некоторых версиях PHP вызов функции занимает больше времени, чем преобразование.
- Отладчики/профайлеры значительно изменят эти отношения, так как они переопределяют обработчики вызова функций и т.д., поэтому они изменяют время вызова функций.
- Если вы оптимизируете эти вещи, вы смотрите не туда. Если ваше PHP-приложение делает что-то нетривиальное, его производительность почти никогда не улучшится от микросекундного преимущества, которое вы можете получить, пытаясь перехитрить движок, и даже если это произойдет, оно, вероятно, исчезнет в следующей версии PHP, которая изменит реализацию движка в некоторых деталях. Например, движки 5.2 и 5.3 отличаются внутренне, и в следующей версии их будет еще больше. Эти различия обычно не влияют на код, но они сделают все ваши микро-оптимизации неактуальными.
- Преобразование чего-то, что не является объектом/массивом, в объект/массив, вероятно, будет медленнее, чем проверка в целом, потому что придется создавать новый объект/массив.