迭代器设计模式的核心是分离数据存储与遍历逻辑,C++ STL通过抽象指针机制实现统一访问:vector、list等容器虽结构不同,但均提供解引用*it、递增++it、比较==/!=等操作,符合输入迭代器基本要求,而vector等支持随机访问的容器还额外支持+ n、-n等随机访问操作。

迭代器设计模式的核心是将数据的访问逻辑与遍历操作分离,让使用者能以统一方式遍历不同容器。C++ STL 中这一思想体现得淋漓尽致:vector、list、set 等容器各自内部结构差异巨大,但都能用相似的迭代器语法进行遍历。
要实现一个符合 STL 风格的自定义容器迭代器,关键在于遵循标准库的接口规范和行为约定,而不是从零发明一套机制。
理解 STL 迭代器的核心思想
STL 的迭代器本质是一种抽象指针。它不关心数据如何存储,只提供以下基本操作:
- *it:解引用,获取当前指向的元素
- ++it 或 it++:前移一位,支持遍历
- it1 == it2 和 it1 != it2:比较是否指向同一位置
这些操作构成了最基本的输入迭代器(Input Iterator)要求。更高级的容器如 vector 支持随机访问迭代器,还能做 +n、-n、
立即学习“C++免费学习笔记(深入)”;
STL 通过模板和泛化编程,让算法(如 find、sort)只依赖迭代器的操作语义,而不绑定具体容器类型。这就是“算法与数据结构解耦”的核心价值。
自定义容器中实现迭代器的基本步骤
假设我们要写一个简单的动态数组容器 MyVector,并为其添加迭代器支持。
1. 定义内部节点或数据结构
对于连续存储的 MyVector,其实不需要额外节点,直接管理一块内存即可:
templateclass MyVector { private: T* data_; size_t size_; size_t capacity_;
2. 设计嵌套迭代器类
通常将迭代器定义为容器的嵌套类,便于访问内部细节:
public:
class iterator {
public:
using value_type = T;
using pointer = T*;
using reference = T&;
using difference_type = ptrdiff_t;
using iterator_category = std::random_access_iterator_tag;
iterator(T* ptr) : ptr_(ptr) {}
reference operator*() const { return *ptr_; }
pointer operator->() const { return ptr_; }
iterator& operator++() {
++ptr_;
return *this;
}
iterator operator++(int) {
iterator tmp = *this;
++(*this);
return tmp;
}
bool operator==(const iterator& other) const {
return ptr_ == other.ptr_;
}
bool operator!=(const iterator& other) const {
return !(*this == other);
}
private:
T* ptr_;
};
3. 提供 begin() 和 end()
这是 STL 容器的标准接口:
iterator begin() { return iterator(data_); }
iterator end() { return iterator(data_ + size_); }
这样就能用范围 for 循环了:
MyVector vec = {1, 2, 3};
for (auto& x : vec) {
std::cout << x << " ";
}
提升迭代器能力:支持更多操作符
如果想让迭代器支持下标访问(it[2])、反向移动(--it)、跳跃(it + n),就需要补充更多运算符重载。
例如增加随机访问功能:
iterator operator+(difference_type n) const {
return iterator(ptr_ + n);
}
differencetype operator-(const iterator& other) const {
return ptr - other.ptr_;
}
bool operator<(const iterator& other) const {
return ptr < other.ptr;
}
同时确保 iterator_category 设置为 std::random_access_iterator_tag,这样 STL 算法(如 sort)会自动选用高效版本。
注意:完整实现随机访问迭代器需要支持全部六种比较操作和 +=/-=/[] 等,工作量较大。可考虑继承 std::iterator(已弃用)或使用 CRTP 辅助类简化,现代 C++ 更推荐手动定义类型别名并严格遵守规则。
const 迭代器的支持
为了支持 const 容器遍历,还需提供 const_iterator:
class const_iterator { ... }; // 类似 iterator,但解引用返回 const T&
并在容器中添加 const 版本的 begin/end:
const_iterator begin() const { return const_iterator(data_); }
const_iterator end() const { return const_iterator(data_ + size_); }
基本上就这些。只要遵循 STL 的接口约定,你的自定义容器就能无缝融入标准库生态,被各种泛型算法直接使用。关键是理解“迭代器即抽象指针”这一理念,不追求复杂设计,而是注重行为一致性。










