人们喜欢优化。它们很容易理解,很容易应用……。但是不久前,在查看Twig的pull请求时,我读到一篇关于PHP中三元运算符性能的有趣讨论。
你知道下面哪个片段是最快的吗(当然,它们做的是完全一样的)?// snippet 1
$tmp = isset($context['test']) ? $context['test'] : '';
// snippet 2
if (isset($context['test'])) {
$tmp = $context['test'];
} else {
$tmp = '';
}
正确的答案是:
视情况而定。大多数时候,它们的速度是一样的,你不需要在意。但是如果$context['test']包含大量数据,那么snippet 2要比snippet 1快得多。
下面是我用来测试不同场景的代码:$context = array('test' => true);
// optionally fill-in the test value with lots of data
for ($i = 0; $i < 100000; $i++) {
$context['test'][$i] = $i;
}
// you can also just create a big string
// $context = str_repeat(' ', 1000000);
// benchmark
$time = microtime(true);
for ($i = 0; $i < 100; $i++) {
// the snippet of code to benchmark
$tmp = isset($context['test']) ? $context['test'] : '';
}
printf("TIME: %0.2d\n", (microtime(true) - $time) * 1000);
注意,这里的绝对性能数字没有意义。我们只是想比较不同片段之间的速度。
在我的笔记本电脑上,snippet 1的运行时间超过2秒,而snippet 2的运行时间约为0.05ms。这是很大的不同!但是如果要测试的变量没有承载很多数据,那么速度几乎是一样的。
那么,为什么三元运算符在某些情况下会变慢呢?为什么它依赖于存储在测试变量中的值?
答案非常简单:
三元运算符总是复制值,而if语句不复制值。为什么?因为PHP使用了一种称为写时复制的技术:在为变量赋值时,PHP实际上不会创建变量内容的副本,直到对其进行修改。
当您编写像$tmp = $context['test']这样的语句时,几乎不会发生什么:$tmp变量只是成为$context['test']变量的引用;这就是为什么它非常快。但一旦你想修改变量,PHP需要复制原始的一个:$tmp = $context['test'];
// the copy happens now
$tmp[] = true;
// copy also happens if the original variable changes
// $context['test'][] = true;
综上所述,三元运算符的速度与复制语句结果所花费的时间直接相关,即使不是严格需要。复制100000个元素的数组需要时间。
如果您使用的是PHP 5.3,那么有一种更简单的方法可以使用新的?:construct:来表达我们的语句:$tmp = $context['test'] ?: '';
不过就性能而言,这个新构造与标准构造具有相同的缺点,即使PHP可能能够优化变量存在的情况。