std::experimental::ranges::reference_t, std::experimental::ranges::rvalue_reference_t, std::experimental::ranges::iter_common_reference_t

来自cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
迭代器库
迭代器概念
间接可调用概念
                                                  
                                                  
                                                  
常用算法要求
                                                  
概念工具
迭代器工具及运算
迭代器特性
reference_trvalue_reference_titer_common_reference_t
迭代器适配器
流迭代器
 
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共用引用类型。这是其引用类型及到其值类型的左值引用的共用引用类型。

注意

-> auto&& 制约检查表达式的类型是否非 void