嵌入式系统中：直接传函数返回值与存变量，哪种栈占用更小？

场景说明 #

我们团队在嵌入式系统代码库中，对返回码检查的代码结构产生分歧：

现有大量代码采用这种写法：

logOnError(functionWithLotsOfParameters(a, b, c, d, etc),
           "Error Message", module_name, some_more_stuff);

我建议改为更清晰的显式写法（ReturnType本质是unsigned int）：

ReturnType ret;
ret = functionWithLotsOfParameters(a, b, c, d, etc);
logOnError(ret, "Error Message", module_name, some_more_stuff);

同事认为第二种写法会不必要增加栈大小，而我认为两种写法的栈占用一致，请问哪种观点正确？

结论与分析 #

你的观点是正确的，两种写法的栈占用几乎没有差异，具体原因如下：

• 编译器优化层面：嵌入式开发通常会开启-O1及以上的编译器优化，此时显式声明的ret变量会被编译器直接分配到寄存器中，不会占用栈空间；即使未开启优化，unsigned int仅占4字节，对栈的影响微乎其微，在绝大多数嵌入式系统的栈空间限制下完全可以忽略。
• 函数调用逻辑层面：第一种写法中，functionWithLotsOfParameters的返回值同样需要临时存储（寄存器或栈）来传递给logOnError，并没有省略任何内存占用；第二种写法只是把这个临时存储的变量显式写出来，本质上和编译器的隐式处理没有区别。
• 过度优化的误区：嵌入式系统的栈压力主要来自递归调用、大尺寸局部数组/结构体、嵌套函数调用栈累积等场景，单个unsigned int变量的栈占用完全不值得担忧。反而第二种写法的可读性优势明显，能让后续维护者快速理清函数调用逻辑，排查问题时也更容易单独检查返回值，提升代码可维护性。

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