C语言中将函数调用作为另一函数参数使用存在哪些隐藏问题？

C语言中嵌套函数调用作为参数的风险说明 #

你给出的嵌套函数调用写法完全符合C语言语法规范，你提供的示例代码：

int foo1(int a){/*does something */ return a;}
int foo2(int b){/*does something */ return b;}
int foo3(int a, int b){return a+b;} 

int result = foo3(foo1(1),foo2(2)); /*result is 3 */

运行结果确定为3，不存在任何问题。但这类写法在部分特殊场景下存在易被忽略的隐藏风险，具体如下：

• 参数求值顺序未定义：C标准没有规定函数实参的求值顺序，编译器可以自行决定先执行foo1(1)还是foo2(2)。如果两个被调用的函数存在互相影响的副作用（比如修改同一个全局变量、操作同一个文件指针等），最终运行结果会随编译器实现不同发生变化，且问题极难排查。
• 隐式类型转换难感知：如果被调用函数的返回值类型和目标函数的形参类型不匹配，编译器会自动执行隐式类型转换。直接嵌套传参时你无法直观感知到转换过程，很容易忽略精度丢失、符号位错误这类潜在问题。
• 调试排查成本更高：当运行结果不符合预期时，嵌套传参的写法无法直接查看每个函数调用的返回值，必须拆分为临时变量才能逐个断点验证，复杂逻辑下会大幅提升问题定位成本。
• void返回值误传难发现：如果误将返回值为void的函数作为参数传入，部分老旧编译器只会抛出警告不会直接终止编译，运行时会读取栈上的垃圾值作为参数，这类问题在嵌套传参的写法下更难被提前发现。

推荐使用场景 #

如果满足以下所有条件，你可以放心使用这类嵌套传参的写法：

• 作为参数的多个函数调用之间不存在互相影响的副作用
• 函数返回值类型和目标形参类型完全匹配，不需要隐式转换
• 逻辑足够简单，不需要额外断点调试

如果不满足以上条件，建议先将每个函数的返回值保存到临时变量，再传入目标函数：

int ret1 = foo1(1);
int ret2 = foo2(2);
int result = foo3(ret1, ret2);

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