C++中引用传递递归等与循环的性能差异猜测是否正确？

你的测试结果和核心猜测方向是正确的，下面针对每个函数的性能差异做具体拆解：

1. passed_func 与 for_func 性能接近的原因 #

• passed_func 是尾递归（递归调用是函数的最后一个执行操作），现代C++编译器（如GCC、Clang）会自动将其优化为等价的循环结构，不需要为每次递归调用创建新的栈帧，而是复用当前栈帧的内存，这和for_func的执行逻辑几乎一致。
• 你提到的result分配差异确实存在：passed_func通过引用传递result，递归过程中不需要额外分配临时变量存储返回值；for_func的result是栈上局部变量，两者的内存操作开销几乎可以忽略，因此性能表现接近。
• 当MAX_DEPTH增大时，passed_func会略慢于for_func：即使有尾递归优化，passed_func仍会保留少量函数调用相关的指令（比如参数传递），而for_func是纯循环结构，指令更精简，深度越大，这类微小开销的累积效应越明显。

2. returned_func 性能大幅落后的原因 #

你的猜测完全正确：

• returned_func不是尾递归，每次递归调用都需要保存当前的depth值和返回地址，等递归到达终止条件后，再逐层返回并执行加法操作。这意味着每个递归调用都要创建独立的栈帧，而且加法操作存在数据依赖（下一次加法必须等待上一层递归返回），会导致CPU流水线停顿，大幅降低执行效率。
• 当MAX_DEPTH增大时，这种逐层累加的开销会线性增长，因此returned_func的性能下降幅度会超过stacked_func，最终比栈模拟实现更慢。

3. stacked_func 最慢的原因 #

核心原因是堆内存操作的开销：

• stacked_func使用std::vector模拟栈，而vector的元素存储在堆上，堆内存的访问延迟远高于栈内存。每次emplace_back和pop_back操作，即使不需要扩容，也会涉及指针操作和内存读写，相比passed_func/for_func的栈上变量操作，缓存命中率更低。
• 另外，stacked_func的循环逻辑中，每次pop_back后立即emplace_back，产生了额外的内存往返操作，进一步增加了开销。

总结 #

你的核心猜测完全正确，性能排序的本质是栈帧开销、数据依赖、内存访问模式三个因素的综合影响：

• passed_func（尾递归优化后）和for_func：栈帧开销极低，内存访问连续，性能最优；
• returned_func：非尾递归导致大量栈帧创建+数据依赖，性能大幅下降；
• stacked_func：堆内存操作的高延迟，导致性能最差。

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