C++反向遍历std::vector触发Segmentation fault:11问题排查

你的两段反向遍历std::vector的代码全部存在越界访问问题，dirtEntities相关循环能正常运行只是未定义行为的偶然表现，并非代码写法正确。

核心错误点：

• std::vector::end()返回的迭代器指向容器最后一个有效元素的下一个内存位置，该位置不存储有效的Entity对象，你在循环初始就把迭代器设为end()，第一次进入循环就执行window.render(*it)直接解引用非法地址，属于标准的内存越界访问，会触发未定义行为。
• 未定义行为的表现完全没有确定性：可能刚好没踩到受保护内存就正常运行，可能随机崩溃，也可能输出乱码数据，这就是你隔几次运行才出段错误、两段写法相同的代码表现不一致的根本原因。dirtEntities总共有164个元素、grassEntities有40个元素，两者的内存布局差异刚好让前者的越界访问暂时没有触发系统内存保护，不代表代码没有问题。
• 你用it >= dirtEntities.begin()作为循环终止条件本身也不合法：当迭代器从begin()位置再往前递减时，得到的是野迭代器，对野迭代器做比较运算的结果是不可预期的。

正确修复方案 #

优先使用标准库提供的反向迭代器实现反向遍历，从根源上避免越界：

// 反向渲染泥土实体
for (auto it = dirtEntities.rbegin(); it != dirtEntities.rend(); ++it) {
    window.render(*it);
}
// 反向渲染草实体
for (auto it = grassEntities.rbegin(); it != grassEntities.rend(); ++it) {
    window.render(*it);
}

反向迭代器的rbegin()方法直接返回指向容器最后一个有效元素的迭代器，rend()返回指向第一个元素前一个位置的迭代器，遍历逻辑和正向遍历完全一致，不会出现越界问题。

如果需要使用普通正向迭代器做反向遍历，要注意从最后一个有效元素开始，且不要比较非法迭代器：

// 先判断容器非空，避免空容器取prev(end())触发异常
if (!dirtEntities.empty()) {
    auto it = std::prev(dirtEntities.end());
    while (true) {
        window.render(*it);
        if (it == dirtEntities.begin()) break;
        --it;
    }
}
if (!grassEntities.empty()) {
    auto it = std::prev(grassEntities.end());
    while (true) {
        window.render(*it);
        if (it == grassEntities.begin()) break;
        --it;
    }
}

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