C++20为标准库中不同类型的迭代器(输入、输出、正向、双向、随机访问…(引入了适当的概念
虽然这些类型最初的命名需求根本没有提到std::iterator_traits中的迭代器标记，但新的C++20概念明确要求它们。例如，参见input_iterator概念([i迭代器.概念.输入](:
template<class I>
concept input_iterator =
input_or_output_iterator<I> &&
indirectly_readable<I> &&
requires { typename ITER_CONCEPT(I); } &&
derived_from<ITER_CONCEPT(I), input_iterator_tag>;
请注意最后一行中对迭代器标记的检查。除了输出迭代器之外，所有迭代器概念都像这样检查相应的标记。输出迭代器在这方面一直很特别，因为Ranges TS:的早期
与C++标准中的输出迭代器要求不同，Ranges TS中的OutputIterator不需要迭代器类别标签。
对输出迭代器进行这种特殊处理的原因是什么？
在C++20中，迭代器类别通常是根据语法自动检测的。迭代器标记的明确使用仅用于选择退出或选择加入：
- 所有比
random_access_iterator_tag弱的东西都被用来选择退出更强的迭代器类别(例如，输入迭代器可能在语法上与前向迭代器无法区分( contiguous_iterator_tag用于选择contiguous_iterator，因为邻接性是一种相对罕见的属性，在语法上也无法检测到
输出迭代器不需要这种细粒度的控制——你可以写，也不能写，这是从语法上检测到的。
关于何时提供选择加入/选择退出，Casey Carter解释道：
将参数传递给约束该参数的库组件是一种隐式声明，该参数要么不满足约束(不符合语法要求(或对约束进行建模(符合语法和语义要求(，因此通常不需要选择加入/选择退出。
只有当我们想让库假设一个对某个概念X建模的参数时，才会提供选择加入/选择退出功能当X满足Y时，额外地对X的一些精化Y进行建模。(我已经一直称之为"；语义提升"；，但它不是固定期限。(选择加入还是退出取决于假阳性的预期频率。
"；语义推广"通常在非输出迭代器参数上执行。输出迭代器没有什么可升级的。