C语言中嵌套函数调用拼接任意字符串是否属于Undefined Behavior？

好问题！咱们一步步拆解清楚你关心的两个核心点：

1. 嵌套函数调用的求值顺序是否有明确保证？ #

首先明确：如果你的嵌套调用是「内层函数的返回值直接作为外层函数的参数」（比如 concat(concat(base, part1), part2) 这种形式），这种情况下的求值顺序是完全确定的——从最内层到最外层依次执行。

为什么？因为外层函数必须拿到内层函数的返回值才能执行自己的逻辑，所以语言标准会强制保证内层调用先完成，再执行外层调用。举个具体的例子，假设你用类似C标准库的 strcat 做拼接：

char buffer[256] = "/home/user";
strcat(strcat(buffer, "/docs"), "/report.txt");

它的执行顺序是板上钉钉的：

• 先执行最内层的 strcat(buffer, "/docs")，把 buffer 修改为 /home/user/docs，并返回 buffer；
• 接着执行中间层的 strcat(返回的buffer, "/report.txt")，把 buffer 修改为最终路径 /home/user/docs/report.txt。

这种层级嵌套的调用，不存在任何求值顺序的模糊性——和你提到的那个聚焦多参数独立调用的问题场景完全不同，那个场景是指同一函数的多个参数里有独立的函数调用（比如 funcA(funcB(), funcC())），这种情况在旧标准里顺序是未指定的，但和你的字符串拼接场景不沾边。

2. 这种实现是否依赖未定义行为？ #

答案是：只要你的拼接函数本身是正确实现的，就完全不依赖未定义行为。

这里的关键是拼接函数的设计——比如像 strcat 这样，接收目标缓冲区和待拼接字符串，修改目标缓冲区后返回它的指针。嵌套调用时，每一步内层调用的副作用（修改缓冲区）都已经完成，外层调用拿到的是已经更新后的缓冲区，整个过程完全符合语言标准的规范，没有任何未定义的风险。

当然，如果你自己实现拼接函数时犯了错误（比如返回了无效指针，或者缓冲区越界），那就是另一个问题了，但这和嵌套调用本身无关。

补充说明 #

如果是在C++17及以后的标准里，语言对函数参数的求值顺序做了更严格的规定，但这对你的嵌套调用场景没有影响——因为嵌套调用的层级关系本身就已经强制了执行顺序，不管新旧标准都一样明确。

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