cout << orden de llamada a las funciones que imprime?

Question

el siguiente código:

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

impresiones "ba" a la consola

rato:

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

impresiones "ab" ¿por qué es esto?

Parece que cout llama primero a la función más externa (más cercana a la;) y se abre paso, ¿así es como se comporta?

Answer 1

No hay punto de secuencia con el operador << por lo que el compilador puede evaluar primero la función dequeue primero. Lo que está garantizado es que el resultado de la segunda llamada dequeue (en el orden en el que aparece en la expresión y no necesariamente en el orden en que se evalúa) es << 'ed al resultado de <<' el primero (si consigue lo que estoy diciendo).

Así que el compilador puede traducir su código a algo como cualquiera de estos (pseudo intermedio C++). Esto no pretende ser una lista exhaustiva.

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; 

Esto es lo que los provisionales corresponden a la expresión original.

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

Answer 2

La llamada de su ejemplo:

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

se traduce en la siguiente expresión con dos llamadas de operator<< función:

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

El orden de evaluación de cout, myQueue.dequeue() está especificado. Sin embargo, el orden de las llamadas a la función operator<< está bien especificado, como se marcó con 1 y 2