25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.31 Chunk by view [range.chunk.by]

25.7.31.3 Class chunk_by_view​::​iterator [range.chunk.by.iter]

namespace std::ranges { template<forward_range V, indirect_binary_predicate<iterator_t<V>, iterator_t<V>> Pred> requires view<V> && is_object_v<Pred> class chunk_by_view<V, Pred>::iterator { chunk_by_view* parent_ = nullptr; // exposition only iterator_t<V> current_ = iterator_t<V>(); // exposition only iterator_t<V> next_ = iterator_t<V>(); // exposition only constexpr iterator(chunk_by_view& parent, iterator_t<V> current, // exposition only iterator_t<V> next); public: using value_type = subrange<iterator_t<V>>; using difference_type = range_difference_t<V>; using iterator_category = input_iterator_tag; using iterator_concept = see below; iterator() = default; constexpr value_type operator*() const; constexpr iterator& operator++(); constexpr iterator operator++(int); constexpr iterator& operator--() requires bidirectional_range<V>; constexpr iterator operator--(int) requires bidirectional_range<V>; friend constexpr bool operator==(const iterator& x, const iterator& y); friend constexpr bool operator==(const iterator& x, default_sentinel_t); }; }
1
#
iterator​::​iterator_concept is defined as follows:
  • (1.1)
    If V models bidirectional_range, then iterator_concept denotes bidirectional_iterator_tag.
  • (1.2)
    Otherwise, iterator_concept denotes forward_iterator_tag.
🔗
constexpr iterator(chunk_by_view& parent, iterator_t<V> current, iterator_t<V> next);
2
#
Effects: Initializes parent_ with addressof(parent), current_ with current, and next_ with next.
🔗
constexpr value_type operator*() const;
3
#
Preconditions: current_ is not equal to next_.
4
#
Returns: subrange(current_, next_).
🔗
constexpr iterator& operator++();
5
#
Preconditions: current_ is not equal to next_.
6
#
Effects: Equivalent to: current_ = next_; next_ = parent_->find-next(current_); return *this;
🔗
constexpr iterator operator++(int);
7
#
Effects: Equivalent to: auto tmp = *this; ++*this; return tmp;
🔗
constexpr iterator& operator--() requires bidirectional_range<V>;
8
#
Effects: Equivalent to: next_ = current_; current_ = parent_->find-prev(next_); return *this;
🔗
constexpr iterator operator--(int) requires bidirectional_range<V>;
9
#
Effects: Equivalent to: auto tmp = *this; --*this; return tmp;
🔗
friend constexpr bool operator==(const iterator& x, const iterator& y);
10
#
Returns: x.current_ == y.current_.
🔗
friend constexpr bool operator==(const iterator& x, default_sentinel_t);
11
#
Returns: x.current_ == x.next_.