人们喜欢优化。它们很容易理解，很容易应用……。但是不久前，在查看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可能能够优化变量存在的情况。