带有增量的不直观的表达式评估

Question

如下代码

<?php

$a=1;   $b=$a++;              var_dump($b);
$a=1;   $b=$a+$a++;           var_dump($b);
$a=1;   $b=$a+$a+$a++;        var_dump($b);
$a=1;   $b=$a+$a+$a+$a++;     var_dump($b);
$a=1;   $b=$a+$a+$a+$a+$a++;  var_dump($b);

我得到了这个结果：

int(1)
int(3)
int(3)
int(4)
int(5)

我预计是 1,2,3,4,5 而不是 1,3,3,4,5。为什么在$a=1; $b=$a+$a++;之后得到$b=3？

PHP 7.1.5-1+deb.sury.org~xenial+1 (cli)（构建时间：2017 年 5 月 11 日 14:07:52）（NTS）

Answer 1

$a=1;   $b=$a+$a++;           var_dump($b);            // int(3)

您假设上面的表达式从左到右计算如下（为了清楚起见，在解释中引入了临时变量$u和$v）：

 $a = 1;
 $u = $a;              //    ($a)   the LHS operand of `+`
 $v = $a;              //  \ ($a++) the RHS operand of `+`
 $a ++;                //  /
 $b = $u + $v;         // 2 (1+1)

但是不能保证子表达式会按照指定的顺序进行计算。 PHP operators 状态的文档页面（重点是我的）：

运算符优先级和关联性仅决定表达式的分组方式，它们不指定求值顺序。 PHP 没有（在一般情况下）指定表达式的求值顺序，并且应该避免采用特定求值顺序的代码，因为行为可能会在 PHP 版本之间发生变化，或者取决于周围的代码。

PHP 为其他表达式计算的值仅与您假设的值相匹配。当使用不同版本的 PHP 解释器执行代码时，它们的值可能不同。

Answer 2

PHP 没有（在一般情况下）指定表达式的求值顺序，并且应避免使用假定特定求值顺序的代码 [..]

http://php.net/manual/en/language.operators.precedence.php

您得到不同结果的原因是，有时首先计算右操作数，有时先计算左操作数。 PHP 不保证操作的顺序，所以没有正确答案，这完全属于undefined behaviour.

Answer 3

根据PHP manual

运算符优先级和关联性仅决定表达式的方式 是分组的，它们没有指定评估顺序。 PHP 没有 （在一般情况下）指定表达式的顺序 评估和假定特定评估顺序的代码应该 应避免，因为行为可能会在 PHP 版本或 取决于周围的代码。

<?php
$a = 1;
echo $a + $a++; // may print either 2 or 3

$i = 1;
$array[$i] = $i++; // may set either index 1 or 2
?>

奇怪的是，我本以为像 $b=$a+$a+$a++; 这样的其他行会遵循相同的模式，但似乎并非如此。