前置自减（--x）立即修改并返回新值，后置自减（x--）先返回原值再修改；重载时前置无参返引用，后置需int参数返值；指针/迭代器使用前须确保可递减；复合表达式中多次修改同一变量易引发未定义行为。
前置自减和后置自减的行为差异
前置自减（--x）立即修改变量值并返回新值；后置自减（x--）先返回原值，再修改变量。这个区别在表达式中非常关键，比如用在循环条件或函数参数里时，结果可能完全不同。
- 如果只是单独写
--i;或i--;，两者效果一样，都让i减 1 - 但放在复合表达式里就不同了：
arr[--i]访问的是i-1位置，而arr[i--]访问的是当前i位置，之后才减 - 对用户自定义类型（如迭代器），后置版本通常要构造临时对象，性能略差
重载自减运算符的常见写法
重载时必须区分前置和后置：前置版本无参数，后置版本带一个 int 占位参数（不是用来传值的，只是语法标记）。返回类型也有讲究——前置一般返回引用，后置返回值（通常是原值的副本）。
class Counter {
int val;
public:
Counter(int v) : val(v) {}
// 前置自减：返回引用，支持链式调用
Counter& operator--() {
--val;
return *this;
}
// 后置自减：参数 int 是语法要求，不使用
Counter operator--(int) {
Counter old = *this;
--val;
return old;
}
};- 忘记后置版本的
int参数会导致编译错误：no match for 'operator--' - 前置版本如果返回
Counter（而非Counter&），会多一次拷贝，且无法用于左值场景（如(--c).do_something()） - 后置版本里不能直接
return *this--;，那会无限递归
在指针和迭代器中怎么安全使用
对指针或标准容器迭代器，--it 是合法操作，但前提是 it 不是 begin() —— 否则行为未定义。尤其要注意 vector/string 的随机访问迭代器支持 --，但 list/forward_list 的前向迭代器不支持（只能用 -- 的是双向或随机访问迭代器）。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::vector<int>::iterator支持--it，但std::forward_list<int>::iterator不支持，编译失败 - 对原始指针，
p--等价于p = p - 1，前提是p指向数组内或末尾的合法地址 - 循环中倒序遍历时，常用
for (auto it = cont.end(); it != cont.begin(); ) { --it; /* use *it */ }，注意不能先--it再判断是否等于begin()
容易被忽略的副作用和求值顺序问题
C++17 之前，像 i = i-- + 1 这类表达式是未定义行为（UB），因为 i 在同一表达式中被多次修改且无序列点分隔。C++17 起部分明确了顺序，但涉及自减的复合赋值仍需谨慎。
立即学习“C++免费学习笔记（深入）”；
- 避免在同一个表达式中多次读写同一变量：
func(x--, x)、a[i] = i--都是危险的 - 宏定义里误用自减也很常见，比如
#define MAX(a,b) ((a) > (b) ? (a) : (b))，调用MAX(i--, j--)会导致某个变量减两次 - 调试时发现值“跳变”或“没变”，往往是因为自减的位置和时机理解错了，建议拆成独立语句验证
真正麻烦的不是语法记不住，而是它混在复杂表达式里时，连你自己都看不出哪次减了、哪次用了旧值。写完记得检查有没有把 -- 当成“只是减一”的简单操作来用。
