std::indirectly_readable_traits
定义于头文件 <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) |
计算迭代器的关联类型 (别名模板) |
为迭代器各项性质提供统一接口 (类模板) |