C++迭代器模式通过操作符重载实现遍历与容器解耦,STL容器提供begin()/end()返回满足约定(*, ->, ++, !=等)的迭代器,无需抽象基类,依托概念而非继承实现零成本抽象。

在 C++ 中实现迭代器模式,核心是抽象“遍历容器”的行为,让使用者无需关心容器内部结构,就能统一访问元素。STL 的 vector、list、map 等容器都遵循这一思想——它们各自提供 begin() 和 end(),返回符合标准的迭代器类型(如 vector<int>::iterator</int>),而这些迭代器本质上就是行为型设计模式中的“Iterator”具体实现。
一个典型的迭代器模式包含四个角色:Aggregate(聚合接口)、ConcreteAggregate(具体容器)、Iterator(迭代器接口)、ConcreteIterator(具体迭代器)。C++ 中不强制定义抽象基类 Iterator,而是通过约定(满足 operator*、operator->、operator++、operator!= 等)来体现“可迭代性”。STL 要求迭代器至少支持五种类别(Input/Output/Forward/Bidirectional/RandomAccess),但最常用的是前向和随机访问两类。
begin() 和 end() 成员函数,返回对应迭代器对象*、成员访问 ->、自增 ++(前置/后置)、相等/不等比较 ==/!=
for (auto& x : container)),迭代器还应满足可解构、可拷贝、可比较等语义要求下面是一个极简但完整的示例,模拟 std::vector 的核心迭代逻辑,帮助理解底层原理:
template <typename T>
class SimpleVec {
private:
T* data_;
size_t size_;
size_t capacity_;
<p>public:
// 迭代器定义(嵌套类,模仿 STL 风格)
class iterator {
T<em> ptr_;
public:
iterator(T</em> p) : ptr<em>(p) {}
T& operator<em>() { return </em>ptr</em>; }
T<em> operator->() { return ptr<em>; }
iterator& operator++() { ++ptr</em>; return </em>this; } // 前置++
iterator operator++(int) { iterator tmp = *this; ++ptr<em>; return tmp; } // 后置++
bool operator!=(const iterator& other) const { return ptr</em> != other.ptr<em>; }
bool operator==(const iterator& other) const { return ptr</em> == other.ptr_; }
};</p><pre class="brush:php;toolbar:false;">// 容器接口
SimpleVec(size_t n = 0) : size_(0), capacity_(n), data_(n ? new T[n] : nullptr) {}
~SimpleVec() { delete[] data_; }
void push_back(const T& val) {
if (size_ >= capacity_) {
// 简化扩容逻辑
T* new_data = new T[capacity_ ? capacity_ * 2 : 1];
for (size_t i = 0; i < size_; ++i) new_data[i] = data_[i];
delete[] data_;
data_ = new_data;
capacity_ = capacity_ ? capacity_ * 2 : 1;
}
data_[size_++] = val;
}
iterator begin() { return iterator(data_); }
iterator end() { return iterator(data_ + size_); }};
立即学习“C++免费学习笔记(深入)”;
使用方式与 STL 完全一致:
SimpleVec<int> v;
v.push_back(10);
v.push_back(20);
v.push_back(30);
<p>for (auto it = v.begin(); it != v.end(); ++it) {
std::cout << *it << " "; // 输出:10 20 30
}
// 或用范围 for(自动调用 begin/end)
for (int x : v) {
std::cout << x << " ";
}STL 选择基于“概念(Concepts)”而非“继承”的设计,根本原因是性能与泛型需求:
int arr[5]; for (int* p = arr; p != arr+5; ++p) ...),而指针无法继承也就是说,std::vector::iterator 可能是封装了指针的类,也可能是裸指针(取决于实现),只要它“表现得像迭代器”,就合法。
真实 STL 容器还提供 cbegin()/cend() 和 rbegin()/rend()。实现 const 迭代器只需:
const_iterator 类,其 operator* 返回 const T&
begin() 的 const 版本返回 const_iterator(通过 const 成员函数重载)++ 和 -- 的语义(STL 中 std::reverse_iterator 就是适配器模板)例如:const_iterator begin() const { return const_iterator(data_); }
基本上就这些。理解迭代器模式,重点不在“写一个 Iterator 类”,而在于把握“分离遍历逻辑与数据结构”的思想,以及 C++ 如何用操作符重载 + 模板 + 值语义优雅落地。STL 的设计不是炫技,是在效率、通用性与标准约束之间反复权衡的结果。
以上就是c++++如何实现一个迭代器模式_c++行为型设计模式Iterator【STL原理】的详细内容,更多请关注php中文网其它相关文章!
c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号