为何这段C语言代码输出3行结果？执行逻辑解析求助

先看代码核心逻辑：main函数中嵌套调用了f函数，我们按执行顺序一步步分析：

初始状态（main函数） #

变量初始值：
a=1, b=3, c=2, d=4

第一步：执行内层f函数调用 #

main里的语句a = f(d, a, f(a, c, b+c, d), a+c)中，必须先计算内层的f(a, c, b+c, d)，代入初始值后，这个调用是f(1, 2, 5, 4)：

1. 进入f函数，形参接收值：a=1, d=2, b=5, c=4
2. 执行b = a + c：b = 1+4=5（和原形参值一致）
3. 执行sum = b - c：sum=5-4=1
4. 执行d = sum + d：d=1+2=3
5. 打印输出：a=1 b=5 c=4 d=3
6. 判断返回值：
   • sum > a*c → 1>1*4？不成立
   • sum <= b*c →1<=5*4？成立，返回sum+a=1+1=2

第二步：执行外层f函数调用 #

内层f返回值为2，代入后外层调用是f(4, 1, 2, 3)（对应main的初始d=4, a=1, a+c=3）：

1. 进入f函数，形参接收值：a=4, d=1, b=2, c=3
2. 执行b = a + c：b=4+3=7
3. 执行sum = b - c：sum=7-3=4
4. 执行d = sum + d：d=4+1=5
5. 打印输出：a=4 b=7 c=3 d=5
6. 判断返回值：
   • sum > a*c →4>4*3？不成立
   • sum <= b*c →4<=7*3？成立，返回sum+a=4+4=8

第三步：main函数最终输出 #

外层f返回值8赋值给main里的a，此时main的变量为a=8, b=3, c=2, d=4，执行printf后输出：a=8 b=3 c=2 d=4

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