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

Header: <experimental/ranges/iterator>

  1. Obtain the reference type of a dereferenceable type T.

# Declarations

template< class T >
concept bool /*dereferenceable*/ = requires(T& t) { {*t} -> auto&&; };

(exposition only*)

template< /*dereferenceable*/ T >
using reference_t = decltype(*declval<T&>());

(ranges TS)

template< /*dereferenceable*/ T >
requires requires(T& t) { { ranges::iter_move(t) } -> auto&&; }
using rvalue_reference_t = decltype(ranges::iter_move(declval<T&>()));

(ranges TS)

template< Readable T >
using iter_common_reference_t = ranges::common_reference_t<ranges::reference_t<T>,
ranges::value_type_t<T>&>;

(ranges TS)

# Notes

The -> auto&& constraint checks that the type of the expression is not void.