Постфиксный и префиксный декремент

26.06.2013, 19:22. **Показов** 5421. **Ответов** 42

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
using std::cout;
int main() 
{
int a=5;
 cout << (--a)-- << " "; 
 cout << a << " ";
 cout << (--a)-- << " "; 
 cout << (--a)-- << " "; 
 cout << a << " ";
system("pause"); 
return 0;
}

Помогите пожалуйста. Не могу понять почему сперва выводит 4 но а=3 потом выводит 2 а потом 0 но а=-1. Почему сначала отнимает 1 а потом 2.

ValeryS · 26.06.2013, 23:27

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

При вычислении этого выражения переменная изменяется дважды.

и что?
на следующей строчке все в порядке будет
ведь мы здесь не присваиваем
или компилятор выбросит одно уменьшение?

Добавлено через 3 минуты

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

у постфиксного выше

всегда думал наоборот

тогда действительно ерунда получается
Не будем так писать

@Kuzia domovenok · 26.06.2013, 23:28

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

При вычислении этого выражения переменная изменяется дважды.

И что, что изменяется дважды? Вот ты что-то споришь всё, утверждая:

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

Результат может быть каким угодно.

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

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

идет уменьшение
потом вывод на экран ( в поток) вот она точка следования
и потом еще раз уменьшение

Можно поинтересоваться, какие тут могут быть альтернативные действия?

@Toshkarik · 26.06.2013, 23:29

@Croessmah, да дело уже даже не в порядке, а в

Between the previous and next sequence point a scalar object shall have its stored value modified at most once by the evaluation of an expression.

В данном случае ( --i )-- это и есть expression и в нем не соблюдается value modified at most once, уже и не знаю, что еще добавить, и как еще написать.

@razor_ua · 26.06.2013, 23:35

при

C++
1
cout<< ++i + ++i ;

будет 4,
а значение i=2.
(т.е. сначала выполнятся 2 раза ++, а потом сложатся)

при

C++
1
cout<< i++ + i++;

выведется 0, i = 2;

при

C++
1
cout << ++i + i++;

выведется 2, i =2

делайте простые выводы

Croessmah · 26.06.2013, 23:41

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

делайте простые выводы

а теперь сделайте так:

C++
1
(i++ - i++)

на разных компиляторах получите разные ответы.
А у Вас получались одинаковые, потому что хоть задом наперед все сделай, все равно будет одинаковый ответ. А вот при разности, ну или при разных подвыражениях будет бо-бо...

@Toshkarik · 26.06.2013, 23:52

@Kuzia domovenok, я не занимаюсь исследованием компиляторов, мне это не к чему. Возможно, что все существующие компиляторы оценят это выражения так, как описано в теме. Но это ничего не меняет по отношению к стандарту.

И да, это утверждение не верно:

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

потом вывод на экран ( в поток) вот она точка следования
и потом еще раз уменьшение

std::cout << ( --i )--; раскрывается компилятором как cout.operator<<(( --i )--);, следовательно оно должно быть вычислено до вызова функции. В момент вызова функции постдекремент уже выполнен, а в функцию передается копия.

@razor_ua, мда, тут все понятно...

@razor_ua · 26.06.2013, 23:55

мда.... при ВЫЧИТАНИИ сначала выполняется ++ 2 раза, пофиг с какой стороны, и выводится результат отнимания..

а при сложении только 1 инкремент...
теперь ночью будут кошмары сниться )))

Croessmah · 26.06.2013, 23:57

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

Но это ничего не меняет по отношению к стандарту.

Что же Вы одно предложение выдернули то из стандарта?

Except where noted, the order of evaluation of operands of individual operators and subexpressions of individual expressions, and the order in which side effects take place, is unspecified(53)
Between the previousand next sequence point a scalar object shall have its stored value modified at most once by the evaluation
of an expression. F

и еще сноска внизу:

(53)The precedence of operators is not directly specified, but it can be derived from the syntax.

То бишь никакого UB, если порядок может быть получен из синтаксиса

@Kuzia domovenok · 27.06.2013, 00:00

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

std::cout << ( --i )--; раскрывается компилятором как cout.operator<<(( --i )--);, следовательно оно должно быть вычислено до вызова функции. В момент вызова функции постдекремент уже выполнен, а в функцию передается копия.

Это ты типа доказываешь, что "то утверждение неверно"?
Больше похоже наоборот, на подтверждение слов @Croessmah

Croessmah · 27.06.2013, 00:08

@Toshkarik, UB происходит в данных случаях от того, что в разных компиляторах дерево строится по разному и все зависит от того, в каком порядке это дерево "обходится", а это зависит от реализации. А значит нет однозначного ответа в каком порядке будут выполнены подвыражения. В случае с (--a)-- скобки влияют на построение дерева таким образом, что выполнить по другому просто не получится

@Toshkarik · 27.06.2013, 00:08

Сообщение от Kuzia domovenok

Это ты типа доказываешь, что "то утверждение неверно"?

Это я "типа" говорю, что никакого второго уменьшения после вывода на экран нет, выражение вычисляется один раз до вызова функции.

@Croessmah, я не вставил это в цитату, потому что, если верить сноски, то, как я уже писал, выражение ++++++i неявно оценивается компилятором как ++( ++( ++i )), что является UB, отсюда сделал вывод, что и ( --i )-- является UB.

ValeryS · 27.06.2013, 00:11

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

std::cout << ( --i )--; раскрывается компилятором как cout.operator<<(( --i )--);, следовательно оно должно быть вычислено до вызова функции. В момент вызова функции постдекремент уже выполнен, а в функцию передается копия.

нехай так
передается копия
что это меняет

C++
1
2
int i=2;
std::cout << ( --i )--;

т.е на экран выведется 1
а в следующей строчке i==0;
при любых компиляторах
где тут неопределенное поведение?
и мне без разницы выведет он переменную а потом уменьшит или создаст копию уменьшит а потом выведет копию
главное результат предсказуем

ты ведь не заморачиваешься
fnc(2+2,5+6);
что сначала выполнится 2+2 или 5+6
главное в функцию уйдут 4 и 11
UB страшны не сами по себе, их в каждой строчке может быть сто штук
а в том что при определенных условиях они могут дать неизвестно что
например
это всегда отработает

C++
1
a=i++;

а это зависит то компилятора

C++
1
i=i++;

Croessmah · 27.06.2013, 00:14

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

а это зависит то компилятора

имхо, эта строчка интересней:

C++
1
foo((i = 10) + i)

ValeryS · 27.06.2013, 00:21

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

имхо, эта строчка интересней:

даже представить не могу сколько нужно выпить чтобы так написать

это как

C++
1
for (int i=0; i<5; i=i++)

клиент говорят долго возмущался что цикл зацикливается

Croessmah · 27.06.2013, 00:26

Не по теме:

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

клиент говорят долго возмущался что цикл зацикливается

:D
Я нарывался на такое:

C++
1
2
3
4
    int endval;
    for(int i=0,endval=0;i<5;++i)
        ++endval;
    std::cout<<endval<<std::endl;

вопрос был очевиден - почему endval не поменялся :D

ValeryS · 27.06.2013, 01:20

отвлекли вы меня от работы

начал баловаться
вот они UB

C++
1
2
3
4
5
6
int i = 0;
    std::cout << i++ << i++ << i++<<std::endl;
     i = 0;
    std::cout << ++i << ++i << ++i<<std::endl;
     i = 0;
    std::cout << i << ++i << i++<<std::endl;

результаты
210
333
220

@el_gato_de_Ch · 27.06.2013, 07:17

лурк тоже в теме =)

Добавлено через 7 минут
я на стороне Toshkarik, это UB, однако как я понимаю UB - в рамках разных компиляторов, а не в пределах одного, любопытства ради, можно запустить проверить на 1е9 тестах и посмотреть что будет, имхо ответ всегда будет 1 и тот же

@ForEveR · 27.06.2013, 09:42

Все четко, нету UB в коде.
Вопрос знающим: кто-то смог хорошенько разобраться в определении UB в C++11 (sequenced before, sequenced after, etc)?

Croessmah · 27.06.2013, 09:49

@ForEveR, не разбирался еще, но можно узнать где описано конкретно? Приду с работы, попробую разобраться.

@Toshkarik · 27.06.2013, 09:53

По ссылке, что я приводил, вроде, есть объяснение.
http://stackoverflow.com/quest... nce-points
Начинается примерно в середине.

Новые блоги и статьи Все статьи Все блоги /
GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .	Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .
Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .

@razor_ua 11 / 11 / 2 Регистрация: 20.05.2011 Сообщений: 71
	26.06.2013, 23:55
	мда.... при ВЫЧИТАНИИ сначала выполняется ++ 2 раза, пофиг с какой стороны, и выводится результат отнимания.. а при сложении только 1 инкремент... теперь ночью будут кошмары сниться ))) 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	27.06.2013, 00:08
	@Toshkarik, UB происходит в данных случаях от того, что в разных компиляторах дерево строится по разному и все зависит от того, в каком порядке это дерево "обходится", а это зависит от реализации. А значит нет однозначного ответа в каком порядке будут выполнены подвыражения. В случае с (--a)-- скобки влияют на построение дерева таким образом, что выполнить по другому просто не получится 0

@el_gato_de_Ch 36 / 36 / 2 Регистрация: 28.04.2013 Сообщений: 110
	27.06.2013, 07:17
	лурк тоже в теме =) Добавлено через 7 минут я на стороне Toshkarik, это UB, однако как я понимаю UB - в рамках разных компиляторов, а не в пределах одного, любопытства ради, можно запустить проверить на 1е9 тестах и посмотреть что будет, имхо ответ всегда будет 1 и тот же 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	27.06.2013, 09:42
	Все четко, нету UB в коде. Вопрос знающим: кто-то смог хорошенько разобраться в определении UB в C++11 (sequenced before, sequenced after, etc)? 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	27.06.2013, 09:49
	@ForEveR, не разбирался еще, но можно узнать где описано конкретно? Приду с работы, попробую разобраться. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	27.06.2013, 09:53
	По ссылке, что я приводил, вроде, есть объяснение. http://stackoverflow.com/quest... nce-points Начинается примерно в середине. 1