Очень странный приоритет/точность в функции C++

Question

Почему следующая распечатка «World Hello!»?

Из моего понимания, в соответствии с приоритетом оператора, это следует оценивать слева направо. Но вместо этого кажется, что это право налево вправо. Почему это?

#include <iostream> 

using namespace std; 


char print() { 
    cout << "World"; 
    return '!'; 
} 

int main() { 
    cout << "Hello " << print() << endl; 
    return 0; 
} 

Answer 1

Я не думаю, что стандарт дает никаких гарантий относительно точного момента, когда print() называется относительно применения << оператор.

В вашем случае это выглядит как print() называется первым, тогда оценивается cout << Hello, и только тогда оценивается [result of the previous expression] << [result of print()].

Answer 2

Заказ не определен. Посмотрите на Order of evaluation.

cout << i << i++; // Undefined behavior 

Answer 3

это следует оценивать слева от правой.

Он делает. Вы можете видеть это с ! в самом конце. Но окончательная строка печатается coutпосле Операторы были оценены. Но, во время оценка оператора, вы печатаете World. Затем печатается Hello!. Следовательно, вы получаете WorldHello!.

Как другие пишут, даже если это результат, который вы получаете (и я могу проверить его), это может быть даже неопределенное поведение в отношении вызывающего порядка, так как порядок оценки неуточнен.

@Bo дал очень хорошую ссылку, которая указывает на C++ стандарт:

§5.2.2.8 - [...] The order of evaluation of function arguments is unspecified. [...] 

Answer 4

Это становится

operator<< 
(
    operator<< 
    (
     cout, 
     "Hello" 
    ), 
    print() 
) 
.operator<< 
(
    endl 
); 

Порядок evalutation аргументов unspecified, так что нет ничего о том, что сокровенное operator<< должен быть оценен, прежде чем print() в вызове второго сокровенном operator<<.

Подумайте об этом следующим образом: foo(f1(), f2());. Что будет оцениваться первым, f1() или f2()? Мы не знаем. Мы знаем только, что оба будут завершены до foo().

Левый на правый precedence означает, что он заканчивается тем, как я его написал.

Много позже редактирование: Незначительная техническая ошибка. Вызов endl будет фактически версией участника. Не имеет никакого значения ни на что другое.