递归函数为何未返回counter值反而返回0？如何修复？

先贴出原问题中的代码：

int rec(int k)
{
    static int temp = 0, counter = 0;
    if(!k) return counter;
    if(k%2 == 0){
        counter++;
        temp = rec(k/2);
    }
    if(k%2){
        counter++;
        temp = rec(k-1);
    }
}

问题2：函数最终返回0的原因 #

核心原因是函数存在未定义行为：
原函数仅在k == 0的分支里写了return counter;，但当k != 0时，执行完分支逻辑后没有任何return语句。根据C语言标准，非void类型的函数必须显式返回值，否则程序会返回栈中残留的随机值——你这里恰好得到0，只是运行环境的巧合（比如栈中返回值位置刚好是0），并不是必然结果。

另外原代码还有个隐藏坑：static修饰的counter是全局生命周期变量，多次调用rec函数时，counter不会自动重置，比如第一次调用rec(3)得到结果后，第二次调用rec(1)会继续累加之前的数值，导致结果完全错误。

问题1：保留counter在函数内部的修复方案 #

当然可以，这里提供两种可靠的方案，都能让计数器留在函数内部，同时解决返回值和状态残留的问题：

方案1：局部计数器+辅助递归函数 #

把计数器作为主函数的局部变量，通过指针传递给内部递归辅助函数，既对外隐藏计数器，又避免static变量的残留问题：

// 对外暴露的接口函数
int rec(int k) {
    int counter = 0;
    // 调用内部辅助递归函数处理逻辑
    rec_helper(k, &counter);
    return counter;
}

// 内部辅助递归函数，仅在当前文件可见
static void rec_helper(int k, int *counter) {
    if (k == 0) {
        return;
    }
    if (k % 2 == 0) {
        (*counter)++;
        rec_helper(k / 2, counter);
    } else {
        (*counter)++;
        rec_helper(k - 1, counter);
    }
}

方案2：递归返回值累加操作次数（更简洁） #

完全抛弃计数器，通过递归的返回值直接累加操作次数，这是更符合递归设计思想的写法，没有任何全局/静态状态：

int rec(int k) {
    if (k == 0) {
        return 0;
    }
    if (k % 2 == 0) {
        // 除以2算1次操作，加上处理k/2的总次数
        return 1 + rec(k / 2);
    } else {
        // 减1算1次操作，加上处理k-1的总次数
        return 1 + rec(k - 1);
    }
}

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