C++迭代器分为五类：输入、输出、前向、双向和随机访问迭代器，构成能力递增的层级体系，适配不同容器的访问需求，确保算法性能最优且类型安全，如vector支持随机访问，list支持双向遍历，而forward_list仅支持前向迭代，算法通过声明所需迭代器类型实现泛型与高效。
C++的迭代器，在我看来，它就是一种抽象指针，一种巧妙的设计，让我们可以用统一的方式遍历各种不同的容器，无论是数组、链表还是树。它不只是一个简单的概念，更是一套精妙的类型系统，根据它们能执行的操作，被细致地划分为五大类：输入迭代器、输出迭代器、前向迭代器、双向迭代器和随机访问迭代器。理解这些分类，是深入C++标准库，尤其是算法部分的关键。
解决方案
简单来说，这五种迭代器类型构成了C++迭代器能力的层级体系，每一种都比前一种拥有更强大的功能，或者说，它们是针对不同场景和容器特性而设计的。
输入迭代器 (Input Iterator)这是最基础的迭代器类型，它能让你“读”数据，但只能单向、单次地读取。你可以把它想象成一个只进不退的阅读器，比如从标准输入流中读取数据。
- 可读性: 可以通过
*it
解引用来读取元素值（但不能修改）。
- 单次通过: 每次递增后，前一个位置就“忘”了，不能保证再次解引用得到相同的值。
- 可递增: 可以使用
++it
或
it++
向前移动。
- 可比较: 可以使用
==
和
!=
来比较两个迭代器是否指向同一位置。
- 典型应用:
std::istream_iterator
。
输出迭代器 (Output Iterator)与输入迭代器相对，输出迭代器是用来“写”数据的。它也只能单向、单次地写入。
- 可写性: 可以通过
*it = value
来写入元素值。
- 单次通过: 递增后，不能保证再次解引用并赋值是安全的。
- 可递增: 可以使用
++it
或
it++
向前移动。
- 典型应用:
std::ostream_iterator
。
前向迭代器 (Forward Iterator)前向迭代器在输入和输出迭代器的基础上，增加了“多遍通过”的能力，并且如果容器允许，它既可以读也可以写。你可以多次遍历同一个范围。
- 读写能力: 兼具输入迭代器和输出迭代器的能力（如果不是
const
迭代器）。
- 多遍通过: 递增后，前一个位置仍然有效，可以再次解引用。
- 可递增: 只能向前移动。
- 典型应用:
std::forward_list
的迭代器。
双向迭代器 (Bidirectional Iterator)顾名思义，双向迭代器在前向迭代器的基础上，增加了向后移动的能力。这对于需要双向遍历的容器（比如链表）非常有用。
- 可双向移动: 除了
++
，还可以使用
--it
或
it--
向后移动。
- 其他能力: 继承了前向迭代器的所有能力。
- 典型应用:
std::list
、
std::set
、
std::map
的迭代器。
随机访问迭代器 (Random Access Iterator)这是功能最强大的迭代器类型，它拥有所有前面迭代器的能力，并且支持像指针一样的算术运算，可以“跳跃”到任意位置。
- 指针算术: 支持
it + n
,
it - n
,
it += n
,
it -= n
等操作，可以在常数时间内跳跃任意步。
- 下标访问: 支持
it[n]
，直接访问相对位置的元素。
- 比较运算: 支持
<
,
>
,
<=
,
>=
等比较，可以判断迭代器之间的相对位置。
- 距离计算: 可以通过
it2 - it1
计算两个迭代器之间的距离。
- 典型应用:
std::vector
、
std::deque
、
std::string
以及原生数组的指针。
为什么C++需要这么多不同类型的迭代器？
这其实是C++设计哲学中“零开销抽象”和“最小特权原则”的体现。我们都知道，不同的数据结构，其内部实现机制差异巨大。比如，
std::vector
是连续内存，随机访问非常快；而
std::list
是链式结构，只能顺序访问。如果C++只提供一种“万能”迭代器，那么在某些容器上，为了支持那些它本身不支持的操作（比如随机访问），就不得不付出额外的性能开销，甚至根本无法实现。
所以，C++迭代器分类的出现，正是为了：
立即学习“C++免费学习笔记（深入）”；
- 性能优化： 算法可以声明它所需要的最低迭代器能力。如果一个算法只需要顺序遍历，它就声明需要前向迭代器。这样，它就可以用于
std::forward_list
，而不需要为
std::vector
上不存在的“链表遍历”特性买单。反之，如果一个算法需要随机访问，它就只接受随机访问迭代器，从而避免在链表上模拟随机访问带来的巨大性能损失。这保证了在使用特定容器时，只为所需的功能付费。
- 类型安全和编译期检查： 通过迭代器分类，编译器可以在编译时检查算法是否与容器的迭代器能力匹配。比如，你不能将一个需要随机访问迭代器的算法（如
std::sort
）应用于
std::list
的迭代器上，因为
std::list
只提供双向迭代器。这避免了运行时错误，提高了代码的健壮性。
- 抽象与泛型编程： 迭代器提供了一种统一的接口来访问不同容器中的元素，使得算法可以独立于具体的容器类型而存在。无论你用的是
vector
还是
list
，
std::find
算法都能工作，因为它只要求输入迭代器。这种抽象能力是C++泛型编程的基石。它让我们可以编写出高度通用、可复用的代码，而无需关心底层数据结构的具体细节。
如何根据容器选择合适的迭代器？
这里可能存在一点误解，我们通常不是“选择”迭代器类型，而是容器本身会“提供”它所支持的最强大（或最合适）的迭代器类型。例如：
-
std::vector
、
std::deque
、
std::string
：它们内部是连续存储的，所以天然支持随机访问，它们提供的
iterator
和
const_iterator
都是随机访问迭代器。
std::list
、
std::map
、
std::set
、
std::multimap
、
std::multiset
：这些是基于链表或树结构实现的，它们提供的迭代器是双向迭代器，因为它们可以方便地向前或向后遍历。
std::forward_list
：这是一个单向链表，所以它只提供前向迭代器。
真正的“选择”发生在编写泛型算法时。当你设计一个算法时，你需要考虑这个算法需要迭代器具备哪些最低限度的能力。
- 如果你只是想遍历并读取元素，
InputIterator
就足够了，比如
std::for_each
。
- 如果你需要写入元素，
OutputIterator
是必需的，比如
std::copy
的目标迭代器。
- 如果你需要多次遍历同一个范围，或者同时读写，
ForwardIterator
是最低要求，比如
std::replace
。
- 如果你需要向前和向后移动，
BidirectionalIterator
是必需的，比如
std::reverse
。
- 如果你需要随机访问（跳跃、下标访问、快速距离计算），那么你必须要求
RandomAccessIterator
，比如
std::sort
、
std::nth_element
。
标准库算法的文档通常会明确指出它们所需的迭代器类别。理解这一点，能帮助我们更好地使用和设计泛型算法，避免不必要的性能开销或编译错误。
迭代器失效：一个常见的陷阱和应对策略
迭代器失效（Iterator Invalidation）是C++编程中一个非常常见且令人头疼的问题，尤其是在使用某些容器时。简单来说，就是你获取了一个迭代器，但在某些操作之后，这个迭代器不再指向它原来应该指向的元素，或者更糟的是，它指向了一个无效的内存地址，导致未定义行为（通常是程序崩溃）。
这个问题主要发生在容器的底层存储结构发生变化时。不同的容器有不同的失效规则：
-
std::vector
和
std::deque
(以及
std::string
)：
- 插入操作 (
insert
,
push_back
等)：
如果插入导致容器重新分配内存（例如vector
容量不足），那么所有指向该容器的迭代器、指针和引用都会失效。即使没有重新分配，在插入点之后的所有迭代器也会失效。
- 删除操作 (
erase
,
pop_back
等)：
erase
操作会使被删除元素以及其后所有元素的迭代器失效。
pop_back
只会使
end()
迭代器和指向最后一个元素的迭代器失效。
- 解决方案： 最安全的做法是，在任何可能导致迭代器失效的操作之后，重新获取迭代器。对于
vector
，如果知道会进行大量插入或删除，可以考虑在循环中通过索引访问，或者使用
reserve
预留足够的空间来减少重新分配的次数。
- 插入操作 (
std::list
(双向链表)：
- 插入操作： 不会导致任何现有迭代器失效，因为插入只涉及局部指针修改。
- 删除操作： 只有指向被删除元素的迭代器会失效。其他迭代器不受影响。
- 解决方案： 相对于
vector
，
list
在迭代器稳定性方面表现更好。在删除元素后，通常需要确保你不再使用指向那个已删除元素的迭代器。
std::map
、
std::set
等关联容器 (基于树结构)：
- 插入操作： 不会导致任何现有迭代器失效。
- 删除操作： 只有指向被删除元素的迭代器会失效。其他迭代器不受影响。
- 解决方案： 类似
list
，这些容器的迭代器稳定性也很好。当删除元素时，确保更新你的迭代器。例如，在循环中删除元素时，通常需要
erase
方法返回下一个有效迭代器。
应对策略总结：
- 重新获取迭代器： 这是最通用也最安全的做法。在任何可能导致迭代器失效的操作（尤其是
vector
的插入/删除）之后，立即重新调用
begin()
、
end()
或
find()
等方法来获取新的有效迭代器。
- 理解容器特性： 掌握每种容器的迭代器失效规则至关重要。例如，知道
list
的迭代器在插入时不会失效，可以让你在某些场景下更放心地使用它。
- 使用返回值： 许多容器的
erase
方法会返回一个指向下一个有效元素的迭代器。利用这个返回值可以安全地在循环中删除元素。
// 示例：在循环中安全删除vector元素// 不推荐： for (auto it = vec.begin(); it != vec.end(); ++it) { if (condition) vec.erase(it); }// 推荐：for (auto it = vec.begin(); it != vec.end(); ) { if (*it == value_to_remove) { it = vec.erase(it); // erase返回下一个有效迭代器 } else { ++it; }} - 避免不必要的修改： 如果你只是需要遍历而不需要修改容器结构，尽量避免在遍历过程中执行可能导致迭代器失效的操作。
- 使用索引（对于随机访问容器）： 对于
vector
或
deque
这类支持随机访问的容器，在某些情况下，使用整数索引进行遍历和访问可能比迭代器更安全，因为它不受重新分配的影响（虽然索引本身可能需要调整）。
// 示例：使用索引遍历vectorfor (size_t i = 0; i < vec.size(); ++i) { // ...}
迭代器失效是C++中一个需要细致理解的知识点，它直接关系到程序的正确性和稳定性。掌握这些规则，能帮助我们写出更健壮、更高效的C++代码。
以上就是C++迭代器分类 输入输出前向双向随机访问的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1472103.html
微信扫一扫 
支付宝扫一扫 
