具有递增的非直观表达式评估

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运营商的文档页面说明(重点是我的):

运算符优先级和关联性仅确定表达式的分组方式,它们不指定评估顺序.PHP(在一般情况下)不指定评估表达式的顺序,并且应该避免采用特定评估顺序的代码,因为行为可以在PHP版本之间或根据周围代码进行更改.

只有偶然,PHP为其他表达式计算的值与您假设的值匹配.当使用不同版本的PHP解释器执行代码时,它们的值可能不同.

Answer 2

PHP(在一般情况下)不指定表达式的评估顺序,应该避免采用特定评估顺序的代码[...]

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

您得到不同结果的原因是有时首先评估右操作数,有时是左操作数.PHP不保证操作的顺序,所以没有正确的答案,这完全属于未定义的行为类别.

Answer 3

根据PHP手册

运算符优先级和关联性仅确定表达式的分组方式,它们不指定评估顺序.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++;遵循相同的模式,但似乎没有.