cout << ordre d'appel aux fonctions qu'il imprime?

Question

le code suivant:

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

imprime "ba" à la console

tandis que:

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

estampes "ab" pourquoi est-ce?

Il semblerait que cout appelle la fonction la plus extérieure (la plus proche de la;) en premier et se fraye un chemin, est-ce la façon dont elle se comporte?

Answer 1

Il n'y a pas de point de séquence avec l'opérateur << donc le compilateur est libre d'évaluer d'abord la fonction dequeue. Ce qui est garanti est que le résultat du deuxième appel dequeue (dans l'ordre dans lequel il apparaît dans l'expression et pas nécessairement dans l'ordre dans lequel il est évalué) est << 'au résultat de <<' obtenez ce que je dis).

Ainsi, le compilateur est libre de traduire votre code en quelque chose comme l'un de ceux-ci (pseudo intermédiaire C++). Ceci n'est pas destiné à être une liste exhaustive.

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

ou

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

ou

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

Voici ce que les correspondent aux temporaires l'expression originale.

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

Answer 2

L'appel de votre exemple:

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

se traduit par l'expression suivante avec deux appels de operator<< fonction:

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

L'ordre d'évaluation des cout, myQueue.dequeue() est non spécifiée. Cependant, l'ordre des appels de fonction operator<< est bien spécifié, comme marqué avec 1 et 2