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; |
(ranges TS) | |
[编辑] 示例
| 本节不完整 原因：无示例 |
[编辑] 参阅
| 用于指示迭代器类别的空类类型 (类) | |
| 用于指示迭代器类别的空类类型 (类) | |
| 收集迭代器相关类型的兼容性特征类 (别名模板) |
