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++.

См. также