gcc无法优化std::vector<int>尾递归，程序退出码139，原因何在？

你的程序本身不存在未定义行为：每次调用foo时，参数bar是值传递的std::vector，每个调用都会生成独立的副本，且每个副本都包含至少一个元素，bar[0]的访问始终合法，没有越界、空指针等未定义操作。

段错误的根本原因是GCC 12.2在-O3级别下没有对该函数进行尾递归优化，具体原因如下：

• 尾递归优化的核心是复用当前函数栈帧，但你的foo函数参数是std::vector<int>值传递，每次递归调用前都需要执行vector的拷贝构造操作——这个拷贝需要在栈上分配新的vector内部数据（或处理容器控制块），编译器无法将这部分操作与当前栈帧复用。
• 随着递归次数（高达9999999次）不断累积，每次调用都会占用新的栈空间，最终导致栈内存耗尽，触发段错误（退出码139对应SIGSEGV信号）。

修复方案 #

要让编译器能够进行尾递归优化，需要消除递归调用前的拷贝开销，比如：

1. 使用右值引用+std::move转移vector所有权，避免拷贝：

#include <iostream>
#include <vector>
#include <utility>

int foo(std::vector<int>&& bar) {
    if (bar[0] == 0)
        return bar[0];
    else 
    {
        bar[0] -= 1;
        return foo(std::move(bar));
    }
}

int main() 
{
    std::vector<int> bar {9999999};
    std::cout << foo(std::move(bar));
}

2. 直接改用基础类型参数（比如int），彻底消除容器拷贝：

#include <iostream>

int foo(int bar) {
    if (bar == 0)
        return bar;
    else 
    {
        return foo(bar - 1);
    }
}

int main() 
{
    std::cout << foo(9999999);
}

内容的提问来源于stack exchange，提问作者justANewb stands with Ukraine