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

From cppreference.com
< cpp‎ | experimental‎ | ranges

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)

1) Obtain the reference type of a dereferenceable type `T`.
2) Obtain the rvalue reference type of a dereferenceable type `T`, that is, the return type of ranges::iter_move.
3) 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.

### Notes

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

Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/experimental/ranges/iterator/reference_t&oldid=106893"