C++栈溢出防范：递归与局部变量控制

栈溢出主因是递归过深和局部变量过大，可通过限制递归深度、减少栈内存占用、使用堆分配和迭代替代递归来预防，尤其在嵌入式系统中更需注意栈大小控制。

栈溢出在C++中常见于递归调用过深或局部变量占用空间过大。这类问题在运行时可能引发程序崩溃，尤其在嵌入式系统或深度算法中更需警惕。预防的关键在于控制递归深度和减少栈空间消耗。

限制递归深度，避免无限调用

递归函数若缺乏明确的终止条件或深度控制，容易导致栈帧不断累积。建议为递归设置最大深度阈值，防止失控。

例如，在二叉树遍历或DFS算法中，可引入计数器参数：

void dfs(Node* node, int depth, int max_depth) {
    if (!node || depth >= max_depth) return;
    // 处理当前节点
    dfs(node->left,  depth + 1, max_depth);
    dfs(node->right, depth + 1, max_depth);
}

通过外部传入max_depth，可主动限制调用层数，避免栈溢出。

减少局部变量占用的栈空间

函数内的大型数组或结构体作为局部变量时，会显著增加单次调用的栈消耗。例如定义int buffer[10000]，每个递归层都将占用约40KB，10层即400KB，极易溢出。

建议方式包括：

• 将大对象改为动态分配：std::vector或new分配在堆上
• 使用静态或全局变量（注意线程安全）
• 传引用或指针代替值拷贝大对象

void process() {
    // 错误：栈上分配过大
    // double matrix[1000][1000];
// 正确：使用堆
std::vector<std::vector<double>> matrix(1000, std::vector<double>(1000));
}

改用迭代替代递归

对于可迭代实现的逻辑，优先使用循环和显式栈（如std::stack），将调用栈转移到堆上。

例如，递归版的树遍历可改为：

void dfs_iterative(Node* root) {
    std::stack stk;
    stk.push(root);
    while (!stk.empty()) {
        Node* node = stk.top(); stk.pop();
        if (!node) continue;
        // 处理节点
        stk.push(node->right);
        stk.push(node->left);
    }
}

这种方式不受系统栈大小限制，更适合深度较大的场景。

基本上就这些。控制递归层数、避免大局部变量、善用堆空间和迭代，能有效预防C++中的栈溢出问题。编译器栈大小默认有限，尤其在Windows或嵌入式平台更需注意。不复杂但容易忽略。