C++ 迭代器模式,说到底,并不是什么高深莫测的“设计模式”类库,而是语言和标准库之间一个心照不宣的约定。简单来说,只要你的容器类愿意提供 begin() 和 end() 这两个入口,并且返回的对象能老老实实地支持 operator*、operator++、operator!= 这几个基本操作,那么恭喜你,它就能被 for (auto& x : container) 这种舒服的范围 for 循环,以及 std::for_each 这样的 STL 算法愉快地消费。

什么是迭代器模式在 C++ 中的实质
这段话值得反复咀嚼。它意味着,在 C++ 里实现迭代器模式,关键不在于你用了哪个库,而在于你是否遵循了这套语言层面的“接口协议”。你的容器类,就是那个提供 begin() 和 end() 的“供应商”;你的迭代器类,就是那个能按约定工作的“交付员”。这两者配合好了,整个标准库的算法体系就会向你敞开大门。
手写一个可遍历的聚合类需要哪几个关键组件
拿一个自定义的链表 MyList 来举例。要让它也能享受范围 for 循环的便利,你得准备这么几样东西:
- 两个大门:
begin()和end()成员函数,它们负责返回你自定义的迭代器类型(比如就叫iterator)。 - 一个能干的迭代器:
iterator这个类必须重载三个核心操作符:operator*:解引用,去取它指向的数据。operator++:前缀自增,让迭代器走到下一个元素。operator!=:判断两个迭代器是否不相等,这是循环终止的关键。
- 一个内部核心:
iterator内部通常就持有一个指向节点的指针(比如Node*),所有操作都是围绕这个指针展开的,简单直接。 - 别忘了
const版本:同步提供cbegin()/cend()和const_iterator。否则,当你有一个const MyList l;想用范围for时,编译器会毫不留情地报错。
常见编译错误及对应修复点
写这些东西的时候,你可能会遇到一些让人挠头的错误。别慌,它们基本都指向同一个问题:接口缺失或签名不对。这里列举几个最典型的:
error: no match for 'operator!='→ 这八成是忘了给iterator实现operator!=。或者你写了个iterator&版本的,但编译器在匹配时死活要用const iterator&,结果没匹配上。error: use of deleted function 'MyList::iterator::iterator()'→ 你在begin()里返回了一个临时迭代器对象,编译器尝试调用它的默认构造函数来创建副本。但你大概给迭代器写了个explicit的构造函数,并且没提供默认的无参构造,所以就尴尬了。error: invalid initialization of reference of type 'int&' from expression of type 'const int'→iterator::operator*返回了const T&,但你在一个非 const 的容器上调用了begin(),于是编译器试图用返回的const int&去初始化一个int&。很典型的场景,你的operator*需要区分 const 和非 const 版本。
std::vector 迭代器为什么不能直接拿来套用
千万别想着让你的自定义迭代器去继承 std::iterator(它在 C++17 里已经被弃用了),或者硬塞进 std::vector 这个类型里。原因很实在,也很有意思:
- 标准容器的迭代器实现是高度特化的。
std::vector用原生指针就能搞定,而std::list用的是一个封装了节点指针的类。它们俩天生就不是一个东西,根本不能互换。 - STL 算法本质上只关心“概念”(Concepts)。只要你的类型支持
++it、*it、it != other这些操作,你就能用上std::sort、std::find。编译器才不关心你是不是叫std::xxx_iterator。 - 强行在自己的类里去定义
difference_type、value_type这些嵌套类型,反而容易因为漏掉某个typedef,导致std::distance这样的函数在编译时直接罢工。
真正值得深究的,其实是迭代器内部 operator++ 的行为。比如,单向链表只能做前向迭代,你就别费劲去提供 -- 操作了。再比如,要实现一个支持中序遍历的树迭代器,你得花心思在内部维护一个栈或线索,而不是指望靠一层简单的包装就能魔法般地解决。