C++20中iterator_category与iterator_concept的差异、引入目的及自定义迭代器实现疑问

这个问题问到点子上了——C++20引入iterator_concept确实是为了解决旧版iterator_category遗留的历史问题，咱们一步步拆解来看。

一、先从你的iota_view例子说起 #

你观察到的现象非常典型：views::iota(0)的迭代器，iterator_concept是random_access_iterator_tag，但iterator_category却是input_iterator_tag。这不是bug，而是有意为之的兼容设计：

• 从新的ranges体系来看，这个迭代器完全支持随机访问的所有操作（operator[]、加减算术、O(1)的distance等），所以iterator_concept如实标记为随机访问迭代器，让ranges::系列算法能正确利用这些特性。
• 但从旧版std算法的角度，这个迭代器的元素是右值（解引用返回临时值），无法满足像std::sort这类算法对随机访问迭代器的隐含要求（需要可修改的左值元素）。如果把iterator_category设为random_access_iterator_tag，旧算法可能会错误地尝试调用它，导致编译失败甚至意外行为。所以保留input_iterator_tag是为了让旧代码“安全地”拒绝这个迭代器，避免兼容性问题。

二、为什么要引入iterator_concept？ #

旧的iterator_category有两个核心缺陷：

1. 标签继承导致的语义模糊
   旧体系中迭代器标签是继承关系（比如random_access_iterator_tag ← bidirectional_iterator_tag ← forward_iterator_tag ← input_iterator_tag），这意味着一个随机访问迭代器同时也是前向、双向迭代器。但这种继承会让算法重载时出现歧义，或者无法精确匹配迭代器的实际能力。
2. 无法区分“操作支持”和“语义约束”
   旧标签不仅描述迭代器的操作能力（比如能不能随机访问），还隐含了一些语义约束（比如输入迭代器是单遍的，前向迭代器是多遍的）。但有些迭代器虽然支持随机访问操作，却不满足旧标签的全部语义约束（比如刚才的iota_view迭代器，虽然能随机访问，但元素不可修改），或者反过来，有些迭代器满足语义约束但操作能力不同。

iterator_concept的设计目的就是分离操作能力和兼容性语义：

• 它只关注迭代器实际支持的操作集合，是给新的ranges体系用的“精确能力标签”。
• 而iterator_category则保留下来作为“兼容标签”，专门用来和C++20之前的代码交互，避免旧算法误用新迭代器。

三、自定义迭代器如何正确定义两者？ #

如果你要实现一个自定义迭代器，遵循以下原则：

1. 优先满足ranges体系的要求：
   • 定义iterator_concept为最能准确描述你迭代器操作能力的标签：比如支持随机访问就用std::random_access_iterator_tag，只支持双向就用std::bidirectional_iterator_tag，以此类推。
   • 确保你的迭代器满足对应iterator_concept的所有操作要求（比如随机访问迭代器需要支持operator[]、operator+、operator-等）。
2. 根据兼容性需求设置iterator_category：
   • 如果你的迭代器完全符合旧标签的所有语义约束（比如可修改的随机访问迭代器，像std::vector的迭代器），可以让iterator_category和iterator_concept保持一致。
   • 如果你的迭代器虽然支持新的操作能力，但不满足旧标签的隐含约束（比如像iota_view那样元素不可修改），就把iterator_category设为旧体系中最安全的兼容标签（比如input_iterator_tag），避免旧算法出错。
   • 代码示例：

     template<typename T>
     class MyIterator {
     public:
         // 给新ranges用的精确能力标签
         using iterator_concept = std::random_access_iterator_tag;
         // 给旧代码用的兼容标签（元素不可修改，设为input）
         using iterator_category = std::input_iterator_tag;
         // 其他必要的类型定义
         using value_type = T;
         using difference_type = std::ptrdiff_t;
         using pointer = const T*;
         using reference = const T&;
         // 实现随机访问迭代器的所有操作...
     };
     

四、iterator_category在C++20中还有存在意义吗？ #

有，但它的角色已经从“能力描述”变成了“兼容层”：

• 对于新的ranges代码，完全不需要关心iterator_category，只需要看iterator_concept或者直接用概念检查（比如random_access_iterator<I>）。
• 对于需要兼容C++20之前的代码，iterator_category依然是必要的——旧的std算法（比如std::sort、std::distance）还是依赖它来选择重载版本。
• 未来的标准可能会逐渐弱化iterator_category的作用，但在可预见的未来，它会一直存在以保证向后兼容。

内容的提问来源于stack exchange，提问作者康桓瑋