递归函数与变量存储：C++递归调用中如何使用独立变量集？

首先澄清一个关键点：你的代码中每个递归调用本来就有一套独立的局部变量。f(2)执行时，a会被修改为2、b修改为1，但这段代码里f(2)并没有输出操作，只有递归调用的f(1)会输出自己重新初始化的a=1、b=2，所以最终结果是12。

如果你希望递归的下层调用能用上上层修改后的变量值（或者让每个递归实例的变量初始值由上层决定），核心是不要在函数内部重新初始化a和b，而是通过参数传递状态。以下是几种适合初学者的实现方式：

1. 使用带默认参数的多参数函数（最简洁） #

把a和b作为函数参数，并设置默认值，这样调用时只需传入x，递归时传递修改后的状态：

#include <iostream>
using namespace std;

void f(int x, int a = 1, int b = 2);

int main()
{
    f(2);
    return 0;
}

void f(int x, int a, int b)
{
    // 可按需输出当前层级的变量状态
    // cout << "x=" << x << ", a=" << a << ", b=" << b << endl;
    if (x == 1)
        cout << a << b;
    if (x > 1)
    {
        // 传递修改后的a和b到下一层递归
        f(x-1, 2, 1);
    }
}

这段代码运行后会输出21，因为f(1)接收到的是f(2)传递的a=2、b=1，每个递归调用都有自己的参数副本（独立变量）。

2. 针对汉诺塔的简化思路 #

你提到想把汉诺塔的4参数函数简化为单参数，用默认参数就能轻松实现：

#include <iostream>
using namespace std;

// 默认参数对应初始状态：从A柱移到B柱，辅助柱C
void hanoi(int n, char src = 'A', char dst = 'B', char aux = 'C')
{
    if (n == 1)
    {
        cout << "Move disk from " << src << " to " << dst << endl;
        return;
    }
    // 递归时调整柱子参数
    hanoi(n-1, src, aux, dst);
    cout << "Move disk from " << src << " to " << dst << endl;
    hanoi(n-1, aux, dst, src);
}

int main()
{
    // 调用时只需传入步数
    hanoi(3);
    return 0;
}

调用hanoi(3)时，函数会自动使用默认的柱子参数，递归过程中传递调整后的柱子状态，完全不需要额外的全局变量或复杂封装。

为什么static和引用没用？ #

• static变量是全局共享的，所有递归调用会共用同一个变量，修改后会影响所有层级，不符合“一套新变量”的需求；
• 引用需要绑定到已存在的变量，本质是共享同一个内存空间，同样无法实现每个递归调用拥有独立变量的目标。

内容的提问来源于stack exchange，提问作者蔡天意