1. 迭代器模式C中的遍历艺术在C的世界里我们常常需要处理各种数据集合——从简单的数组到复杂的树形结构。每当面对这样的集合时一个永恒的问题就会出现如何在不暴露集合内部结构的情况下优雅地遍历其中的元素这就是迭代器模式要解决的核心问题。想象你是一位图书管理员面对一排排书架你需要为读者提供查找书籍的服务。但你不希望读者直接翻乱你的书架破坏数据结构而是希望通过一个标准化的方式比如借阅系统来获取书籍。迭代器就是这个借阅系统在编程中的体现。迭代器模式属于行为型设计模式它提供了一种方法顺序访问一个聚合对象中的各个元素而又不暴露该对象的内部表示。在STLStandard Template Library中迭代器更是无处不在成为连接算法与容器的桥梁。2. 迭代器模式的核心结构2.1 基本组成元素迭代器模式通常包含以下几个关键角色Iterator迭代器接口定义访问和遍历元素的接口ConcreteIterator具体迭代器实现迭代器接口负责跟踪当前遍历位置Aggregate聚合接口定义创建相应迭代器对象的接口ConcreteAggregate具体聚合实现创建相应迭代器的接口返回具体迭代器的实例在C中这些概念通常通过类和模板来实现。让我们看一个简单的迭代器接口示例templatetypename T class Iterator { public: virtual ~Iterator() default; virtual T next() 0; virtual bool hasNext() const 0; };2.2 STL中的迭代器分类C标准库中的迭代器更为精细分为以下几类输入迭代器Input Iterator只读单遍扫描输出迭代器Output Iterator只写单遍扫描前向迭代器Forward Iterator可读写多遍扫描双向迭代器Bidirectional Iterator可双向移动随机访问迭代器Random Access Iterator支持随机访问这种分类不是基于继承关系而是基于迭代器支持的操作。STL算法会根据迭代器的能力选择最优的实现方式。3. 实现自定义迭代器3.1 为自定义容器实现迭代器假设我们有一个简单的自定义容器比如一个固定大小的数组包装类templatetypename T, size_t N class FixedArray { T data[N]; public: // 迭代器类的定义 class Iterator { T* ptr; public: explicit Iterator(T* p) : ptr(p) {} T operator*() { return *ptr; } Iterator operator() { ptr; return *this; } bool operator!(const Iterator other) const { return ptr ! other.ptr; } }; Iterator begin() { return Iterator(data); } Iterator end() { return Iterator(data N); } };这个实现展示了迭代器的几个关键操作operator*解引用获取当前元素operator移动到下一个元素operator!比较两个迭代器是否指向同一位置3.2 支持范围for循环C11引入的范围for循环实际上就是基于迭代器的语法糖。要让自定义容器支持范围for只需实现begin()和end()方法返回适当的迭代器FixedArrayint, 5 arr; for (auto item : arr) { // 使用item }编译器会将上面的代码转换为类似下面的形式for (auto it arr.begin(); it ! arr.end(); it) { auto item *it; // 使用item }4. 迭代器的高级应用4.1 迭代器适配器STL提供了一些迭代器适配器可以改变迭代器的行为反向迭代器reverse_iterator逆向遍历容器插入迭代器insert_iterator将赋值操作转换为插入操作流迭代器istream_iterator/ostream_iterator从流中读取或写入数据例如使用反向迭代器逆序输出vectorstd::vectorint vec {1, 2, 3}; for (auto it vec.rbegin(); it ! vec.rend(); it) { std::cout *it ; } // 输出: 3 2 14.2 惰性求值与生成器迭代器可以用于实现惰性求值这在处理大型数据集或无限序列时特别有用。例如一个简单的无限序列生成器class InfiniteSequence { public: class Iterator { int current; public: Iterator(int start 0) : current(start) {} int operator*() const { return current; } Iterator operator() { current; return *this; } bool operator!(const Iterator) const { return true; } // 总是返回true表示序列无限 }; Iterator begin() const { return Iterator(); } Iterator end() const { return Iterator(); } // 实际上永远不会到达end };使用方式InfiniteSequence seq; auto it seq.begin(); for (int i 0; i 10; i) { std::cout *it ; } // 输出: 0 1 2 3 4 5 6 7 8 95. 迭代器模式的最佳实践与陷阱5.1 迭代器失效问题在使用迭代器时最常遇到的问题就是迭代器失效。当容器被修改如插入、删除元素时原有的迭代器可能会变得无效。例如std::vectorint vec {1, 2, 3}; auto it vec.begin(); vec.push_back(4); // 可能导致迭代器it失效 // *it; // 未定义行为不同容器的迭代器失效规则不同vector/string插入/删除可能导致所有迭代器失效deque中间插入/删除会使所有迭代器失效两端操作可能只使部分迭代器失效list/set/map只有指向被删除元素的迭代器会失效提示在循环中修改容器时要特别注意迭代器失效问题。可以考虑使用返回值更新迭代器或者先收集要修改的位置最后统一处理。5.2 性能考量迭代器的抽象会带来一定的性能开销但在现代C中编译器通常能够优化掉这些开销。不过在某些情况下还是需要注意调试构建STL的调试版本迭代器会有额外的检查可能显著降低性能虚函数迭代器基于虚函数的迭代器接口会阻止内联复杂迭代器如过滤迭代器、转换迭代器等每步操作可能有额外开销5.3 自定义迭代器的设计建议保持简单迭代器应该只负责遍历不要加入太多业务逻辑遵循约定尽量与STL迭代器接口保持一致便于与其他组件协作考虑const正确性提供const_iterator版本异常安全确保迭代器操作不会泄漏资源文档化行为明确说明迭代器的失效规则和性能特征6. 现代C中的迭代器演进6.1 C17中的新特性C17引入了几项与迭代器相关的重要改进std::size、std::empty、std::data统一获取容器信息的方式std::iterator弃用鼓励直接定义迭代器所需的类型别名结构化绑定与迭代器配合使用更加方便例如使用结构化绑定遍历mapstd::mapint, std::string m {{1, one}, {2, two}}; for (const auto [key, value] : m) { std::cout key : value \n; }6.2 C20中的范围库C20引入了范围库Ranges Library提供了更高级的迭代器抽象范围概念简化了迭代器对的表示视图惰性求值的范围转换管道操作符更直观的组合操作例如使用范围库过滤和转换数据#include ranges #include vector std::vectorint vec {1, 2, 3, 4, 5}; auto even_squares vec | std::views::filter([](int x) { return x % 2 0; }) | std::views::transform([](int x) { return x * x; }); for (int x : even_squares) { std::cout x ; // 输出: 4 16 }6.3 协程与生成器C20引入的协程可以与迭代器模式结合创建更简洁的生成器#include coroutine templatetypename T struct Generator { struct promise_type { T current_value; Generator get_return_object() { return Generator{this}; } std::suspend_always initial_suspend() { return {}; } std::suspend_always final_suspend() noexcept { return {}; } std::suspend_always yield_value(T value) { current_value value; return {}; } void return_void() {} void unhandled_exception() { std::terminate(); } }; using handle_type std::coroutine_handlepromise_type; handle_type coro; explicit Generator(promise_type* p) : coro(handle_type::from_promise(*p)) {} ~Generator() { if (coro) coro.destroy(); } T operator()() { coro.resume(); return coro.promise().current_value; } class iterator { Generator* gen; T current; public: iterator(Generator* g, bool done) : gen(g) { if (!done) *this; } T operator*() const { return current; } iterator operator() { current (*gen)(); return *this; } bool operator!(const iterator other) const { return gen ! other.gen || gen-coro.done() ! other.gen-coro.done(); } }; iterator begin() { return iterator(this, coro.done()); } iterator end() { return iterator(nullptr, true); } }; Generatorint range(int from, int to) { for (int i from; i to; i) { co_yield i; } } // 使用方式 for (int i : range(1, 5)) { std::cout i ; // 输出: 1 2 3 4 }7. 迭代器模式在实际项目中的应用7.1 游戏开发中的场景图遍历在游戏开发中场景图通常是一个复杂的层次结构。使用迭代器可以统一遍历方式class SceneNode { std::vectorstd::unique_ptrSceneNode children; public: class DepthFirstIterator { std::stackSceneNode* stack; public: explicit DepthFirstIterator(SceneNode* root) { if (root) stack.push(root); } SceneNode operator*() { return *stack.top(); } DepthFirstIterator operator() { auto node stack.top(); stack.pop(); // 逆序压栈保证从左到右遍历 for (auto it node-children.rbegin(); it ! node-children.rend(); it) { stack.push(it-get()); } return *this; } bool operator!(const DepthFirstIterator other) const { return !stack.empty() || !other.stack.empty(); } }; DepthFirstIterator begin() { return DepthFirstIterator(this); } DepthFirstIterator end() { return DepthFirstIterator(nullptr); } // 其他方法... };这种实现允许客户端代码以统一的方式遍历场景图而不需要了解其内部结构。7.2 数据库查询结果的惰性加载在处理大型数据库查询结果时迭代器模式可以实现惰性加载避免一次性加载所有数据class DatabaseResultIterator { DatabaseConnection conn; ResultHandle handle; bool exhausted false; Row current; void fetchNext() { if (!exhausted) { exhausted !conn.fetchNext(handle, current); } } public: DatabaseResultIterator(DatabaseConnection c, ResultHandle h) : conn(c), handle(h) { fetchNext(); } Row operator*() { return current; } DatabaseResultIterator operator() { fetchNext(); return *this; } bool operator!(const DatabaseResultIterator other) const { return exhausted ! other.exhausted; } }; class DatabaseResult { DatabaseConnection conn; ResultHandle handle; public: DatabaseResultIterator begin() { return DatabaseResultIterator(conn, handle); } DatabaseResultIterator end() { return DatabaseResultIterator(conn, nullptr); } // 其他方法... };7.3 多级缓存系统的统一访问在多级缓存系统中如L1/L2/L3缓存可以使用组合迭代器提供统一的访问接口templatetypename CacheLevel class CacheHierarchyIterator { std::vectorCacheLevel* levels; size_t current_level 0; typename CacheLevel::iterator current_it; void advanceToNextLevel() { while (current_level levels.size()) { current_it levels[current_level]-begin(); if (current_it ! levels[current_level]-end()) { return; } current_level; } } public: CacheHierarchyIterator(std::vectorCacheLevel* lvls) : levels(std::move(lvls)) { advanceToNextLevel(); } auto operator*() { return *current_it; } CacheHierarchyIterator operator() { current_it; if (current_it levels[current_level]-end()) { current_level; advanceToNextLevel(); } return *this; } bool operator!(const CacheHierarchyIterator other) const { return current_level ! other.current_level || (current_level levels.size() current_it ! other.current_it); } };这种设计使得客户端代码可以透明地遍历多级缓存就像遍历一个单一的缓存一样。