使用结构体成员作为递归种子，多次自调用时无法终止

问题背景 #

现有递归函数void *r_get_ndim_enum(struct N_dim_array *ctx)，复用结构体N_dim_array的成员depthpl作为递归种子：通过递减该成员直至触发终止条件，终止时将其恢复为初始值。测试发现单次调用函数可正常终止，但循环中多次调用时递归无法终止。核心需求为避免新增参数，复用结构体已有成员完成递归逻辑。

代码重现 #

int inc_i = 0;
void *r_get_ndim_enum(struct N_dim_array *ctx) {
    int w,n,np;
    int *arr; 
    void **p;

    w = ctx->size;
    n = ctx->depth;
    np = ctx->depthpl;


    p = calloc(sizeof(void*), n);
    arr = calloc(sizeof(int), w);

    for(int j=0;j<w;++j)
        arr[j] = inc_i++;

    if( np == 0 ) {
        ctx->depthpl = n;
        return arr;
    }

    ctx->depthpl -= 1;
    for(int i=0;i<n;++i)
        p[i] = r_get_ndim_enum(ctx);
        
    return p;
}

原因分析 #

递归无法终止的核心问题是结构体成员depthpl被所有调用共享，多次调用时递归上下文互相干扰：

• 单次调用时，递归链中修改depthpl，最终在终止分支将其恢复为初始值n，整个递归过程的上下文是独立的，因此可以正常终止。
• 循环多次调用时，若前一次调用的递归尚未完成（仍处于嵌套递归栈中），后续调用会直接修改同一个ctx的depthpl值，导致前一次递归的终止逻辑被破坏：比如前一次递归的depthpl被后续调用修改为更小的值，或恢复时设置的n与当前递归栈的预期不符，最终导致递归无法触发np == 0的终止条件，陷入死循环。

此外，全局变量inc_i会在多次调用中持续累加，虽不直接导致递归终止问题，但属于不合理的状态共享。

修复方案 #

要保证每次递归调用的depthpl上下文独立，需在函数入口保存当前depthpl值，函数退出前统一恢复，避免嵌套递归或多次调用互相干扰：

int inc_i = 0;
void *r_get_ndim_enum(struct N_dim_array *ctx) {
    int w,n,np;
    int *arr; 
    void **p;
    // 保存当前depthpl的初始值，确保上下文独立
    int original_depthpl = ctx->depthpl;

    w = ctx->size;
    n = ctx->depth;
    np = original_depthpl;

    p = calloc(sizeof(void*), n);
    arr = calloc(sizeof(int), w);

    for(int j=0;j<w;++j)
        arr[j] = inc_i++;

    if( np == 0 ) {
        free(p); // 修复原代码的内存泄漏问题
        ctx->depthpl = original_depthpl; // 统一在退出前恢复，逻辑更清晰
        return arr;
    }

    // 基于保存的初始值计算下一层递归的depthpl，避免中途被修改
    ctx->depthpl = np - 1;
    for(int i=0;i<n;++i)
        p[i] = r_get_ndim_enum(ctx);
    
    // 退出前恢复depthpl的初始值，确保后续调用不受影响
    ctx->depthpl = original_depthpl;
    return p;
}

修复逻辑说明 #

1. 上下文隔离：每次函数调用时先保存depthpl的当前值，后续递归逻辑基于该保存值操作，避免被其他调用干扰。
2. 统一恢复：无论递归是否触发终止分支，都在函数退出前恢复depthpl的初始值，保证结构体状态在每次调用后恢复原样，不影响后续调用。
3. 内存泄漏修复：终止分支中释放未使用的p指针，避免内存浪费。

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