为何将C++ map迭代器赋值为end()后仍会多执行一次循环？

代码与现象 #

你的测试代码：

#include <map>
#include <iostream>
int main() {
    std::map<int, int> test_m;
    test_m[1] = 1;
    test_m[2] = 2;
    test_m[3] = 3;
    test_m[4] = 4;
    test_m[7] = 7;
    test_m[8] = 8;
    auto it2 = test_m.find(2);
    auto it7 =test_m.find(7);
    auto it_end = test_m.end();
    for (auto it = it2; it!=test_m.end(); ++it) {
        std::cout << it->second << std::endl;
        if (it->second == 3) {
            it = test_m.end();
        }
    }
}

预期输出：

2
3

实际输出：

2
3
8

原因分析 #

问题出在for循环的执行流程上：
for循环的执行顺序是：初始化it = it2 → 判断it != test_m.end() → 执行循环体 → 执行++it → 再次判断条件。

当你在循环体内把it赋值为test_m.end()后，当前循环体执行完毕，for循环会执行第三个步骤++it——也就是对已经是end()的迭代器做自增操作，这属于C++标准定义的未定义行为。

未定义行为的结果没有固定规则，这里因为std::map是基于红黑树的有序容器，自增失效的迭代器后，意外指向了容器的最后一个元素8，所以多输出了一行。

解决方法 #

直接用break跳出循环，避免对end()迭代器执行自增操作：

for (auto it = it2; it!=test_m.end(); ++it) {
    std::cout << it->second << std::endl;
    if (it->second == 3) {
        break; // 终止循环，不再执行后续的++it
    }
}

修改后就能得到预期的输出结果。

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