为何std::vector反向迭代器循环在g++正常却在Visual C++报错？

这个问题的核心是你的代码里存在未定义行为（Undefined Behavior），而不同编译器对未定义行为的处理策略不一样，才导致了跨平台的表现差异。

问题出在哪？ #

先仔细拆解你的for循环执行顺序：

for (auto it = words.end(); it >= words.begin(); it--) {
    std::string word = *it; // 第一次循环时，it是end()！
    // ...
}

for循环的执行流程是固定的：

1. 初始化 it = words.end()——这是一个尾后迭代器，指向容器最后一个元素的下一个位置，本身是绝对不能被解引用的
2. 判断 it >= words.begin()：尾后迭代器满足这个条件，直接进入循环体
3. 执行循环体里的 *it：此时it还是end()，解引用尾后迭代器是C++标准明确禁止的未定义行为！

为什么GCC和VS表现不同？ #

未定义行为的特点就是没有固定的执行结果，编译器完全可以自由处理：

• GCC（Linux）：它的STL实现默认不会对尾后迭代器的解引用做强制检查，你的代码“侥幸”运行出了预期结果，但这完全是偶然的——如果后续修改代码、调整编译选项（比如开启更严格的调试检查），程序随时可能崩溃或输出错误结果。
• MSVC（Visual Studio）：它的STL在调试模式下默认启用了迭代器调试机制（通过_ITERATOR_DEBUG_LEVEL控制），会主动检查迭代器的有效性，一旦发现解引用尾后迭代器这种非法操作，就直接抛出异常，帮你提前发现代码中的bug。

正确的反向遍历+删除元素写法 #

既然你要反向遍历并删除元素，这里有两种可靠的写法：

写法1：使用反向迭代器std::reverse_iterator #

反向迭代器专门用于反向遍历容器，需要注意的是，反向迭代器转正向迭代器时要调整位置：

std::vector<std::string> words{"A", "B", "C"};

for (auto it = words.rbegin(); it != words.rend(); ) {
    std::cout << *it << std::endl;
    if (*it == "B") {
        // reverse_iterator的base()返回指向当前元素下一个位置的正向迭代器，所以要先取next
        it = decltype(it)(words.erase(std::next(it.base())));
    } else {
        ++it;
    }
}

写法2：调整正向迭代器的循环逻辑 #

先把迭代器移动到最后一个有效元素，再开始处理，彻底避免碰尾后迭代器：

std::vector<std::string> words{"A", "B", "C"};

auto it = words.end();
while (it != words.begin()) {
    --it; // 先移动到有效元素位置再处理
    std::string word = *it;
    std::cout << word << std::endl;
    if (word == "B") {
        // erase返回指向被删除元素后第一个元素的迭代器，直接复用即可
        it = words.erase(it);
    }
}

你提到的整数索引方案 #

这个方案确实直观可靠，适合对迭代器操作不太熟悉的场景：

std::vector<std::string> words{"A", "B", "C"};

for (int i = words.size() - 1; i >= 0; --i) {
    std::string word = words.at(i);
    std::cout << word << std::endl;
    if (word == "B") {
        words.erase(words.begin() + i);
    }
}

总结 #

你的代码问题本质是违反了标准库迭代器的使用规则，触发了未定义行为，导致跨平台表现不一致。记住：尾后迭代器永远不能被解引用，处理迭代器时一定要严格遵循标准库的规范。

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