std::common_iterator<I,S>::operator++

constexpr common_iterator& operator++();

constexpr decltype(auto) operator++( int );

class /*postfix_proxy*/ {
    std::iter_value_t<I> keep_;
    constexpr postfix_proxy(std::iter_reference_t<I>&& x)
        : keep_(std::forward<std::iter_reference_t<I>>(x)) {}
public:
    constexpr const std::iter_value_t<I>& operator*() const noexcept {
        return keep_;
    }
};

Увеличивает базовый итератор.

Поведение неопределено, если базовый объект-член std::variant var не содержит объект типа I, т.е. std::holds_alternative<I>(var) равно false.

Пусть it обозначает итератор типа I, хранимый в var, то есть std::get<I>(var).

• Эквивалентно: auto tmp = *this; ++*this; return tmp;, если I соответствует forward_iterator.
• Эквивалентно: return it++;, если определение переменной auto&& ref = *it++; корректное, или
• std::indirectly_readable<I> или
• std::constructible_from<std::iter_value_t<I>, std::iter_reference_t<I>> или
• std::move_constructible<std::iter_value_t<I>>

• Эквивалентно: postfix_proxy p(**this); ++*this; return p; в противном случае, где postfix_proxy - вспомогательный тип (только для иллюстрации) (3).

Параметры

(нет)

Возвращаемое значение

Пример

#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <iterator>
 
int main()
{
    const auto il = {1, 2, 3, 4, 5, 6};
 
    using CI = std::common_iterator<
                   std::counted_iterator<std::initializer_list<int>::iterator>,
                   std::default_sentinel_t
                   >;
 
    CI first{std::counted_iterator{std::begin(il), std::ssize(il) - 2}};
 
    for (; first != std::default_sentinel; ++first)
        std::cout << *first << ' ';
    std::cout << '\n';
}

1 2 3 4

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также