[range.adjacent.transform.iterator] (original) (raw)
25 Ranges library [ranges]
25.7 Range adaptors [range.adaptors]
25.7.28 Adjacent transform view [range.adjacent.transform]
25.7.28.3 Class template adjacent_transform_view::iterator [range.adjacent.transform.iterator]
namespace std::ranges { template<forward_range V, move_constructible F, size_t N> requires view<V> && (N > 0) && is_object_v<F> && regular_invocable<F&, _REPEAT_(range_reference_t<V>, N)...> && can-reference<invoke_result_t<F&, _REPEAT_(range_reference_t<V>, N)...>> template<bool Const> class adjacent_transform_view<V, F, N>::iterator { using Parent = maybe-const<Const, adjacent_transform_view>; using Base = maybe-const<Const, V>; Parent* parent_ = nullptr; inner-iterator<Const> inner_; constexpr iterator(Parent& parent, inner-iterator<Const> inner); public: using iterator_category = see below;using iterator_concept = typename inner-iterator<Const>::iterator_concept;using value_type = remove_cvref_t<invoke_result_t<_maybe-const_<Const, F>&,REPEAT(range_reference_t<_Base_>, N)...>>;using difference_type = range_difference_t<_Base_>;iterator() = default;constexpr iterator(iterator<!Const> i) requires Const && convertible_to<_inner-iterator_<false>, inner-iterator<Const>>;constexpr decltype(auto) operator*() const noexcept(see below);constexpr iterator& operator++();constexpr iterator operator++(int);constexpr iterator& operator--() requires bidirectional_range<_Base_>;constexpr iterator operator--(int) requires bidirectional_range<_Base_>;constexpr iterator& operator+=(difference_type x) requires random_access_range<_Base_>;constexpr iterator& operator-=(difference_type x) requires random_access_range<_Base_>;constexpr decltype(auto) operator[](difference_type n) const requires random_access_range<_Base_>;friend constexpr bool operator==(const iterator& x, const iterator& y);friend constexpr bool operator<(const _iterator_& x, const _iterator_& y) requires random_access_range<_Base_>;friend constexpr bool operator>(const iterator& x, const iterator& y) requires random_access_range<_Base_>;friend constexpr bool operator<=(const _iterator_& x, const _iterator_& y) requires random_access_range<_Base_>;friend constexpr bool operator>=(const iterator& x, const iterator& y) requires random_access_range<_Base_>;friend constexpr auto operator<=>(const iterator& x, const iterator& y) requires random_access_range<_Base_> && three_way_comparable<_inner-iterator_<Const>>;friend constexpr iterator operator+(const iterator& i, difference_type n) requires random_access_range<_Base_>;friend constexpr iterator operator+(difference_type n, const iterator& i) requires random_access_range<_Base_>;friend constexpr iterator operator-(const iterator& i, difference_type n) requires random_access_range<_Base_>;friend constexpr difference_type operator-(const iterator& x, const iterator& y) requires sized_sentinel_for<_inner-iterator_<Const>, inner-iterator<Const>>;};}
The member typedef-name _iterator_::iterator_categoryis defined as follows:
- If invoke_result_t<_maybe-const_<Const, F>&,REPEAT(range_reference_t<_Base_>, N)...>is not a reference,iterator_category denotes input_iterator_tag.
- Otherwise, let C denote the typeiterator_traits<iterator_t<_Base_>>::iterator_category.
- If derived_from<C, random_access_iterator_tag>is true,iterator_category denotes random_access_iterator_tag.
- Otherwise, if derived_from<C, bidirectional_iterator_tag>is true,iterator_category denotes bidirectional_iterator_tag.
- Otherwise, if derived_from<C, forward_iterator_tag>is true,iterator_category denotes forward_iterator_tag.
- Otherwise, iterator_category denotes input_iterator_tag.
constexpr _iterator_(_Parent_& parent, _inner-iterator_<Const> inner);
Effects: Initializes parent_ with addressof(parent) and_inner__ with std::move(inner).
constexpr _iterator_(_iterator_<!Const> i) requires Const && [convertible_to](concept.convertible#concept:convertible%5Fto "18.4.4 Concept convertible_to [concept.convertible]")<_inner-iterator_<false>, _inner-iterator_<Const>>;
Effects: Initializes parent_ with i.parent_ and_inner__ with std::move(i.inner_).
constexpr decltype(auto) operator*() const noexcept(_see below_);
Effects: Equivalent to:return apply([&](const auto&... iters) -> decltype(auto) { return invoke(*_parent__->fun_, *iters...);}, inner_.current_);
Remarks: Let Is be the pack 0, 1, …, (N - 1).
The exception specification is equivalent to:noexcept(invoke(*_parent__->fun_, *std::get<Is>(inner_.current_)...))
constexpr _iterator_& operator++();
Effects: Equivalent to:++inner_;return *this;
constexpr _iterator_ operator++(int);
Effects: Equivalent to:auto tmp = *this;++*this;return tmp;
Effects: Equivalent to:--inner_;return *this;
Effects: Equivalent to:auto tmp = *this;--*this;return tmp;
Effects: Equivalent to:inner_ += x;return *this;
Effects: Equivalent to:inner_ -= x;return *this;
constexpr decltype(auto) operator[](difference_type n) const requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;
Effects: Equivalent to:return apply([&](const auto&... iters) -> decltype(auto) { return invoke(*_parent__->fun_, iters[n]...);}, inner_.current_);
friend constexpr bool operator==(const _iterator_& x, const _iterator_& y);friend constexpr bool operator<(const _iterator_& x, const _iterator_& y) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;friend constexpr bool operator>(const _iterator_& x, const _iterator_& y) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;friend constexpr bool operator<=(const _iterator_& x, const _iterator_& y) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;friend constexpr bool operator>=(const _iterator_& x, const _iterator_& y) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;friend constexpr auto operator<=>(const _iterator_& x, const _iterator_& y) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_> && [three_way_comparable](cmp.concept#concept:three%5Fway%5Fcomparable "17.12.4 Concept three_way_comparable [cmp.concept]")<_inner-iterator_<Const>>;
Effects: Equivalent to: return x.inner_ op y.inner_;
friend constexpr _iterator_ operator+(const _iterator_& i, difference_type n) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;friend constexpr _iterator_ operator+(difference_type n, const _iterator_& i) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;
Effects: Equivalent to: return iterator(*i.parent_, i.inner_ + n);
friend constexpr _iterator_ operator-(const _iterator_& i, difference_type n) requires [random_access_range](range.refinements#concept:random%5Faccess%5Frange "25.4.5 Other range refinements [range.refinements]")<_Base_>;
Effects: Equivalent to: return iterator(*i.parent_, i.inner_ - n);
friend constexpr difference_type operator-(const _iterator_& x, const _iterator_& y) requires [sized_sentinel_for](iterator.concept.sizedsentinel#concept:sized%5Fsentinel%5Ffor "24.3.4.8 Concept sized_sentinel_for [iterator.concept.sizedsentinel]")<_inner-iterator_<Const>, _inner-iterator_<Const>>;
Effects: Equivalent to: return x.inner_ - y.inner_;