c++ 迭代器模式实现 c++如何提供一种方法顺序访问聚合对象

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::iterator 这个类型里。原因很实在，也很有意思：

• 标准容器的迭代器实现是高度特化的。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++ 的行为。比如，单向链表只能做前向迭代，你就别费劲去提供 -- 操作了。再比如，要实现一个支持中序遍历的树迭代器，你得花心思在内部维护一个栈或线索，而不是指望靠一层简单的包装就能魔法般地解决。