[range.reverse.view] (original) (raw)

25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.21 Reverse view [range.reverse]

25.7.21.2 Class template reverse_view [range.reverse.view]

namespace std::ranges { template<view V> requires bidirectional_range<V> class reverse_view : public view_interface<reverse_view<V>> { private: V base_ = V(); public: reverse_view() requires default_initializable<V> = default;constexpr explicit reverse_view(V r);constexpr V base() const & requires copy_constructible<V> { return base_; } constexpr V base() && { return std::move(base_); } constexpr reverse_iterator<iterator_t<V>> begin();constexpr reverse_iterator<iterator_t<V>> begin() requires common_range<V>;constexpr auto begin() const requires common_range<const V>;constexpr reverse_iterator<iterator_t<V>> end();constexpr auto end() const requires common_range<const V>;constexpr auto size() requires sized_range<V> { return ranges::size(base_);} constexpr auto size() const requires sized_range<const V> { return ranges::size(base_);} constexpr auto reserve_hint() requires approximately_sized_range<V> { return ranges::reserve_hint(base_);} constexpr auto reserve_hint() const requires approximately_sized_range<const V> { return ranges::reserve_hint(base_);} };template<class R> reverse_view(R&&) -> reverse_view<views::all_t<R>>;}

constexpr explicit reverse_view(V base);

Effects: Initializes base_ with std​::​move(base).

constexpr reverse_iterator<iterator_t<V>> begin();

Returns: make_reverse_iterator(ranges::next(ranges::begin(base_), ranges::end(base_)))

Remarks: In order to provide the amortized constant time complexity required by the range concept, this function caches the result within thereverse_view for use on subsequent calls.

constexpr reverse_iterator<iterator_t<V>> begin() requires [common_range](range.refinements#concept:common%5Frange "25.4.5 Other range refinements [range.refinements]")<V>;constexpr auto begin() const requires [common_range](range.refinements#concept:common%5Frange "25.4.5 Other range refinements [range.refinements]")<const V>;

Effects: Equivalent to: return make_reverse_iterator(ranges​::​end(base_));

constexpr reverse_iterator<iterator_t<V>> end();constexpr auto end() const requires [common_range](range.refinements#concept:common%5Frange "25.4.5 Other range refinements [range.refinements]")<const V>;

Effects: Equivalent to: return make_reverse_iterator(ranges​::​begin(base_));