Namespaces
Variants

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

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
std::common_iterator
constexpr common_iterator & operator ++ ( ) ;
(1) (начиная с C++20)
constexpr decltype ( auto ) operator ++ ( int ) ;
(2) (начиная с C++20)
Вспомогательные типы
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_ ;
}

} ;
(3) ( только для демонстрации* )

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

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

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

1) Пре-инкрементирует на единицу. Эквивалентно ++ it ; return * this ; .
2) Пост-инкремент на единицу:
  • Эквивалентно: auto tmp = * this ; ++* this ; return tmp ; , если I моделирует forward_iterator .
  • Эквивалентно: return it ++ ; , если определение переменной auto && ref = * it ++ ; корректно, или если
равно false .
  • Эквивалентно: postfix_proxy p ( ** this ) ; ++* this ; return p ; в остальных случаях, где postfix_proxy является вспомогательным типом только для экспозиции (3) .

Содержание

Параметры

(нет)

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

1) * this
2) Копия * this , созданная до изменения, или результат постинкремента базового итератора, или прокси-объект, сохраняющий значение текущего элемента, как описано выше.

Пример

Запустить этот код 
#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++.

DR Применяется к Поведение как опубликовано Корректное поведение
P2259R1 C++20 постинкремент может отбрасывать свой результат в большем количестве ситуаций используется прокси-класс для сохранения результата
LWG 3546 C++20 инициализация прокси-объекта иногда была некорректной ситуация и определение скорректированы
LWG 3574 C++20 variant был полностью constexpr (P2231R1), но common_iterator не был также сделан constexpr
LWG 3595 C++20 функции прокси-типа не имели constexpr и noexcept добавлены

Смотрите также

вычисляет расстояние между двумя адаптерами итераторов
(шаблон функции)