C++递归函数传参栈溢出，如何外部存储公共参数优化？

针对递归栈溢出问题的通用解决方案 #

以下方案落地性从高到低排序：

1. 用仿函数封装不变参数，最小化递归栈帧 #

你想把不变参数放到函数外的思路是完全可行的，且不需要用全局变量，用C++的函数对象（仿函数）就能实现：把objects引用、merge_distance、size_enclosure、timestep这些全程不变的参数作为类的私有成员，构造时动态传入即可，递归函数仅需要传递i和j两个参数，栈帧体积可以缩小70%以上，同时保持线程安全，完全适配参数动态输入的需求。
示例代码如下：

class RecurseProcessor {
private:
    std::vector<Object>& objects;
    const double merge_distance;
    const double size_enclosure;
    const double timestep;

    void recurse_objects(int i, int j) {
        // operations performed

        // 原有递归逻辑不变
        if(j+1 < objects.size()){
            recurse_objects(i, j+1);
        }else if(i+2 < objects.size()){
            recurse_objects(i+1, i+2);
        }

        // more operations performed
    }
public:
    RecurseProcessor(std::vector<Object>& objs, double md, double se, double ts)
        : objects(objs), merge_distance(md), size_enclosure(se), timestep(ts) {}
    
    void run() {
        if (objects.size() >= 2) {
            recurse_objects(0, 1);
        }
    }
};

// 调用方式
// RecurseProcessor processor(objects, merge_distance, size_enclosure, timestep);
// processor.run();

这个方案改造成本极低，大部分场景下可以直接解决2000个对象以内的栈溢出问题。

2. 改写为非递归实现（根治问题） #

你的递归逻辑本质是遍历所有i < j的唯一对象对：

• 如果递归后的more operations performed没有依赖子递归的返回结果，直接替换为双层for循环即可，完全避免栈溢出，还能省去函数调用开销，性能优于递归实现：

void process_objects(std::vector<Object>& objects, double merge_distance, double size_enclosure, double timestep) {
    const size_t n = objects.size();
    for (int i = 0; i < n - 1; ++i) {
        for (int j = i + 1; j < n; ++j) {
            // 原有operations performed逻辑
        }
    }
    // 原有全局收尾的more operations performed逻辑放这里
}

• 如果后序操作依赖每个(i,j)的递归执行顺序，就用std::stack手动模拟调用栈，栈内存分配在堆上，不会触发系统栈溢出。栈元素可以定义为：

struct StackFrame {
    int i;
    int j;
    bool is_processed; // 标记是否已经执行过前序操作
};

每次取出栈元素时，如果is_processed为false，就先标记为true压回栈，再把后续要递归的子节点按调用顺序逆序压栈，下次取出标记为true的元素时执行后序操作即可。

3. 调整系统栈大小（应急方案，不推荐） #

如果仅需要临时测试不想改代码，可以调整栈空间限制：

• Windows下用Visual Studio编译时，可在项目属性-链接器-系统-堆栈保留大小设置更大值，比如16777216（对应16MB）
• Linux下执行程序前先运行ulimit -s 16384，把栈大小调整为16MB
  该方案不跨平台，部署到其他环境时容易复现问题，仅适合临时测试使用。

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