C++：erase操作后迭代器指向及无效迭代器判断问题咨询

结合你的代码和std::map的迭代器特性，拆解问题如下：

1. erase操作后迭代器的状态 #

std::map基于红黑树实现，迭代器有明确的有效性规则：

• 调用erase(it)删除元素时，只有指向被删除元素的迭代器会失效，其他迭代器（包括尾后迭代器end()）均保持有效。
• 对应你的代码：
  • it是指向容器唯一元素的迭代器，erase后直接失效，不能再进行任何操作。
  • n_it是通过next(it, -1)得到的end()迭代器，erase后依然有效，因为它未指向被删除元素。
  • nn_it是通过next(n_it, -1)得到的迭代器——由于容器只有一个元素，end()的前一个位置就是该元素，所以nn_it和it指向同一个元素。erase后，nn_it因指向被删除元素而失效。

2. 为什么erase后无法比较nn_it与end()？ #

失效的迭代器处于未定义状态，任何对它的操作（包括和end()比较、解引用）都是未定义行为，可能导致程序崩溃、输出异常或运行报错，这就是你遇到问题的核心原因。

3. 如何判断迭代器是否失效？ #

std::map没有提供直接检查迭代器有效性的API，需通过代码逻辑规避失效迭代器的使用：

• 避免生成非法迭代器：确保迭代器的移动操作合法，比如不要对空容器的begin()/end()进行移动；对end()递减时，必须保证容器非空。
• 跟踪迭代器指向的元素：若迭代器指向的元素被erase，该迭代器立刻失效，必须停止使用。
• 利用erase的返回值：erase()会返回指向被删除元素下一个位置的有效迭代器，可用来更新迭代器，避免失效，示例：

  auto it = test_m.begin();
  it = test_m.erase(it); // erase后it变为下一个有效迭代器（此处为end()）
  

代码修正示例 #

调整逻辑，避免使用失效迭代器：

std::map<int, int> test_m;
test_m[1] = 1;
auto it = test_m.begin();
auto n_it = next(it, -1); // 得到end()
// 明确判断容器非空后，再获取最后一个元素的迭代器
auto nn_it = test_m.empty() ? test_m.end() : prev(test_m.end());

std::cout << it->second << std::endl;
if (!test_m.empty()) {
    std::cout << nn_it->second << std::endl;
}
if (n_it == test_m.end()) {
    std::cout << "n_it is end." << std::endl;
}

// 用erase返回值更新迭代器，避免使用失效的it
it = test_m.erase(it);

// 仅使用有效迭代器进行操作
if (it != test_m.end()) {
    std::cout << it->second << std::endl;
}

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