面试系列：C++ 迭代器失效该怎么处理和避免，深入解析与解决方法

什么是迭代器失效？

迭代器是 C++ STL 中用于遍历容器元素的工具。当容器中的元素被插入、删除或容器的容量发生变化时，原有的迭代器可能变得无效，指向的元素不再存在或值不正确，这种现象称为迭代器失效。

迭代器失效的原因

• 插入或删除元素：

  • 在迭代过程中插入或删除元素会改变容器的内部结构，导致迭代器指向的内存位置无效。

  • 特别是对于顺序容器（vector, deque），插入或删除元素可能会引起大量元素的移动，导致几乎所有的迭代器都失效。

• 改变容器的大小：

  • 改变容器的大小（如 resize()、clear() 等操作）会直接导致所有迭代器失效。

• 容器被销毁：

  • 当容器被销毁时，所有指向该容器的迭代器都变得无效。

迭代器失效的常见场景

• 在循环中删除元素：

  • 如果在遍历容器的同时删除元素，很容易导致迭代器失效。

• 使用返回类型为引用或指针的函数修改容器元素：

  • 如果修改操作导致元素的移动或删除，迭代器可能失效。

如何避免迭代器失效

关键点：

• 了解迭代器失效的原因

• 掌握常见的避免迭代器失效的方法

• 熟悉 C++11 的 range-based for 循环和 STL 算法库

• 在实际编程中养成良好的编码习惯，避免在循环中修改容器

1. 使用安全的迭代器：

   • C++11 引入了 range-based for 循环： 这是一种更安全的方式遍历容器，编译器会自动处理迭代器失效的问题。

   • 使用 reverse_iterator： 在删除元素时，从容器的末尾开始遍历，可以避免迭代器失效。

2. 获取新的迭代器：

   • 在插入或删除元素后，重新获取一个指向目标元素的迭代器。

3. 使用 erase-remove idiom：

   • 对于删除元素的操作，先标记要删除的元素，再使用 erase-remove idiom 一次性删除所有标记的元素。

4. 使用算法库：

   • C++ STL 提供了丰富的算法库，如 remove_if、copy_if 等，可以安全地对容器进行修改。

示例代码

#include <vector>
#include <algorithm>
int main() {
    std::vector<int> numbers = {1, 2, 3, 4, 5};
    // 错误示范：在循环中删除元素
    // for (auto it = numbers.begin(); it != numbers.end(); ) {
    //     if (*it == 3) {
    //         numbers.erase(it); // 迭代器失效
    //     } else {
    //         ++it;
    //     }
    // }
    // 正确示范：使用 erase-remove idiom
    numbers.erase(std::remove(numbers.begin(), numbers.end(), 3), numbers.end());

    // 正确示范：使用 range-based for 循环
    for (auto& num : numbers) {

        // ...
    }
}

总结

迭代器失效是 C++ 编程中一个常见的问题，理解其原因并掌握正确的解决方法是编写高质量 C++ 代码的关键。通过合理地使用迭代器，结合 C++11 的新特性和 STL 算法库，可以有效避免迭代器失效的问题，提高代码的健壮性。