std::experimental::ranges::reference_t, std::experimental::ranges::rvalue_reference_t, std::experimental::ranges::iter_common_reference_t - cppreference.com (original) (raw)
| Defined in header <experimental/ranges/iterator> | ||
|---|---|---|
| template< class T >concept bool /*dereferenceable*/ = requires(T& t) { {*t} -> auto&&; }; | (exposition only*) | |
| 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) |
Obtain the reference type of a dereferenceable type
T.Obtain the rvalue reference type of a dereferenceable type
T, that is, the return type of ranges::iter_move.Compute a Readable type's common reference type. This is the common reference type of its reference type and an lvalue reference to its value type.
[edit] Notes
The -> auto&& constraint checks that the type of the expression is not void.