C++ std::cout

Question

Witam,

mam problem/zagwozdkę związaną z obiektem cout.

Dlaczego taki kod:

#include "stdafx.h"
#include <iostream>

using namespace std;

int main()
{
	
	int i = 0;
	cout << i << " " << i << " " << i++ << " " << i << " " << i << endl;

	system("pause");
    return 0;
}

daje na wyjściu: 1 1 0 1 1 ?

Próbowałem używać różnych wariancji (przestawiania tych inkrementatorów) i wtedy wszystko robi się jeszcze dziwniejsze. Nie jestem w stanie zrozumieć dlaczego tak się dzieje.

(Wiem, że takie użycie obiektu cout jest karygodne jednak jestem zmuszony opanować posługiwanie się coutem także w ten sposób)

Answer 1

Kolejność ewaluacji wyrażeń w takim zapisie jest nieokreślona. Więc po prostu nie stosuj takiego zapisu i rozbij tą linijkę na dwa lub więcej (zależnie od tego, co chcesz osiągnąć).

Comments

Mógłbym prosić o jakieś źródła potwierdzające to, co piszesz?

---

Dość podobne zagadnienie na stackoverflow:

https://stackoverflow.com/questions/7718508/order-of-evaluation-of-arguments-using-stdcout

Bardziej szczegółowo ten temat jest opisany tutaj:

http://en.cppreference.com/w/cpp/language/eval_order

Choć według tego, co napisała @Monika90 C++17 definiuje kolejność dla operatora <<, o czym szczerze mówiąc nie wiedziałem. Potwierdzenie tego można znaleźć w linku do cppreference, który podesłałem:

19) In a shift operator expression E1<<E2 and E1>>E2, every value computation and side-effect of E1 is sequenced before every value computation and side effect of E2

---

Dzięki.

---

Wiem, że to stary wątek, ale czy na wyjściu nie powinno być  0 0 0 0 1?

Jest to post inkrementacja, a nie pre

---

Postinkrementacja jest w trzecim wyrażeniu, więc wynikiem tego wyrażenia będzie 0 (na trzecim miejscu) a efektem ubocznym inkrementacja i. Przy czwartym wyrażeniu i będzie już miało wartość 1.

Answer 2

Pewnie masz stary kompilator.

Według obowiązującego obecnie standardu, czyli C++17, wynikiem powinno być

0 0 0 1 1

ponieważ, dla operatorów << i >> podwyrażenia są wartościowane od lewej do prawej, dla innych operatorów kolejność może być inna, lub być w ogóle nieokreślona.

Przed C++17 zachowanie tego programu było niezdefiniowane.

Answer 3

Nie używaj std::system, brr.

U mnie daje wynik 0 0 0 1 1. Przy dwóch pierwszych "wypisaniach" używasz wartości pierwotnej i, czyli 0. Przy kolejnym odwołaniu się do i, wykonujesz na tej zmiennej postinkrementację (czyli najpierw użyj, później zwiększ wartość o 1). Więc przy tym użyciu znowu uzyskujemy wartość zero, ale już przy następnym jest to 1.

Comments

Dodam, że autor pytania może zaznajomić się z hasłem undefined behaviour. :)

---

Dokładnie taki sam wynik mam gdy rozdziele sobie tego cout'a na 5 osobnych ( i wiem, że tak powinno się to robić).
Problem polega na tym właśnie, że nie rozumiem dlaczego ja ostrzymuje wynik 1 1 0 1 1.
Wciąż o tym czytam i znalazłem informację, że może być to zachowanie niezdefiniowane przez standard, dlatego daje różne wyniki w różnych kompilatorach. Byłoby świetnie gdyby ktoś mógł to potwierdzić.

 

EDIT: Termin jest mi znany, myślałem jednak, że obiekt cout ma po prostu jakąś magiczną kolejność wykonywania tych wypisań :)

---

Heh, o tym nie pomyślałem ;)

---

komentarz 2 marca przez Mihost Nowicjusz (230 p.) Dokładnie taki sam wynik mam gdy rozdziele sobie tego cout'a na 5 osobnych ( i wiem, że tak powinno się to robić). Problem polega na tym właśnie, że nie rozumiem dlaczego ja ostrzymuje wynik 1 1 0 1 1. Wciąż o tym czytam i znalazłem informację, że może być to zachowanie niezdefiniowane przez standard, dlatego daje różne wyniki w różnych kompilatorach. Byłoby świetnie gdyby ktoś mógł to potwierdzić.   EDIT: Termin jest mi znany, myślałem jednak, że obiekt cout ma po prostu jakąś magiczną kolejność wykonywania tych wypisań :)

jakąś na pewno 

to pewnego rodzaju bug

Answer 4

A skąd masz pewność, że to musi się udać?  Może nie powinno.

Spróbuj jeszcze opcję: std::cout