std::experimental::ranges::value_type

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

概念 (概念 TS)

范围 (范围 TS)

数学特殊函数 (特殊函数 TR)

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
Readable Writable WeaklyIncrementable Incrementable	Iterator Sentinel SizedSentinel	InputIterator ForwardIterator BidirectionalIterator RandomAccessIterator	OutputIterator
间接可调用概念
IndirectUnaryInvocableIndirectRegularUnaryInvocable	IndirectUnaryPredicate	IndirectRelation	IndirectStrictWeakOrder
常用算法要求
IndirectlyMovable IndirectlyMovableStorable	IndirectlyCopyable IndirectlyCopyableStorable	IndirectlySwappable IndirectlyComparable	Permutable Mergeable Sortable
概念工具
indirect_result_of	projected
迭代器工具及运算
iter_move iter_swap	advance distance	next prev
迭代器特性
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingsafe_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义于头文件 <experimental/ranges/iterator>
template< class I > struct value_type { };	(1)
template< class T > struct value_type<T*>;	(2)
template< class I >   requires std::is_array<I>::value struct value_type<I> : value_type<std::decay_t<I>> { };	(3)
template< class T > struct value_type<const T> : value_type<std::decay_t<T>> { };	(4)
template <class T>   requires requires { typename T::value_type; } struct value_type<T>;	(5)
template <class T>   requires requires { typename T::element_type; } struct value_type<T>;	(6)

计算类型 I 的关联值类型，若它存在。用户可对程序定义类型特化 value_type 。

1) 初等模板是空 struct 。

2) 对指针的特化。若 T 是对象类型，则提供等于 std::remove_cv_t<T> 的成员类型 type 。否则，无成员 type 。

3) 对数组类型的特化。

4) 对 const 限定类型的特化。

5) 对定义公开且可访问成员类型 value_type 的类型的特化。若 T::value_type 是对象类型，则提供等于 T::value_type 的成员类型 type 。否则无成员 type 。

6) 对定义公开且可访问成员类型 element_type 的类型（例如 std::shared_ptr ）的特化。若 T::element_type 是对象类型，则提供等于 std::remove_cv_t<typename T::element_type> 的成员类型 type 。否则无成员类型 type 。

辅助别名模版

template< class T > using value_type_t = typename ranges::value_type<T>::type;		(范围 TS)

注意

若类型一同含有 value_type 成员和 element_type 成员，则特化 (5) 和 (6) 有歧义。

value_type 被有意用于如迭代器的 Readable 。它并非被有意用于范围。

参阅

Readable	指定类型通过应用运算符 * 可读 (概念)
iterator_traits	汇集迭代器的关联类型的兼容性特性类 (别名模板)