Некорректное вычисление?

Question

[MorganStanley]

Никак не могу понять почему конструкции выдают разный результат, в зависимости от компилятора. Проверял на JS и Java, выдают одинаково верный результат (как я думаю):
JS:

Java:

Ссылка на пример Java: goo.gl/HD223t

А вот результаты С++:
MSVCC 2015

cpp.sh (gcc 4.9.2)


ВТФ?

Comments

[Алексей]

Наверняка еще можно добиться разных результатов на одном копмиляторе, но при разных настройках оптимизации кода.

Answer 1

[Армянское Радио]

Для C++ такая конструкция нарушает стандарт языка и приводит к неопределенному поведению. На C++ так писать нельзя.

Comments

[MorganStanley]

Разве инкремент/декремент не должны вернуть соответственное значение (до/после изменения), а потом сравнить значения? Ведь приоритет операторов тут разный, и у операций инкремента/декремента он выше. Разве нет?

[Армянское Радио]

MorganStanley: Тут происходит (в терминах C++98) - более чем однократная запись в переменную в пределах одной точки следования. Это-нарушение Стандарта. Все.

[Толстый Лорри]

Только не нарушает, а не описано в Стандарте, т.е. отдается на откуп разработчикам компилятора.

[MorganStanley]

Армянское Радио: Хммм, ясно, спасибо за разъяснение!

[Армянское Радио]

Free_ze: Нет, тут именно UB, а не IS. Теоретически, на таком коде компьютер может начать ядерную войну.

[Толстый Лорри]

Армянское Радио: Дык UB - это "undefined behavior", т.е. оно не описано в стандарте. Противоречить как бы нечему =)

[Армянское Радио]

Free_ze: Есть разница между тем и этим. UB означает, что при определенном стечении обстоятельств произойдет аппаратный сбой, а при другом стечении обстоятельств тот же код будет работать, причем может быть даже так, как этого хочет автор.
IS означает, что поведение всегда однозначно и написано в документации на компилятор.

[Толстый Лорри]

Армянское Радио: IS - это вполне-себе подмножество UB. Но суть дела не меняет, т.к. UB - это не противоречие Стандарту.

[Антон Жилин]

Free_ze: Обычно оперируют терминами Undefined Behavior и Unspecified Behavior. Первый означает, что может начаться ядерная война, а второй -- что поведение всё же остаётся в рамках приличия (как правило, компилятор может выбрать любой из набора вариантов).

[Антон Жилин]

Антон Жилин: В данном случае, это Unspecified Behavior, а конкретно, не определено, в каком порядке выполняются вычисления, то есть неизвестно, что в итоге будет в c.

[Толстый Лорри]

Антон Жилин: Опять же, это несущественно в данном контексте)

Answer 2

[jcmvbkbc]

выдают одинаково верный результат

одинаково верный результат для java, потому что порядок вычисления значения выражений в java определён строго для любого выражения, см. https://docs.oracle.com/javase/specs/jls/se7/html/...

С++ -- это другой язык, на нём можно написать выражение вроде вашего, значение которого не определено стандартом и может варьироваться в зависимости от компилятора, опций оптимизации и фазы луны. См. https://ru.wikipedia.org/wiki/%D0%A2%D0%BE%D1%87%D...

Answer 3

[sitev_ru]

Даже девушки о таком пишут: alenacpp.blogspot.ru/2005/11/sequence-points.html ))

Comments

[sitev_ru]

Шучу... Очень у неё хороший блог...

[hatiko]

В Америке вас бы уже судили.