cppdraft_translate/cppdraft/range/ref/view.md

[range.ref.view]

25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.6 All view [range.all]

25.7.6.2 Class template ref_view [range.ref.view]

1

#

ref_view is a view of the elements of some other range.

🔗

namespace std::ranges {template<range R>requires is_object_vclass ref_view : public view_interface<ref_view> {private: R* r_; // exposition onlypublic:template<different-from<ref_view> T>requires see belowconstexpr ref_view(T&& t); constexpr R& base() const { return **r_; }constexpr iterator_t begin() const { return ranges::begin(**r_); }constexpr sentinel_t end() const { return ranges::end(**r_); }constexpr bool empty() constrequires requires { ranges::empty(**r_); }{ return ranges::empty(**r_); }constexpr auto size() const requires sized_range{ return ranges::size(**r_); }constexpr auto reserve_hint() const requires approximately_sized_range{ return ranges::reserve_hint(**r_); }constexpr auto data() const requires contiguous_range{ return ranges::data(**r_); }}; template ref_view(R&) -> ref_view;}

🔗

template<[different-from](range.utility.helpers#concept:different-from "25.5.2 Helper concepts [range.utility.helpers]")<ref_view> T> requires see below constexpr ref_view(T&& t);

2

#

Effects: Initializes r_ withaddressof(static_cast<R&>(std​::​forward(t))).

3

#

Remarks: Let FUN denote the exposition-only functionsvoid FUN(R&);void FUN(R&&) = delete;

The expression in the requires-clause is equivalent to:convertible_to<T, R&> && requires { FUN(declval()); }