编译器是否允许在不同的函数参数中交错计算子表达式？

Question

我想知道以下情况：

void f(int a, int b) { }

int a(int x) { std::cout << "func a" << std::endl; return 1; }
int b(int x) { std::cout << "func b" << std::endl; return 2; }

int x() { std::cout << "func x" << std::endl; return 3; }
int y() { std::cout << "func y" << std::endl; return 4; }

f(a(x()), b(y()));

阅读http://en.cppreference.com/w/cpp/language/eval_order后，我仍然难以理解以下评估顺序是否可行：

x() -> y() -> a() -> b()

或者标准保证a(x()) 和b(y()) 将被评估为单位，可以这么说。

换句话说，有没有可能打印出来

func x
func y
func a
func b

在 GCC 5.4.0 上运行这个测试让我觉得更合乎逻辑

func y
func b
func x
func a

但这当然没有告诉我标准要求什么。如果能获得对该标准的参考，那就太好了。

Answer 1

在 C++14 及更早版本中，x -> y -> a -> b 是可能的。这里的排序关系是：

• 对x 的调用在调用a 之前进行排序。
• 对y 的调用在调用b 之前进行排序。
• 对a 的调用在调用f 之前进行排序。
• 对b 的调用在调用f 之前进行排序。

订单没有其他限制。如果您想强制执行某些特定的排序，则必须将此调用分解为多个完整表达式。

在 C++14 标准中，注释 [expr.call]/8 阐明了这一意图：

[注意： 后缀表达式和参数的求值都是无序的。参数评估的所有副作用都在输入函数之前排序。 —尾注 ]

如 cmets 中所述，cppreference page 列出了一些标记为“自 C++17 以来”的更多排序规则。这是基于n4606，最新发布的 C++17 草案。所以有可能对于 C++17，这个顺序将不再被允许。

Answer 2

另一种看待它的方式：

在开始评估 a 或 b 之前评估 x 和 y 没有任何好处。事实上，会有一个惩罚。额外的中间结果必须临时保存在某个地方，这要么需要额外的堆栈推送/弹出，要么消耗额外的 CPU 寄存器（过度使用无论如何都会导致额外的堆栈操作）。虽然对于您提供的示例可能没有什么影响或影响很小，但更复杂的案例会显示效率低下。

该规则可以被视为最惰性的评估，即在需要之前不执行评估，以避免携带额外的临时结果。