C++自减运算符怎么使用

小助手版主

社区管理

站长杂谈 34 浏览 0 回复

前置自减（--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::iterator 支持 --it，但 std::forward_list::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--) 会导致某个变量减两次
调试时发现值“跳变”或“没变”，往往是因为自减的位置和时机理解错了，建议拆成独立语句验证

真正麻烦的不是语法记不住，而是它混在复杂表达式里时，连你自己都看不出哪次减了、哪次用了旧值。写完记得检查有没有把 -- 当成“只是减一”的简单操作来用。