C++函数实参调用顺序是否为未定义行为？相关技术咨询

1. 函数实参的调用顺序属于未指定行为（不可依赖） #

首先明确：在C++标准中，函数调用的实参求值顺序是未指定行为（unspecified behavior）。这意味着标准允许编译器以任意顺序计算实参，不同编译器（甚至同一编译器的不同优化级别）都能选择不同的顺序，且无需提前告知开发者。

你的例子里GCC和Clang输出不同，正是因为它们选择了相反的求值顺序——GCC先计算f2()再算f1()，Clang则先执行f1()再执行f2()。哪怕到了C++17标准，虽然对赋值、逗号表达式等的求值顺序做了约束，但函数实参的求值顺序依然没有强制规定，所以依赖这个顺序的代码本质上是不可移植的。

2. 如何强制按指定顺序调用函数实参 #

要确保f1()先于f2()被调用，最直接且清晰的方式是将函数调用与实参传递分离，提前把函数返回值存储到变量中，再将变量作为实参传递：

int main() {
    int val1 = f1(); // 明确先调用f1()
    int val2 = f2(); // 明确后调用f2()
    Bar bar(val1, val2);
}

这种写法彻底消除了求值顺序的歧义，无论用哪个编译器或优化级别，执行顺序都是确定的。

如果非要在一行代码中完成（不推荐，可读性差），也可以利用逗号表达式的特性（C++标准规定逗号表达式左操作数先求值，结果丢弃后再求值右操作数）：

int main() {
    int val1, val2;
    Bar bar((val1 = f1(), val1), (val2 = f2(), val2));
}

但这种写法远不如分开声明变量清晰，优先推荐第一种方案。

3. 直接将函数调用作为实参是否为良好实践？ #

绝对不是。当函数调用带有副作用（比如你的例子中的cout输出、修改全局状态、IO操作等）时，直接将它们作为实参会导致程序行为依赖编译器的求值顺序，这会让代码变得不可移植、难以调试，甚至在编译器版本升级后出现意外问题。

良好的实践准则：

• 尽量避免让函数实参的求值顺序影响程序逻辑；
• 如果函数调用有副作用，提前执行并存储结果，再传递结果作为实参；
• 设计函数时，尽量让实参的求值顺序不影响最终结果（比如使用无副作用的纯函数）。

内容的提问来源于stack exchange，提问作者user2269707