Стандарт неt указать порядок вычисления аргументов с помощью этой строки:

Порядок оценки аргументов не уточняется.

Что значит

Лучший код может быть сгенерирован при отсутствии ограничений на порядок вычисления выражений

означают?

Какой недостаток заключается в том, что все компиляторы просят оценить аргументы функции, например, слева направо? Какие виды оптимизации выполняют компиляторы из-за этой неопределенной спецификации?