std::experimental::ranges::iterator_category
来自 cppreference.com
< cpp | experimental | ranges
| 定义在头文件 <experimental/ranges/iterator> 中 |
||
| template< class I > struct iterator_category {}; |
(1) | |
| template< class T > struct iterator_category<T*>; |
(2) | |
| template< class T > struct iterator_category<const T> : iterator_category<T> {}; |
(3) | |
| template< class T > requires requires { typename T::iterator_category; } |
(4) | |
计算类 I 的迭代器类别，如果有的话。用户可以为程序定义的类型专门化 iterator_category。
1) 主模板是一个空结构体。
2) 指针的专门化。如果
T 是一个对象类型，则提供一个成员类型 type，该类型等于 ranges::random_access_iterator_tag。否则，没有成员 type。3) 常量限定类型的专门化。
4) 为定义公共可访问成员类型
iterator_category 的类型专门化。如果 T::iterator_category 与命名空间 std 中的迭代器类别标签相同或派生自其中一个，则将其映射到命名空间 ranges 中的相应标签，如下所述。否则，提供一个成员类型 type，该类型等于 T::iterator_category。- 如果
T::iterator_category与 std::random_access_iterator_tag 相同或派生自它，则提供一个成员类型type，该类型等于 ranges::random_access_iterator_tag。 - 否则，如果
T::iterator_category与 std::bidirectional_iterator_tag 相同或派生自它，则提供一个成员类型type，该类型等于 ranges::bidirectional_iterator_tag。 - 否则，如果
T::iterator_category与 std::forward_iterator_tag 相同或派生自它，则提供一个成员类型type，该类型等于 ranges::forward_iterator_tag。 - 否则，如果
T::iterator_category与 std::input_iterator_tag 相同或派生自它，则提供一个成员类型type，该类型等于 ranges::input_iterator_tag。 - 否则，如果
T::iterator_category与 std::output_iterator_tag 相同或派生自它，则没有成员type。
[编辑] 辅助别名模板
| template< class T > using iterator_category_t = typename ranges::iterator_category<T>::type; |
(范围 TS) | |
[编辑] 示例
| 本节不完整 原因：没有示例 |
[编辑] 另请参阅
| 用于指示迭代器类别的空类类型 (类) | |
| 用于指示迭代器类别的空类类型 (类) | |
| 收集迭代器关联类型的兼容性特征类 (别名模板) |
