PHP三元运算符：快还是不快？

人们喜欢优化。它们很容易理解，很容易应用……。但是不久前，在查看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[&#39;test&#39;][$i] = $i;
}
// you can also just create a big string
// $context = str_repeat(&#39; &#39;, 1000000);

// benchmark
$time = microtime(true);
for ($i = 0; $i < 100; $i++) {
    // the snippet of code to benchmark
    $tmp = isset($context[&#39;test&#39;]) ? $context[&#39;test&#39;] : &#39;&#39;;
}
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可能能够优化变量存在的情况。

以上是PHP三元运算符：快还是不快？的详细内容。更多信息请关注PHP中文网其他相关文章！