c++ cout

[LSL]

Друг-сишник задался вопросом:

i = 1

cout << i << i++ << i

Почему на выходе 2 1 2, ведь должно 1 1 2 ?

[Noname]

потому что так писать нельзя. Поведение кода здесь будет совершенно неопределенным. Компилятор совсем не обязан вычислять эти выражения в порядке вывода, он это может сделать как угодно. Единственное, что можно сказать, что в середине будет единица.
А потом теоретически возможны варианты:

1 1 1
1 1 2
2 1 1
2 1 2

Просто не надо писать такой код.

[RomanPshenichny]

VC 7.1 release выдает 112, а debug 212.

Неопределен порядок вычисления выражений между точками следования (sequency point). Результат может быть любым.

Этот код аналогичен:

func ( func ( func (0, i), i++ ), i);

[Noname]

RomanPshenichny совершенно верно...

[Павел-Kikoz]

Я, конечно, не уверен.. Но разве операторы не выполняются слева - направо? Тогда результат 112 логичен..

[Unforgiven]

И даже более того:
$ g++ z.cpp -o z && ./z
211

$ g++ z.cpp -O2 -o z && ./z
112

Как видно, если добавить оптимизацию (-O2), то результат другой.

$gcc -v | grep version
gcc version 3.2.1 (ALT Linux, build 3.2.1-alt2)

[Павел-Kikoz]

Вот, блин.. И отлаживай потом такое..
В предыдущем посте имел в виду справа налево... Да, похоже, они выполняются как им приспичит

[Unforgiven]

Павел-Kikoz Чтобы не отлаживать такое, не надо такое писать. Кстати, если

cout << i << i++ << i

заменить на

printf("%d%d%d", i, i++, i)

то результат будет более предсказуемым. У меня всегда получается

2 1 1

[RomanPshenichny]

Павел-Kikoz

> Да, похоже, они выполняются как им приспичит

Может стоит выучить язык на котором пишите?

[zic]

Веревка достаточной длины чтобы выстрелить себе в ногу . Или как правильно писать программы на Си .

[LSL]

Спасибо. Друг будет доволен бедный друг...он обречён : ): )

[Павел-Kikoz]

Unforgiven
Ды я и не пишу таких конструкций, себе дороже...
Кстати, RomanPshenichny утверждает, что "этот код аналогичен
func ( func ( func (0, i), i++ ), i);"
RomanPshenichny
Язык-то стоит выучить... Только я не уверен, что его легко выучить на 100% (сколько там странц стандарт занимает?) А в неком достаточном объеме я его знаю (смею надеяться)

[zic]

Павел-Kikoz
Какой стандарт ?
с каких это пор реализации языков от MS соответсвуют каким то стандартам ? И уж точно не ансишным .
Может спецификация ?

[NonSoluS]

cout << i << i++ << i

заменить на

printf("%d%d%d", i, i++, i)

тогда и <stdio.h> подрубай....

[Unforgiven]

DoZeR, само собой.
Только к чему ты это сказал? Тут где-нибудь приведен полный текст программы?

[Павел-Kikoz]

zic
Стандарт и спецификация использовались мной как синонимы. Ок, спецификация языка с++.
cout и оператор ++ это явно стандатрные переносимы вещи, не всякие там __property
Да и тут не только MS VC касается, как я понял...
Ну ладно, чот-то народ начал придираться к словам...
Ну не работает и не работает, черт с ним.

[zic]

Ессно не только MS .
НУ так речь то не о том ?

[RomanPshenichny]

Павел-Kikoz

> Кстати, RomanPshenichny утверждает, что "этот код
> аналогичен func ( func ( func (0, i), i++ ), i);"

cout << i << i++ << i, это:

( ( (cout::operator << (i) )::operator << (i++) )::operator << (i)

и для педантов:

( ( (std::basic_ostream<char,std::char_traits<char> >::operator<< (i) )::operator << (i++) )::operator << (i).

В функциональном виде код аналогичен func ( func ( func (0, i), i++ ), i). В котором тоже будет наблюдатся такое же неопределенное поведение.

Точка следования в обоих вариантах одна. Все пераметры operator << и func вычисляются до вызова самих функций. Т.е. сначала посчитали i, i++, i, а потом уже вызвали функции. Порядок вычисления i, i++, i внутри одной точки следования не определен. Что такое точка следования -- читайте в книжках по C++.

> сколько там странц стандарт занимает

~700. Но это смотря каким шрифтом ;)

zic

> с каких это пор реализации языков от MS соответсвуют
> каким то стандартам ?

С 2003 года, с VC 7.1.
Казалось бы, причем тут MS? ;)
Это стандартный undefined behaviour описанный в стандарте.

[zic]

RomanPshenichny
ДА я не спорю что темотаг наблюдается в любом случае .
Я просто к тому что в MS любит придумывать свои стандарты .
А не следывать общепринятым .

[Unforgiven]

RomanPshenichny, маленькое уточнение:
( ( (cout.operator << (i) ).operator << (i++) ).operator << (i)

[Павел-Kikoz]

RomanPshenichny
Блин, если бы я не знал, что операторы работают как функции, я бы вообще не полез в тему
"Порядок вычисления i, i++, i внутри одной точки следования не определен." - вот именно поэтому я и написал, что все достачно сложно.

[Fisher]

Первоначальное сообщение от LSL
Друг-сишник задался вопросом:

i = 1

cout << i << i++ << i

Почему на выходе 2 1 2, ведь должно 1 1 2 ?

Ничего не должно быть, т.к. тут undefined behaviour и поэтому может быть все, что угодно, вплоть до форматирования диска.

Fisher добавил [date]1069425240[/date]:

Первоначальное сообщение от RomanPshenichny
Точка следования в обоих вариантах одна.[/B]

Все пераметры operator << и func вычисляются до вызова самих функций.

Все аргументы не обязаны вычисляться до вызова первой из функций.

Т.е. сначала посчитали i, i++, i, а потом уже вызвали функции. Порядок вычисления i, i++, i внутри одной точки следования не определен.

Дело не в том, что не определен порядок вычисления подвыражений внутри выражений, а в том, что нет гарантированных точек следования между вычислением i и i++. Undefined behaviour.