子表达式的未定义行为

Question

这是否会导致未定义的行为，因为评估顺序未指定？

int i = 0, j = 0, k = 0;
int result = i++ + ++j + k++;

Answer 1

不，求值结果不取决于子表达式的未指定求值顺序。

未定义行为仅在影响同一对象的两个副作用相对于彼此不排序或者同一对象的副作用和值计算不排序的情况下才会发生。前缀和后缀增量的副作用和值计算都是显式排序的。

Answer 2

评估的顺序未指定，但谁在乎呢？每个操作数作用于一个完全不同的对象。这里没有什么未定义的。

Answer 3

不，行为是完全明确定义的：j 递增，然后执行加法，然后 i 和 k 递增。唯一未指定的是 i 和 k 上增量的执行顺序。后置条件为 i==1、j==1、k==1、result==1 。

Answer 4

规则是，如果多次修改变量，则结果是不确定的。在你的例子中你还没有这样做。

Answer 5

这里很好，因为您不会两次使用同一个变量。

你所拥有的相当于：

int i = 0, j = 0, k = 0;
++j;
int result = i + j + k;
++i;
++k;

如果你改为 int result = i++ + ++i + i++; 那么你就会遇到问题，因为增量的顺序未指定，并且你依赖于根据该命令。

Answer 6

这里结果将始终为 1。j、k、i 的值将全部为 1。另外，请注意多个变量声明的分隔符是 ,，而不是 ; :

int i=0, j=0, k=0;

Answer 7

不，这是一个经典/众所周知的 C++ 序列点问题，请参阅此处的链接了解更多详细信息
http://en.wikipedia.org/wiki/Sequence_point

Answer 8

这里：

int result = i++ + ++j + k++;

也是等价的：

<SP>
(a1)int t1 = i;     // i++ part one: The result of post-increment is the original value
(a2)     i = i + 1; // i++ part two: the increment part separated from the result
(b1)     j = j + 1;
(b2)int t2 = j;     // The result of pre-increment is the new value
(c1)int t3 = k;     // k++ part one: The result of post-increment is the original value
(c2)     k = k + 1;
(d) int t4 = t1 + t2;
(e) int t5 = t3 + t4;    
(f) int result = t5;
<SP>

约束是：

(a1) is before (a2)
(a1) is before (d)
(b1) is before (b2)
(b2) is before (d) 
(c1) is before (c2)
(c1) is before (e)
(d)  is before (e)
(e)  is before (f)

只要保持上述约束，指令就可以按照编译器的喜好重新排序。但约束保证了结果的格式良好。