如何实现指定递归次数的递归函数？原代码问题分析与修正

问题描述 #

需要实现一个名为rec的递归函数，接收参数var，每次递归执行var = 3 * var，并重复该过程12次后返回结果。尝试用局部变量i记录递归次数但未生效，函数直接返回初始值，希望了解原代码错误原因及可行的实现方法。

原代码错误分析 #

先看你提供的错误代码：

int rec(int var){
    int i = 0;
    if(i = 12){
        return var;
    }else{
        i++;
        if(i % 2 == 0){
            var = 3 * var;
        }
    }
    return rec(var);
}

存在以下关键问题：

1. 局部变量无法累计计数：每次递归调用rec时，都会重新定义并初始化int i = 0，上一层递归的i值不会传递到下一层，导致i永远是0，无法记录递归次数。
2. 赋值操作误用作比较：if(i = 12)是赋值语句（把12赋值给i，条件永远为真），正确的比较应该是if(i == 12)，但即使修正这一点，由于i每次都是0，也不会触发终止条件。
3. 逻辑不符合需求：代码中只有当i为偶数时才执行var = 3 * var，和你需要的每次递归都执行乘3的需求不符。
4. 无限递归风险：由于终止条件永远无法触发，函数会无限递归下去（直到栈溢出）。

可行的实现方案 #

用参数传递计数变量是最安全、清晰的方式，因为每一层递归都能明确传递当前的计数状态。

方案1：从目标深度递减计数 #

int rec(int var, int depth) {
    // 终止条件：深度耗尽时返回结果
    if (depth == 0) {
        return var;
    }
    // 执行每次递归的计算逻辑
    var = 3 * var;
    // 递归调用，深度减1
    return rec(var, depth - 1);
}

调用示例：

// 初始值设为2，执行12次乘3操作
int result = rec(2, 12);

说明：初始调用时传入目标次数12，每次递归将depth减1，直到depth为0时返回，刚好执行12次乘3操作。

方案2：从0递增计数到目标次数 #

int rec(int var, int count) {
    // 终止条件：计数达到12时返回结果
    if (count == 12) {
        return var;
    }
    var = 3 * var;
    // 递归调用，计数加1
    return rec(var, count + 1);
}

调用示例：

// 初始值设为2，从0开始计数到12
int result = rec(2, 0);

说明：初始调用时传入count=0，每次递归将count加1，当count等于12时返回，同样执行12次乘3操作。

其他指定递归深度的方法（不推荐） #

如果非要不用参数传递，也可以用全局变量或静态局部变量，但这类方式存在副作用，不推荐在实际代码中使用：

全局变量方式 #

int current_count = 0;

int rec(int var) {
    if (current_count == 12) {
        current_count = 0; // 调用后重置，避免影响下次调用
        return var;
    }
    var = 3 * var;
    current_count++;
    return rec(var);
}

问题：全局变量会被所有函数共享，多次并发调用或连续调用时容易出现计数混乱，线程不安全。

静态局部变量方式 #

int rec(int var) {
    static int current_count = 0; // 仅初始化一次
    if (current_count == 12) {
        current_count = 0; // 重置计数
        return var;
    }
    var = 3 * var;
    current_count++;
    return rec(var);
}

问题：静态变量在函数调用间保留值，若忘记重置，下次调用会直接触发终止条件，破坏函数的独立性。

总结 #

• 你最初用局部变量i的方案不可行，因为局部变量在每次递归中都是新的副本，无法累计状态。
• 最推荐的方式是将计数变量作为参数传递，逻辑清晰、无副作用，符合递归的纯函数特性。

内容的提问来源于stack exchange，提问作者C-bugger