何时postincrement i ++得到执行?

可能重复:
未定义的行为和序列点

在机器代码级别的C ++中,postincrement ++运算符何时执行?

优先表指示后缀++运算符为2级:表示in

int x = 0 ;
int y = x++ + x++ ;  // ans: y=0

后缀++的执行第一。

但是,似乎这条线的逻辑运算是加法首先发生(0 + 0),但是这是怎么发生的呢?

我想象的是:

// Option 1:
// Perform x++ 2 times.
// Each time you do x++, you change the value of x..
// but you "return" the old value of x there?
int y = 0 + x++ ;  // x becomes 1, 0 is "returned" from x++

// do it for the second one..
int y = 0 + 0 ;  // x becomes 2, 0 is "returned" from x++... but how?
// if this is really what happens, the x was already 1 right now.

所以,另一个选项是,虽然x ++在x + x的优先级表上更高,但由于x ++而生成的代码被插入到加法运算之下

// Option 2:  turn this into
int y = x + x ; // 
x++ ;
x++ ;

第二种选择似乎更有意义,但我对这里的操作顺序感兴趣。 具体来说,x何时改变?


我将讨论以下非常好的例子,而不是跳过UB例子的细节:

int a = 0, b = 0;
int c = a++ + b++;

现在,运算符的优先级意味着最后一行相当于:

int c = (a++) + (b++);

并不是:

int c = (a++ + b)++; // compile time error, post increment an rvalue

另一方面,后增量的语义相当于两个单独的指令(从这里开始只是一个心理图片):

a++; // similar to: (__tmp = a, ++a, __tmp) 
     // -- ignoring the added sequence points of , here

也就是说,原始表达式将被编译器解释为:

auto __tmp1 = a;         // 1
auto __tmp2 = b;         // 2
++a;                     // 3
++b;                     // 4
int c = __tmp1 + __tmp2; // 5

但只要满足以下约束条件,编译器就可以对5条指令进行重新排序(其中x>y表示x必须在y之前执行,或者xy之前):

1 > 3        // cannot increment a before getting the old value
2 > 4        // cannot increment b before getting the old value
1 > 5, 2 > 5 // the sum cannot happen before both temporaries are created

执行不同指令的顺序没有其他限制,因此以下所有有效序列都是有效的:

1, 2, 3, 4, 5
1, 2, 5, 3, 4
1, 3, 2, 4, 5
...

这个

int y = x++ + x++ ;

是未定义的行为。 任何事情都可能发生,包括一些不合理的结果,程序崩溃或其他任何事情。 只是不要那样做。


在C ++中有些东西叫做“序列点”。 如果您在没有插入序列点的情况下多次更改一个值,则行为是未定义的

考虑以下:

int x = 0;
int y = x++ + x++;

y的值可以是0,1或其他完全随机值。

底线是,不要这样做。 没有什么可以来的。 :-)

链接地址: http://www.djcxy.com/p/73227.html

上一篇: When does postincrement i++ get executed?

下一篇: Operator precedence, which result is correct?