Namespaces
Variants

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

From cppreference.net
template < class T >
concept bool /*dereferenceable*/ = requires ( T & t ) { { * t } - > auto && ; } ;
( 仅用于说明* )
template < /*dereferenceable*/ T >
using reference_t = decltype ( * declval < T & > ( ) ) ;
(1) (ranges TS)
template < /*dereferenceable*/ T >

requires requires ( T & t ) { { ranges:: iter_move ( t ) } - > auto && ; }

using rvalue_reference_t = decltype ( ranges:: iter_move ( declval < T & > ( ) ) ) ;
(2) (ranges TS)
template < Readable T >

using iter_common_reference_t = ranges:: common_reference_t < ranges :: reference_t < T > ,

ranges :: value_type_t < T > & > ;
(3) (ranges TS)
1) 获取可解引用类型 T 引用类型
2) 获取可解引用类型 T 右值引用类型 ,即 ranges::iter_move 的返回类型。
3) 计算 Readable 类型的 公共引用类型 。这是其引用类型与其值类型的左值引用之间的公共引用类型。

注释

- > auto && 约束检查表达式的类型不能是 void