首页 > 后端开发 > C++ > 正文

c++如何实现一个迭代器模式_c++行为型设计模式Iterator【STL原理】

php中文网
发布: 2025-12-13 14:47:02
原创
403人浏览过
C++迭代器模式通过操作符重载实现遍历与容器解耦,STL容器提供begin()/end()返回满足约定(*, ->, ++, !=等)的迭代器,无需抽象基类,依托概念而非继承实现零成本抽象。

c++如何实现一个迭代器模式_c++行为型设计模式iterator【stl原理】

在 C++ 中实现迭代器模式,核心是抽象“遍历容器”的行为,让使用者无需关心容器内部结构,就能统一访问元素。STL 的 vectorlistmap 等容器都遵循这一思想——它们各自提供 begin()end(),返回符合标准的迭代器类型(如 vector<int>::iterator</int>),而这些迭代器本质上就是行为型设计模式中的“Iterator”具体实现。

迭代器模式的关键角色与 C++ 实现要点

一个典型的迭代器模式包含四个角色:Aggregate(聚合接口)、ConcreteAggregate(具体容器)、Iterator(迭代器接口)、ConcreteIterator(具体迭代器)。C++ 中不强制定义抽象基类 Iterator,而是通过约定(满足 operator*operator->operator++operator!= 等)来体现“可迭代性”。STL 要求迭代器至少支持五种类别(Input/Output/Forward/Bidirectional/RandomAccess),但最常用的是前向和随机访问两类。

  • 容器需提供 begin()end() 成员函数,返回对应迭代器对象
  • 迭代器需重载基本操作符:解引用 *、成员访问 ->、自增 ++(前置/后置)、相等/不等比较 ==/!=
  • 为支持范围 for 循环(for (auto& x : container)),迭代器还应满足可解构、可拷贝、可比较等语义要求

手写一个简单 vector-like 容器及其迭代器

下面是一个极简但完整的示例,模拟 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&amp; 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 完全一致:

Remover
Remover

几秒钟去除图中不需要的元素

Remover 304
查看详情 Remover
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 迭代器不是继承自某个基类?

STL 选择基于“概念(Concepts)”而非“继承”的设计,根本原因是性能与泛型需求:

  • 避免虚函数调用开销;所有操作都是内联、零成本抽象
  • 支持原生指针作为迭代器(例如 int arr[5]; for (int* p = arr; p != arr+5; ++p) ...),而指针无法继承
  • 模板推导依赖操作符重载是否存在,而不是类型关系,更灵活(SFINAE / C++20 Concepts)

也就是说,std::vector::iterator 可能是封装了指针的类,也可能是裸指针(取决于实现),只要它“表现得像迭代器”,就合法。

进阶:支持 const 迭代器与反向迭代器

真实 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++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号