为何返回std::vector的函数无法触发尾调用优化（TCO）？

尾调用优化的核心前提是：函数执行的最后一步是调用另一个函数，且当前函数在返回前不需要执行任何额外的用户代码或对象清理逻辑，这样编译器才能安全地把当前函数的栈帧替换为被调用函数的栈帧，避免栈空间的消耗。

标量类型（如int）能触发TCO的原因 #

当返回类型是int这类标量类型时：

• 函数返回仅涉及简单的寄存器传递，没有自定义的构造、析构或移动操作。
• bar()调用foo()后，没有任何需要执行的额外逻辑——不需要析构局部对象，不需要处理返回值的转换或拷贝，编译器可以直接将bar()的栈帧替换为foo()的栈帧，让foo()直接把结果返回给bar()的调用者。

std::vector<int>无法触发TCO的原因 #

std::vector是非平凡类型（拥有自定义析构函数、移动构造函数），即使bar()看起来只是直接返回foo()的结果，背后也隐含着编译器需要处理的对象生命周期逻辑：

• 虽然返回值优化（RVO）可以避免不必要的拷贝，但TCO要求的是完全跳过当前函数的栈帧。而对于vector这类带析构的类型，编译器需要确保bar()栈帧中所有可能的临时对象（即使被优化掉）的析构逻辑被正确处理——栈帧替换会直接销毁当前函数的栈帧，可能导致这些析构逻辑无法执行，进而引发资源泄漏或未定义行为。
• 另外，vector的返回通常涉及到对象状态的传递（比如内部指针、大小信息），编译器无法保证在栈帧替换后，这些状态能正确传递给bar()的调用者，因为这依赖于当前函数栈帧的布局。

简单来说：标量类型的返回是“无副作用”的简单操作，而复杂类型的返回涉及到对象的构造、析构等生命周期管理，这些额外的逻辑阻止了编译器进行尾调用优化。

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