Почему операторы инкремента действуют по разному для стандартных и нестандартных типов?

@popelyuk · Регистрация: 04.12.2012

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
class my {
    int i;
public:
    my(int in) :i(in) {}
    operator int () {
        return i;
    }
    int operator=(int in) {
        i=in; return i;
    }
    int operator ++() {
        i=i+7;
        return i;
    }
    int operator ++(int) {
        int tmp=i;
        i=i+7;
        return tmp;
    }
    int operator --() {
        i=i-7;
        return i;
    }
    int operator --(int) {
        int tmp=i;
        i=i-7;
        return tmp;
    }
};
 
 
int main() {
    my m=100; int s=100;
    int res_s=s++ + s++;    // почему здесь res = 200
    int res_m=m++ + m++;  // а зесь нет??
     
    std::cout<<"res_s="<<res_s<<std::endl;
    std::cout<<"res_m="<<res_m<<std::endl;
    return 0;
}

Вот что получаем на выходе:

Почему операторы инкремента действуют по разному для стандартных и нестандартных типов?

@lemegeton · 19.01.2013, 23:27

Это undefined behaviour, поскольку последовательность выполнения операций (не приоритет, а именно последовательность) не определена.
Не буду вдаваться в детали, но компилятор определяет в какой момент выполнения производится инкремент/декремент операнда, стандартом это не определено. Поэтому результат и странен.

@OhMyGodSoLong · 19.01.2013, 23:33

Потому что для пользовательских типов перегруженные операторы — это вызовы функций, а для встроенных их родные операторы — нет.

Есть такая вещь — sequence point (точка следования). Это точка в коде, до которой должны выполниться все побочные эффекты (все присваивания, которые по каким-то причинам отложили, например; в частности, присваивания, неявно возникающие при инкрементах). Точками следования, в частности, являются вызовы функций (для внутренних побочных эффектов и вычислений в аргументах), а также полные операторы (грубо, точки с запятой).

Так вот, в вашей строке 34 всего одна точка следования — аккурат на точке с запятой. Компилятор может извращаться со значением переменной как хочет, но после точки с запятой она должна быть увеличена на два. Не факт, правда, что увеличение будет происходить в два этапа. Ваш компилятор, например, сначала подставил старые значения, а потом вписал увеличение на два. А чей-то другой может вычислять по шагам: запомнить старое, увеличить на один, прибавить увеличенное на один к старому, увеличить ещё раз на единицу. В результате выведет 201 и будет прав. Это, что называется, неопределённое поведение.

А вот в строке 35 точек следования три: по одной на каждом инкременте, так как m++ + m++ это на самом деле operator++(m) + operator++(m), ну и одна в конце выражения. Поэтому здесь компилятор просто обязан выполнять инкременты последовательно: сначала выдать старое значение, потом увеличить его на 7, потом прибавить к старому значению увеличенное на 7 и снова увеличить на 7, выдавая в итоге 207.

@popelyuk · 19.01.2013, 23:33 **[ТС]**

Сообщение от lemegeton

Это undefined behaviour, поскольку последовательность выполнения операций (не приоритет, а именно последовательность) не определена.
Не буду вдаваться в детали, но компилятор определяет в какой момент выполнения производится инкремент/декремент операнда, стандартом это не определено. Поэтому результат и странен.

а как же вот эта табличка, тут оператор инкремента/дикримента в самом конце после равно и прочих:

@popelyuk · 19.01.2013, 23:36 **[ТС]**

Сообщение от ~OhMyGodSoLong~

Потому что для пользовательских типов перегруженные операторы — это вызовы функций, а для встроенных их родные операторы — нет.

Есть такая вещь — sequence point (точка следования). Это точка в коде, до которой должны выполниться все побочные эффекты (все присваивания, которые по каким-то причинам отложили, например; в частности, присваивания, неявно возникающие при инкрементах). Точками следования, в частности, являются вызовы функций (для внутренних побочных эффектов и вычислений в аргументах), а также полные операторы (грубо, точки с запятой).

Так вот, в вашей строке 34 всего одна точка следования — аккурат на точке с запятой. Компилятор может извращаться со значением переменной как хочет, но после точки с запятой она должна быть увеличена на два. Не факт, правда, что увеличение будет происходить в два этапа. Ваш компилятор, например, сначала подставил старые значения, а потом вписал увеличение на два. А чей-то другой может вычислять по шагам: запомнить старое, увеличить на один, прибавить увеличенное на один к старому, увеличить ещё раз на единицу. В результате выведет 201 и будет прав. Это, что называется, неопределённое поведение.

А вот в строке 35 точек следования три: по одной на каждом инкременте, так как m++ + m++ это на самом деле operator++(m) + operator++(m), ну и одна в конце выражения. Поэтому здесь компилятор просто обязан выполнять инкременты последовательно: сначала выдать старое значение, потом увеличить его на 7, потом прибавить к старому значению увеличенное на 7 и снова увеличить на 7, выдавая в итоге 207.

Спасибо, очень хороший ответ

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@lemegeton 4903 / 2696 / 921 Регистрация: 29.11.2010 Сообщений: 5,783
	19.01.2013, 23:27
	Это undefined behaviour, поскольку последовательность выполнения операций (не приоритет, а именно последовательность) не определена. Не буду вдаваться в детали, но компилятор определяет в какой момент выполнения производится инкремент/декремент операнда, стандартом это не определено. Поэтому результат и странен. 0

@OhMyGodSoLong ~ Эврика! ~ 1258 / 1007 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	19.01.2013, 23:33
	Потому что для пользовательских типов перегруженные операторы — это вызовы функций, а для встроенных их родные операторы — нет. Есть такая вещь — sequence point (точка следования). Это точка в коде, до которой должны выполниться все побочные эффекты (все присваивания, которые по каким-то причинам отложили, например; в частности, присваивания, неявно возникающие при инкрементах). Точками следования, в частности, являются вызовы функций (для внутренних побочных эффектов и вычислений в аргументах), а также полные операторы (грубо, точки с запятой). Так вот, в вашей строке 34 всего одна точка следования — аккурат на точке с запятой. Компилятор может извращаться со значением переменной как хочет, но после точки с запятой она должна быть увеличена на два. Не факт, правда, что увеличение будет происходить в два этапа. Ваш компилятор, например, сначала подставил старые значения, а потом вписал увеличение на два. А чей-то другой может вычислять по шагам: запомнить старое, увеличить на один, прибавить увеличенное на один к старому, увеличить ещё раз на единицу. В результате выведет 201 и будет прав. Это, что называется, неопределённое поведение. А вот в строке 35 точек следования три: по одной на каждом инкременте, так как m++ + m++ это на самом деле operator++(m) + operator++(m), ну и одна в конце выражения. Поэтому здесь компилятор просто обязан выполнять инкременты последовательно: сначала выдать старое значение, потом увеличить его на 7, потом прибавить к старому значению увеличенное на 7 и снова увеличить на 7, выдавая в итоге 207. 2