std::experimental::ranges::reference_t，std::experimental::ranges::rvalue_reference_t，std::experimental::ranges::iter_common_reference_t

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

迭代器库

迭代器概念
可读 可写 弱可增量 可增量	迭代器 哨兵 大小哨兵	输入迭代器 前向迭代器 双向迭代器 随机访问迭代器	输出迭代器
间接可调用概念
间接一元可调用间接常规一元可调用	间接一元谓词	间接关系	间接严格弱序
通用算法要求
间接可移动 间接可移动可存储	间接可复制 间接可复制可存储	间接可交换 间接可比较	可置换 可合并 可排序
概念实用程序
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	悬空borrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义在头文件 <experimental/ranges/iterator> 中
template< class T > concept bool /*dereferenceable*/ = requires(T& t) { {*t} -> auto&&; };		(仅供说明*)
template< /*dereferenceable*/ T > using reference_t = decltype(*declval<T&>());	(1)	(范围 TS)
template< /*dereferenceable*/ T >     requires requires(T& t) { { ranges::iter_move(t) } -> auto&&; } using rvalue_reference_t = decltype(ranges::iter_move(declval<T&>()));	(2)	(范围 TS)
template< Readable T > using iter_common_reference_t = ranges::common_reference_t<ranges::reference_t<T>,                                                            ranges::value_type_t<T>&>;	(3)	(范围 TS)

1) 获取可解引用类型 T 的引用类型。

2) 获取可解引用类型 T 的右值引用类型，即 ranges::iter_move 的返回值类型。

3) 计算 Readable 类型的通用引用类型。 这是其引用类型和对其值类型的左值引用的通用引用类型。

注释

The -> auto&& 约束检查表达式的类型是否为 void.