C++ Brain Teasers: 未指定和实现定义的行为-函数参数的求值顺序

C++ 标准并未严格指定所有内容；它为实现留下了一些自由。以下是一些示例：

• 整数类型的特定大小
• 函数参数的求值顺序
• 全局变量的初始化顺序

这允许每个实现在特定系统上做出最好的选择。

大多数程序都有一些未指定或实现定义的行为；这不是错误。与未定义的行为相反，这没什么问题。只是不同的实现在允许的行为集内可能会表现得略有不同。

任何表达式的任何部分的求值顺序（包括函数参数的求值顺序）均未指定（下面列出了一些例外情况）。编译器可以按任何顺序求值操作数和其他子表达式，并且可能在再次求值同一表达式时选择其他顺序。

C++ 中没有从左到右或从右到左求值的概念。不要将这与运算符的从左到右和从右到左的结合性混淆：由于运算符 + 的从左到右的结合性，表达式 a() + b() + c() 被解析为 (a() + b()) + c()，但在运行时，c() 可能首先求值、最后求值或在 a() 或 b() 之间求值：

#include <cstdio>
 
int a() { return std::puts("a"); }
int b() { return std::puts("b"); }
int c() { return std::puts("c"); }
 
void z(int, int, int) {}
 
int main()
{
    z(a(), b(), c());       // all 6 permutations of output are allowed
    return a() + b() + c(); // all 6 permutations of output are allowed
}

实验输出