a += b 不等于 a = a + b 的类型行为，因前者将右操作数隐式转为左操作数类型后原地运算，后者先升精度计算再强制转换；整型与浮点混合时，a += b 直接截断右操作数，而 a = a + b 先得高精度结果再截断，溢出或精度丢失场景下行为可能不同。
复合赋值运算符（如 +=、*=）不会改变左操作数的类型，结果类型始终是左操作数的原始类型；但右操作数会先被隐式转换为左操作数类型，再参与运算。
为什么 a += b 不等于 a = a + b 的类型行为？
表面上看，a += b 等价于 a = a + b，但类型处理逻辑完全不同：
-
a += b：先将b隐式转换为a的类型，再执行“原地加法”，最后直接赋值回a（不产生中间临时对象） -
a = a + b：先对a和b做算术转换（升到更高精度类型），计算出一个新值（比如double），再把这个值强制转回a的类型完成赋值
这意味着：当 a 是 int、b 是 double 时，a += b 会把 b 截断为 int 后相加；而 a = a + b 先算出 double 结果，再截断——两者在溢出或精度丢失场景下可能表现不同（虽然多数情况下结果一致）。
+= 在整型与浮点混合时的实际转换路径
以 int a = 5; double b = 2.7; a += b; 为例：
- 编译器不会把
a升为double，而是把b转为int（即2），再执行a = a + 2 - 等效于
a = a + static_cast<int>(b)</int>，不是a = static_cast<int>(a + b)</int> - 若
b是1e10这种超出int表示范围的值，转换为int会导致未定义行为（UB），而非静默溢出
自定义类型重载 += 时的类型约束
当你为类重载 operator+=，它的参数类型和返回类型决定了实际行为：
- 必须是成员函数，且返回
*this（通常为T&） - 参数类型可自由设计，比如
Complex& operator+=(const Complex& other)或Complex& operator+=(double real_part) - 编译器不会自动为你做隐式转换——除非你显式提供接受其他类型的重载，或该类型有可调用的转换构造函数
- 没有默认的“复合赋值隐式提升”规则；一切由你定义的函数签名和实现决定
最易被忽略的一点：复合赋值的类型安全性完全依赖左操作数类型，它不“协商”精度，只“服从”左侧。写 short x = 0; x += 100000; 时，不是 100000 被安全截断，而是整个表达式按 short 溢出规则执行——可能静默翻转，也可能触发 sanitizer 报告。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
