Операторы инкремента/декремента

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Язык С++

Общие темы
Препроцессор Комментарии	Ключевые слова Управляющие последовательности
Управление потоком
Операторы условного выполнения
if	switch
Операторы итерации (циклы)
for диапазонный for(C++11)	while do-while
Операторы перехода
continue - break	goto - return
Функции
Объявление функции
Выражение лямбда-функции
Спецификатор inline
Спецификации динамических исключений(до C++17*)
Спецификатор noexcept(C++11)
Исключения
Выражение throw	Блок try-catch
Пространства имён
Объявление пространства имён	Псевдонимы пространств имён
Типы
Основные типы Типы перечислений Типы функций	Типы классов/структур Типы объединений
Спецификаторы
decltype(C++11) auto(C++11) alignas(C++11)	const/volatile constexpr(C++11)
Спецификаторы длительности хранения
Инициализация
Инициализация по умолчанию Инициализация значением Инициализация нулём Инициализация копированием Прямая инициализация	Агрегатная инициализация     Инициализация списком(C++11) Константная инициализация Инициализация ссылки

Выражения
Категории значений Порядок оценки	Операторы Приоритет оператора
Альтернативные представления
Литералы
Логические - Целочисленные - С плавающей запятой
Символьные - Строковые - nullptr(C++11)
Определяемые пользователем(C++11)
Утилиты
Атрибуты(C++11)
Types
Объявление typedef
Объявление псевдонима типа(C++11)
Casts
Неявные преобразования - Явные преобразования
static_cast - dynamic_cast
const_cast - reinterpret_cast
Выделение памяти
Выражение new	Выражение delete
Классы
Объявление класса Конструкторы Указатель this	Спецификаторы доступа Спецификатор friend
Свойства функции класса
Виртуальная функция Спецификатор override(C++11)       Спецификатор final(C++11)	explicit(C++11) static
Специальные функции-элементы
Конструктор по умолчанию Конструктор копирования Конструктор перемещения(C++11)	Присваивание копированием Присваивание перемещением(C++11) Деструктор
Шаблоны
Шаблон класса Шаблон функции	Специализация шаблона Пакеты параметров(C++11)
Разное
Встроенный ассемблер	История C++

 

Операторы инкремента /декремента инкрементируют или декрементируют значение объекта.

Имя оператора	Синтаксис	Пере​гружа​емый	Примеры прототипов (для class T)
			Определение внутри класса	Определение вне класса
префиксный икремент	++a	Да	T& T::operator++();	T& operator++(T& a);
префиксный декремент	--a	Да	T& T::operator--();	T& operator--(T& a);
постфиксный инкремент	a++	Да	T T::operator++(int);	T operator++(T& a, int);
постфиксный декремент	a--	Да	T T::operator--(int);	T operator--(T& a, int);
Примечание Префиксные версии встроенных операторов возвращают ссылки, а постфиксные версии возвращают значения, и обычно пользовательские перегрузки следуют шаблону, так что пользовательские операторы могут использоваться так же, как и встроенные. Однако при перегрузке определяемого пользователем оператора в качестве возвращаемого типа может использоваться любой тип (включая void). Параметр int это фиктивный параметр, используемый для различения префиксной и постфиксной версий операторов. Когда вызывается пользовательский постфиксный оператор, значение, переданное в этом параметре, всегда равно нулю, хотя оно может быть изменено путём вызова оператора с использованием нотации вызова функции (например, a.operator++(2) или operator++(a, 2)).

Объяснение

Операторы префиксного инкремента и префиксного декремента инкрементируют или декрементируют значение объекта и возвращают ссылку на результат.

Постфиксный инкремент и постфиксный декремент создают копию объекта, инкрементируют или декрементируют значение объекта и возвращают копию до инкремента или декремента.

Использование в качестве операнда встроенной версии этих операторов lvalue неклассового типа, квалифицированного как volatile, является устаревшим.

(начиная с C++20)

Встроенные префиксные операторы

Выражения префиксного инкремента и декремента имеют форму

++expr
--expr

1) префиксный инкремент (пре-инкремент)

2) префиксный декремент (пре-декремент)

Операнд expr встроенного префиксного оператора инкремента или декремента должен быть изменяемым (неконстантным) lvalueне логического(начиная с C++17) арифметического типа или указателем на полностью определённый объектный тип. Выражение ++x в точности эквивалентно x +=1 для небулевых операндов(до C++17), а выражение --x в точности эквивалентно x -=1, то есть префиксные инкремент или декремент являетются выражением lvalue, которое идентифицирует изменённый операнд. Все правила арифметического преобразования и правила арифметики указателей, определённые для арифметических операторов, применяются и определяют неявное преобразование (если есть), применяемое к операнду, а также тип возвращаемого выражения.

Если операнд оператора префиксного инкремента имеет тип bool, он устанавливается в true(устарело).(до C++17)

В разрешении перегрузки для пользовательских операторов, для каждого арифметического типа A, который может быть volatile-квалифицирован, кроме bool, и для каждого необязательно volatile-квалифицированного указателя P на необязательно cv-квалифицированный тип объекта, следующие сигнатуры функций участвуют в разрешении перегрузки:

A& operator++(A&)
bool& operator++(bool&)		(устарело)(до C++17)
P& operator++(P&)
A& operator--(A&)
P& operator--(P&)

Встроенные постфиксные операторы

Выражения постфиксного инкремента и декремента имеют форму

expr++
expr--

1) постфиксный инкремент (пост-инкремент)

2) постфиксный декремент (пост-декремент)

Операнд expr встроенного постфиксного оператора инкремента или декремента должен быть изменяемым (неконстантным) lvalueнебулевым(начиная с C++17) арифметическим типом или указателем на полностью определённый объектный тип. В результате получается prvalue копия исходного значения операнда. В качестве побочного эффекта выражение x++ изменяет значение своего операнда, как если бы оно вычисляло x +=1 для небулевых операндов(до C++17), а выражение x-- изменяет значение своего операнда, как если бы оно вычисляло x -=1. Все правила арифметического преобразования и правила арифметики указателей, определённые для арифметических операторов применяются и определяют неявное преобразование (если есть), применяемое к операнду, а также тип возвращаемого выражения.

Если операнд оператора постинкремента имеет тип bool, он устанавливается в true(устарело).(до C++17)

В разрешении перегрузки для пользовательских операторов, для каждого арифметического типа A, который может быть volatile-квалифицированным, кроме bool, и для каждого необязательно volatile-квалифицированного указателя P на необязательно cv-квалифицированный объектный тип, следующие сигнатуры функций участвуют в разрешении перегрузки:

A operator++(A&, int)
bool operator++(bool&, int)		(устарело)(до C++17)
P operator++(P&, int)
A operator--(A&, int)
P operator--(P&, int)

Пример

Запустить этот код

#include <iostream>   int main(){int n1 =1;int n2 =++n1;int n3 =++++n1;int n4 = n1++;// int n5 = n1++ ++; // ошибка// int n6 = n1 + ++n1; // неопределённое поведениеstd::cout<<"n1 = "<< n1 <<'\n'<<"n2 = "<< n2 <<'\n'<<"n3 = "<< n3 <<'\n'<<"n4 = "<< n4 <<'\n';}

Вывод:

n1 = 5 n2 = 2 n3 = 4 n4 = 4

Примечание

Из-за побочных эффектов встроенные операторы инкремента и декремента необходимо использовать с осторожностью, чтобы избежать неопределённого поведения из-за нарушений правил последовательности.

Поскольку во время пост-инкремента и пост-декремента создаётся временная копия объекта, операторы пре-инкремента или пре-декремента обычно более эффективны в контекстах, где возвращаемое значение не используется.

Стандартные библиотеки

Операторы инкремента и декремента перегружены для многих стандартных типов библиотек. В частности, каждый LegacyIterator перегружает operator++, а каждый LegacyBidirectionalIterator перегружает operator--, даже если эти операторы не выполняются для конкретного итератора.

перегрузки для арифметических типов
operator++operator++(int)operator--operator--(int)	увеличивает или уменьшает атомарное значение на единицу (public функция-элемент std::atomic)
operator++operator++(int)operator--operator--(int)	увеличивает или уменьшает количество тактов (public функция-элемент std::chrono::duration<Rep,Period>)
перегрузки для типов итераторов
operator++operator++(int)	продвигает итератор (public функция-элемент std::raw_storage_iterator)
operator++operator++(int)operator+=operator+operator--operator--(int)operator-=operator-	увеличивает или уменьшает итератор (public функция-элемент std::reverse_iterator)
operator++operator++(int)operator+=operator+operator--operator--(int)operator-=operator- (C++11)	увеличивает или уменьшает итератор (public функция-элемент std::move_iterator)
operator++operator++(int)	нет операции (public функция-элемент std::front_insert_iterator)
operator++operator++(int)	нет операции (public функция-элемент std::back_insert_iterator)
operator++operator++(int)	нет операции (public функция-элемент std::insert_iterator)
operator++operator++(int)	продвигает итератор (public функция-элемент std::istream_iterator)
operator++operator++(int)	нет операции (public функция-элемент std::ostream_iterator)
operator++operator++(int)	продвигает итератор (public функция-элемент std::istreambuf_iterator)
operator++operator++(int)	нет операции (public функция-элемент std::ostreambuf_iterator)
operator++operator++(int)	продвигает итератор к следующему совпадению (public функция-элемент std::regex_iterator)
operator++operator++(int)	продвигает итератор к следующему подсовпадению (public функция-элемент std::regex_token_iterator)

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

Приоритет операторов

Перегрузка оператора

Общие операторы
присваивание	инкремент декремент	арифметические	логические	сравнения	доступ к элементу	другие
a = b a += b a -= b a *= b a /= b a %= b a &= b a |= b a ^= b a <<= b a >>= b	++a --a a++ a--	+a -a a + b a - b a * b a / b a % b ~a a & b a | b a ^ b a << b a >> b	!a a && b a || b	a == b a != b a < b a > b a <= b a >= b a <=> b	a[...] *a &a a->b a.b a->*b a.*b	вызов функции
						a(...)
						запятая
						a, b
						условный
						a ? b : c
Специальные операторы
static_cast приводит один тип к другому совместимому типу dynamic_cast приводит к типу в иерархиях наследования const_cast добавляет или удаляет cv квалификаторы reinterpret_cast приводит тип к несовместимому типу приведение в стиле C приводит один тип к другому с помощью сочетания static_cast, const_cast и reinterpret_cast new создаёт объекты с динамическим классом памяти delete разрушает объекты, ранее созданные выражением new, и освобождает полученную область памяти sizeof запрашивает размер типа sizeof... запрашивает размер пакета параметров(начиная с C++11) typeid запрашивает сведения о типе noexcept проверяет, может ли выражение вызвать исключение (начиная с C++11) alignof запрашивает требования к выравниванию типа (начиная с C++11)

Документация C по Операторы инкремента/декремента