为什么output_editor Concept不需要output_e迭代器标记
Why does the output_iterator Concept not require the output_iterator_tag?
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进行建模。(我已经一直称之为";语义提升";,但它不是固定期限。(选择加入还是退出取决于假阳性的预期频率。
";语义推广"通常在非输出迭代器参数上执行。输出迭代器没有什么可升级的。
相关文章:
- 使用std::multimap迭代器创建std::list
- 来自 std::list 的迭代器 .end() 按预期返回"0xcdcdcdcdcdcdcdcd"但 .begin()
- C++中带有List类的迭代器Segfault
- 如何在c++迭代器类型中包装std::chrono
- 集合上的输出迭代器:assign和increment迭代器
- Boost Spirit,获取迭代器内部语义动作
- 对于set上的循环-获取next元素迭代器
- 为什么output_editor Concept不需要output_e迭代器标记
- c++17文件系统::recursive_directory迭代器()在mac上没有给出这样的目录,但在windows上
- 使用迭代器时如何访问对象在向量中的位置?
- std::vector::迭代器是否可以合法地作为指针
- 跟随整数索引列表的自定义类迭代器
- 不明白迭代器,引用和指针失效,一个例子
- 我可以使用反向迭代器作为ForwardIt吗
- ESP8266单片机矢量迭代器的C++问题
- 如何在C++中将迭代器作为函数参数传递
- 是否应避免从非常量迭代器转换为常量迭代器?
- 如何在 c++ 中将字符串迭代器变量传递给函数?
- 为什么 vector 的随机访问迭代器给出与指针不同的内存地址?
- 为什么 C++ std::unordered_map 从 emplace/ 找到返回一个迭代器?