cout << ordine di chiamata alle funzioni che stampa?

Question

il seguente codice:

myQueue.enqueue('a'); 
myQueue.enqueue('b'); 
cout << myQueue.dequeue() << myQueue.dequeue(); 

stampe "ba" alla console

mentre:

myQueue.enqueue('a'); 
myQueue.enqueue('b'); 
cout << myQueue.dequeue(); 
cout << myQueue.dequeue(); 

stampe "ab" perché è questo?

Sembra che Cout stia chiamando prima la funzione più esterna (più vicina alla;) e che si sta facendo strada, è il modo in cui si comporta?

Answer 1

Non esiste un punto di sequenza con l'operatore << in modo che il compilatore sia libero di valutare prima la funzione dequeue. Ciò che è garantito è che il risultato della seconda chiamata dequeue (nell'ordine in cui appare nell'espressione e non necessariamente nell'ordine in cui viene valutata) è <<'ed al risultato di << 'il primo (se prendi quello che sto dicendo).

Quindi il compilatore è libero di tradurre il tuo codice in qualcosa come uno di questi (pseudo intermedio C++). Questo non vuole essere un elenco esaustivo.

auto tmp2 = myQueue.dequeue(); 
auto tmp1 = myQueue.dequeue(); 
std::ostream& tmp3 = cout << tmp1; 
tmp3 << tmp2; 

o

auto tmp1 = myQueue.dequeue(); 
auto tmp2 = myQueue.dequeue(); 
std::ostream& tmp3 = cout << tmp1; 
tmp3 << tmp2; 

o

auto tmp1 = myQueue.dequeue(); 
std::ostream& tmp3 = cout << tmp1; 
auto tmp2 = myQueue.dequeue(); 
tmp3 << tmp2; 

Ecco quello che i provvisori corrispondono nell'espressione originale.

cout << myQueue.dequeue() << myQueue.dequeue(); 
|  |    | |    | 
|  |____ tmp1 _____| |_____ tmp2 ____| 
|      | 
|________ tmp3 _________| 

Answer 2

La chiamata dal vostro esempio:

cout << myQueue.dequeue() << myQueue.dequeue(); 

traduce alla seguente espressione con due chiamate di operator<< funzione:

operator<<(operator<<(cout, myQueue.dequeue()), myQueue.dequeue()); 
-------------------- 1 
---------2 

L'ordine di valutazione di cout, myQueue.dequeue() non è specificato. Tuttavia, l'ordine delle chiamate di funzione operator<< è ben specificato, come indicato con 1 e 2