[range.all] (original) (raw)

25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.6 All view [range.all]

25.7.6.1 General [range.all.general]

views​::​all returns a view that includes all elements of its range argument.

Given a subexpression E, the expressionviews​::​all(E) is expression-equivalent to:

• decay-copy(E) if the decayed type of Emodels view.
• Otherwise, ref_view{E} if that expression is well-formed.
• Otherwise, owning_view{E}.

25.7.6.2 Class template ref_view [range.ref.view]

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

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

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);

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

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

25.7.6.3 Class template owning_view [range.owning.view]

owning_view is a move-only view of the elements of some other range.

namespace std::ranges { template<range R> requires movable<R> && (!is-initializer-list<R>) class owning_view : public view_interface<owning_view<R>> { private: R r_ = R(); public: owning_view() requires default_initializable<R> = default;constexpr owning_view(R&& t); owning_view(owning_view&&) = default; owning_view& operator=(owning_view&&) = default;constexpr R& base() & noexcept { return r_; } constexpr const R& base() const & noexcept { return r_; } constexpr R&& base() && noexcept { return std::move(r_); } constexpr const R&& base() const && noexcept { return std::move(r_); } constexpr iterator_t<R> begin() { return ranges::begin(r_); } constexpr sentinel_t<R> end() { return ranges::end(r_); } constexpr auto begin() const requires range<const R> { return ranges::begin(r_); } constexpr auto end() const requires range<const R> { return ranges::end(r_); } constexpr bool empty() requires requires { ranges::empty(r_); } { return ranges::empty(r_); } constexpr bool empty() const requires requires { ranges::empty(r_); } { return ranges::empty(r_); } constexpr auto size() requires sized_range<R> { return ranges::size(r_); } constexpr auto size() const requires sized_range<const R> { return ranges::size(r_); } constexpr auto reserve_hint() requires approximately_sized_range<R> { return ranges::reserve_hint(r_); } constexpr auto reserve_hint() const requires approximately_sized_range<const R> { return ranges::reserve_hint(r_); } constexpr auto data() requires contiguous_range<R> { return ranges::data(r_); } constexpr auto data() const requires contiguous_range<const R> { return ranges::data(r_); } };}

constexpr owning_view(R&& t);

Effects: Initializes r_ with std​::​move(t).