C++ "operator+=" 和 "operator++" 优先问题

Question

int a = 1;
a += ++a;
cout << a << endl; // 4

int a = 1;
a += a++;
cout << a << endl; // 3

为什么这两个例子有不同的行为？

Answer 1

a++ 和 ++a 做不同的事情。

a++ 将a 增加 1 并返回之前的值。

++a 将a 增加 1 并返回新值。

Answer 2

a++ 返回a 的值在增量之前。 ++a 在增量之后返回a 的值。 这就是它们不同的原因。

Answer 3

这里的区别不是三个运算符的优先级。它遵循this chart，其中a++ > ++a > a+=。

而是两个增量运算符的工作方式。当您使用++a时，您首先递增然后返回该值（新值）。而使用a++ 将首先使用旧值然后递增。 Also see here for related.

Answer 4

a += ++a;

替换为如下编译器：

a = a + 1;// a = 1 + 1
a = a + a;// a = 2 + 2 

第二个例子

a += a++;

解决如下：

a = a + a;// a = 1 + 1
a = a + 1;// a = 2 + 1

以下是操作规则： https://en.cppreference.com/w/cpp/atomic/atomic/operator_arith2 https://en.cppreference.com/w/cpp/language/operator_precedence

Answer 5

与：

a += a++;

将 a 的前一个值相加，然后将 a 加 1

与：

a += ++a;

你把已经加 1 的值加起来

Answer 6

警告：您正在查看的作业有未定义的行为。见Why are these constructs using pre and post-increment undefined behavior? 问题Undefined behavior and sequence points 中的this answer 也解决了C++17 如何解决这些问题。

您的编译器可能会以下列方式处理操作，解释不同之处：

预增操作： 以下几行：

a=2;
a+=++a;

也是等价的：

a=2;
tmp=++a;    
a+=tmp;

读作：

1. 将2赋值给变量a
2. 预增量a (++a) 赋予a 值3 并将其分配给tmp（使其变为3）
3. 将a（当前为3）的值增加tmp（当前为3）的值给我们6

后自增操作： 以下几行：

a=2;
a+=a++;

也是等价的：

a=2;
tmp=a++;    
a+=tmp;

读作：

1. 将2赋值给变量a
2. 后递增a（a++）首先返回a的原始值（即2）并将其分配给tmp（使其变为2），然后将a递增为3 的值
3. 将a（当前为3）的值增加tmp（当前为2）的值给我们5