何时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
之前执行,或者x
在y
之前):
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