c++如何写一个迭代器 c++自定义iterator实现【进阶】

c++自定义迭代器的核心要点

写一个符合标准容器要求的自定义迭代器，关键不是“能遍历”，而是让 operator*、operator->、operator++、operator!=（或 operator==）等行为与 STL 算法和范围 for 兼容，并正确声明类型别名（如 value_type、iterator_category 等）。否则即使能用，也会在 std::sort、std::distance 或 for (auto& x : container) 中出错。

必须定义的五类 typedef（类型别名）

标准要求迭代器至少提供以下 5 个嵌套类型（C++17 起部分可由 std::iterator_traits 推导，但显式定义更稳妥、更清晰）：

• value_type：所指元素的类型（如 T）
• difference_type：两个迭代器距离的有符号整数类型（通常为 std::ptrdiff_t）
• pointer：指向元素的指针类型（如 T*）
• reference：解引用返回的引用类型（如 T& 或 const T&）
• iterator_category：迭代器类别标签（如 std::random_access_iterator_tag），决定支持哪些操作

按需求选择迭代器类别并实现对应接口

类别决定你能用哪些算法，也决定你要实现多少操作。常见场景：

• 输入迭代器（input_iterator_tag）：只读、单向、一次遍历（如 I/O 流）。只需支持 ++it、*it、it != other，不可保存副本多次使用
• 前向迭代器（forward_iterator_tag）：可多次遍历、支持 it++（后置）、可拷贝保存。需额外实现 operator==
• 双向迭代器（bidirectional_iterator_tag）：支持 --it 和 it--。比如链表节点迭代器
• 随机访问迭代器（random_access_iterator_tag）：支持 it + n、it[n]、it1 - it2、it1 。底层是连续内存（如 vector）时应实现它

注意：operator- 和 operator+ 不是必须重载的成员函数，但若声明为 random_access_iterator_tag，就必须能让 std::distance、std::advance 正常工作——通常靠提供 operator- 成员或非成员函数实现。

标签： go access ai c++ typedef