Небольшой апдейт.

В стандарте С++17 будут изменены правила вычисления таких неоднозначных (по предыдущему стандарту) выражений:

1) Присвоение будет вычисляться всегда справа налево (сначала целиком то, что присваивается, потом то, куда присваивается).
2) Постфиксные выражения, такие как цепочки вызовов функций (func_a(a1, a2).func_b(b1, b2)) - всегда слева направо. Т.е. сначала вызывается первая функция, только потом вычисляются аргументы второй функции и т.д. Раньше порядок не был определен, и при интенсивной оптимизации это могло ломаться.
3) Операция << выполняется всегда слева направо (удивительно, но в старом стандарте вывод в поток через << это был UB, т.к. это аналог цепочки вызовов из п.2, просто случайно все работало, точнее не случайно, потому что компиляторы не дураки пишут )

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0145r2.pdf

Таким образом исходный пример:


в новом стандарте имеет строго определенный порядок вычислений, и дает результат

Dimitry SibiryakovЭ?..
Если это вопрос, то он как-то нечетко сформулирован ))