+= 是复合赋值运算符，非单纯语法糖；它只对左操作数求值一次、要求左值、支持重载、指针运算自动缩放、类型转换更保守、字符串追加更高效，且在宏、多线程、调试及重载场景下语义更安全可靠。
加等于 += 是复合赋值，不是语法糖
很多人以为 a += b 就是 a = a + b 的简写，但其实它在语义和行为上更严格：编译器只对 a 求值一次。这意味着当 a 是带副作用的表达式（比如 arr[i++]）时，两者结果完全不同。
常见错误现象：arr[i++] += 1 只执行一次 i++；而写成 arr[i++] = arr[i++] + 1 会触发未定义行为（i 被修改两次且无序列点），多数编译器会报警或产生不可预测结果。
-
+=要求左操作数必须是可修改的左值（比如变量、数组元素），不能是字面量或临时对象 - 如果
a类型是用户自定义类，+=可被重载，而=和+是独立重载的，行为可能不一致 - 对指针使用时：
ptr += n等价于ptr = ptr + n，但底层按sizeof(*ptr)自动缩放，比手动算地址更安全
+= 在类型转换上更保守
当左右操作数类型不同时，+= 的隐式转换规则比 + 更窄。例如 short s = 1; s += 100000; 编译通过（先提升为 int 计算，再截断回 short）；但 s = s + 100000; 会触发警告：从 int 到 short 的潜在数据丢失（因为 s + 100000 结果是 int，赋值前不自动截断）。
使用场景：嵌入式或资源受限环境里，用 += 可避免中间产生不必要的宽类型临时量。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 对
unsigned char累加计数时，uc += 1不会意外升级为int再赋值失败，而uc = uc + 1在某些严格模式下直接报错 -
std::string的+=是高效追加（复用内存），而s = s + "x"会构造新临时对象再移动/拷贝，多一次分配
性能差异在优化级别下可能消失，但语义风险始终存在
现代编译器（如 GCC -O2、Clang）通常能把简单场景下的 a += b 和 a = a + b 编译成相同汇编。但别因此放松警惕——真正的问题出在可读性、维护性和边界 case 上。
容易踩的坑：
- 宏展开时：
#define VAL x[0]，然后VAL += 1安全；但VAL = VAL + 1会让x[0]出现两次，若x是 volatile 或带 getter 的代理对象，行为就错了 - 多线程环境下，
+=仍不是原子操作，不能替代std::atomic<int>::fetch_add</int> - 调试时，
+=在 gdb 中单步更“原子”，而=++可能拆成多步求值，打断点位置难控制
+= 和 + 的关系完全由程序员定义，它们可以毫无关联。哪怕 Vec3 类实现了 operator+= 做原地归一化，operator+ 却返回未归一化的副本——这时候混用就真会出逻辑 bug。 
