std::indirectly_readable_traits
来自cppreference.com
| 定义于头文件 <iterator>
|
||
| template< class I > struct indirectly_readable_traits { }; |
(1) | (C++20 起) |
| template< class T > struct indirectly_readable_traits<T*>; |
(2) | (C++20 起) |
| template< class I > requires std::is_array_v<I> |
(3) | (C++20 起) |
| template< class T > struct indirectly_readable_traits<const T> : indirectly_readable_traits<T> { }; |
(4) | (C++20 起) |
| template <class T> requires requires { typename T::value_type; } |
(5) | (C++20 起) |
| template <class T> requires requires { typename T::element_type; } |
(6) | (C++20 起) |
计算类型 I 的关联值类型，若它存在。用户可对程序定义类型特化 indirectly_readable_traits 。
1) 初等模板是空 struct 。
4) 对 const 限定类型的特化。
5) 对定义公开可访问成员类型
value_type 的类型的特化。若 T::value_type 是对象类型，则提供等于 std::remove_cv_t<typename T::value_type> 的成员类型 value_type 。否则无成员 value_type 。6) 对定义公开可访问成员类型
element_type 的类型（例如 std::shared_ptr ）。若 T::element_type 是对象类型，则提供等于 std::remove_cv_t<typename T::element_type> 的 value_type 。否则无成员 value_type 。注解
若类型含 value_type 成员以及 element_type 成员，则特化 (5) 与 (6) 有歧义。
有意将 value_type 对如迭代器的 indirectly_readable 类型使用。并非有意将它对范围使用。
示例
| 本节未完成 原因：暂无示例 |
参阅
| (C++20) |
指定类型通过应用运算符 * 可读 (概念) |
| (C++20)(C++20)(C++20)(C++20)(C++20) |
计算迭代器的关联类型 (别名模板) |
| 为迭代器各项性质提供统一接口 (类模板) |
