C语言中+=及同类复合赋值运算符的运行细节与场景确认

行为正确性确认 #

你的推测完全正确。在C语言中，复合赋值表达式x += y的返回值就是赋值完成后x的新值，因此语句uint64_t z = (x += 0x9e3779b97f4a7c15);的执行逻辑为：

1. 计算x + 0x9e3779b97f4a7c15的结果（针对无符号uint64_t类型，溢出会自动按模2^64处理，属于标准定义的合法行为）；
2. 将该结果赋值给x，更新x的当前值；
3. 同时将这个结果作为整个表达式的返回值，赋值给z。

你提到的测试代码（输出两个11）完全符合这个逻辑，示例代码如下：

#include <stdio.h>
#include <stdint.h>

int main() {
    uint64_t x = 5;
    uint64_t z = (x += 6);
    printf("%llu\n%llu\n", x, z); // 输出11和11
    return 0;
}

复合赋值运算符的常见边角情况 #

复合赋值运算符包括+=、-=、*=、/=、%=、<<=、>>=、&=、^=、|=，它们的行为遵循统一规则，以下是需要注意的关键场景：

• 副作用仅执行一次：复合赋值只会对左操作数进行一次求值。比如a[i++] += 3;中，i++只会执行一次；而如果写成a[i++] = a[i++] + 3;，则属于未定义行为——C标准未规定多次修改同一变量的执行顺序，不同编译器可能生成完全不同的结果。
• 无符号类型溢出合法：对于无符号整数类型（如uint64_t），复合赋值导致的溢出是标准明确规定的行为，结果为(x + y) mod 2^N（N为类型的位数）。例如uint64_t x = UINT64_MAX; x += 1;执行后x的值为0，完全合法。
• 隐式类型转换规则：复合赋值会自动触发C的算术类型转换。比如左操作数是int、右操作数是double时，x += y会先将x转换为double类型完成加法，再将结果转换回int赋值给x，可能导致精度丢失。
• 优先级与括号的可选性：复合赋值运算符的优先级低于算术运算符，但高于普通赋值运算符。因此uint64_t z = x += 0x9e3779b97f4a7c15;和带括号的写法效果完全一致，但添加括号能提升复杂表达式的可读性。
• 与普通赋值的不等价场景：x += y并不总是等价于x = x + y。当左操作数是包含副作用的表达式（如*ptr++）时，x += y只会求值一次左操作数，而x = x + y会求值两次，可能导致逻辑差异。

内容的提问来源于stack exchange，提问作者ArrayBolt3