Опять задачка с инкрементом

[baldr]

Кажется, был уже такой вопрос.... Но не помню что ответили.
Попробуйте посчитать в уме - что будет на экране?

int i = 1;
i += i++ + ++i;
cout << i << endl;

Когда я посчитал - я проверил на MSVC 6. У меня сошлось.
А мой друг проверил на Java - у него по-другому получилось.....

Что по этому поводу говорит RTFM ?

[Alf]

На 100% не ручаюсь, но вроде бы попадалось, что если элементы выражения обладают побочными эффектами (как в данном случае), результат может быть неопределенным. Даже на одном компиляторе при разных схемах оптимизации результат может отличаться, а уж в разных языках - и подавно.

[Mouse]

baldr, а можешь сказать какие результаты на Java? На C# сошлось с ожидаемым, а вот Java под рукой нет... MSDN определяет операции одинаково для C#, C++, и Java.

[baldr]

Я посчитал в уме - у меня получилось 7.
MSVC 6 сказал, что будет 7.
На Java получилось 5.

[Mouse]

На C# 5 получается, на C++ и вправду ожидал увидеть 7
Тут, похоже, дело в том, что java и C# (как наследник Java) читает левую часть оператора "+=" до выполения правой части, а C++ - после. Тогда все сходится. А почему именно так - это уже вопросы не к инкременту, а к самому языку

[Finch]

Расмотрим простой пример i += 1 Эту формулу можно записать так  i = i + 1 . Т.е. это будут равнозначные перемешения, даюшие один и тот же ответ.

Теперь если расмотрим вышеприведенную формулу, то
i +=    i++ + ++i
i = i +  i++ + ++i
Тоже должны быть равнозначны. Для Вижуала это не так. Чтобы для него это было равнозначным, запись должна идти так
i = i +  (i++ + ++i)

[npak]

Стандарт языка Си, пункт 6.5.16 Assignment operators, параграф 4

    The order of evaluation of the operands is unspecified.

Результат зависит от компилятора. Если сначала вычисляется правый операнд ( i++ + ++i ), то результат равен 7, если сначала вычисляется левый операнд, то результат 5.

[NetRaider]

Стандарт языка Си, пункт 6.5.16 Assignment operators, параграф 4

    The order of evaluation of the operands is unspecified.

Результат зависит от компилятора. Если сначала вычисляется правый операнд ( i++ + ++i ), то результат равен 7, если сначала вычисляется левый операнд, то результат 5.

Здесь порядок вычисления роли не играет.  Будет undefined behavior.  Как минимум двукратная модификация скалярного объекта между  соседними точками следования(в одном выражении).

5/4 "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. Furthermore, the prior value shall be accessed only to determine the value to be stored. The requirements of this paragraph shall be met for each allowable ordering of the subexpressions of a full expression; otherwise the behavior is undefined."

[LP]

В одном тесте был такой вопрос: что выдаст такой код?

Код:

char c=0;
std::cout << c++ << c;

Ответ: Поведение неопределено
Здесь это хорошо расписано http://www.rsdn.ru/Forum/Info.aspx?name=FAQ.cpp.undefined