C++遍历大小为1的vector末尾n个元素时反向迭代溢出错误

你的猜测完全正确，问题出在**vector::size()返回的是无符号整数类型size_t**，当它和有符号的int变量做运算或比较时，C++会触发隐式类型转换，把有符号的int转成无符号数，这就导致了逻辑异常。

具体出错过程拆解 #

当vec.size() = 1、n = 1时：

1. 循环初始值i = vec.size() - 1：1 - 1 = 0，此时i是int类型的0。
2. 第一次循环执行后，--i让i变成int类型的-1。
3. 比较条件i >= vec.size() - n：右边vec.size() - n是size_t类型的0，左边的int-1会被强制转换为size_t类型——无符号数中没有负数，-1会被解释成该类型的最大值（比如64位系统下是18446744073709551615），这个值显然大于等于0，所以循环条件成立，继续执行。
4. 此时用i = -1访问vec[i]，直接触发数组越界错误。

解决方法 #

方法1：使用反向迭代器（最安全，推荐）

C++的反向迭代器天然适合反向遍历容器，完全避开索引类型问题：

vector<int> vec{7};
int n = 1;
auto iter_start = vec.rbegin();
auto iter_end = next(iter_start, n); // 从反向开始位置往后移动n个
for (auto it = iter_start; it != iter_end; ++it) {
    // 对*it执行操作，*it就是当前遍历的元素
}

方法2：统一使用有符号整数类型

先把vec.size()强制转换为int，避免隐式类型转换：

vector<int> vec{7};
int n = 1;
int vec_size = static_cast<int>(vec.size());
for (int i = vec_size - 1; i >= vec_size - n; --i) {
    // 对i和vec[i]执行操作
}

注意：这种方式要求vec的大小不能超过int的取值范围，一般业务场景下足够用。

方法3：通过计数遍历倒数n个元素

直接按次数循环，每次计算倒数第k个元素的索引：

vector<int> vec{7};
int n = 1;
for (int k = 1; k <= n; ++k) {
    int idx = static_cast<int>(vec.size()) - k;
    // 对idx和vec[idx]执行操作
}

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