Python数组递归问题：递归回溯时数组未恢复原值

嘿，这个问题我之前也踩过坑，核心原因其实是Python里可变对象和不可变对象的传递机制不一样，咱们一步步拆解清楚：

为什么case_courante能正常恢复？ #

如果case_courante是整数、字符串这类不可变类型，每次在递归里给它赋值时，本质是创建了一个新的局部变量——每个递归层级的case_courante都是独立的个体，调用栈会保存每个层级的变量值，回溯时自然就能回到上一层的状态。

为什么dernier_match和tour不会恢复？ #

这俩是列表，属于可变对象。Python里传递可变对象时，传递的是对象的引用，所有递归层级共享同一个列表的内存地址。你在递归里修改它们（比如append()、给元素赋值），都是直接改动这个共享对象的内容，没有创建新的列表。所以回溯时，因为根本没有“上一层的副本”，自然没法恢复到之前的状态。

解决办法 #

方法1：递归前保存状态，回溯后恢复 #

在递归调用修改列表之前，先把当前列表的副本存起来，递归返回后再替换回去。如果是嵌套列表，记得用deepcopy来彻底复制：

from copy import deepcopy

# 假设你的递归逻辑是这样的
def ta_fonction_recursive(case_courante):
    global dernier_match, tour  # 如果你用了全局变量的话

    # 递归前保存当前状态
    save_dernier = deepcopy(dernier_match)
    save_tour = deepcopy(tour)

    # 在这里执行你的修改操作，比如：
    dernier_match.append(...)
    tour[some_index] = ...

    # 触发递归调用
    ta_fonction_recursive(nouvelle_case)

    # 回溯时恢复原有状态
    dernier_match = save_dernier
    tour = save_tour

方法2：递归调用时传递副本 #

把列表作为递归函数的参数，每次调用时传递当前列表的副本，这样每个递归层级都有自己独立的列表，修改不会影响上层：

def ta_fonction_recursive(case_courante, dernier_match=None, tour=None):
    # 初始化默认参数（避免多次调用共享同一个默认列表）
    if dernier_match is None:
        dernier_match = []
    if tour is None:
        tour = []

    # 创建副本并修改，再传递给下一层
    nouvelle_dernier = dernier_match.copy()
    nouvelle_tour = tour.copy()
    nouvelle_dernier.append(...)
    nouvelle_tour[some_index] = ...

    # 递归调用时传递新的副本
    ta_fonction_recursive(nouvelle_case, nouvelle_dernier, nouvelle_tour)

这样调整后，每个递归层级的列表状态都是独立的，回溯时就能正常恢复到上一层的状态啦！

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