std::experimental::ranges::iterator_category
来自 cppreference.cn
< cpp | experimental | ranges
| 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) const 限定类型的特化。
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) | |
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 参见
| 用于指示迭代器类别的空类类型 (类) | |
| 用于指示迭代器类别的空类类型 (类) | |
| 兼容性 traits 类，用于收集迭代器的关联类型 (别名模板) |
