Python 函数的默认列表为什么会保留上次数据

如果函数定义成 def collect(item, bucket=[]):，第一次调用得到 ['A']，第二次可能直接得到 ['A', 'B']。这不是 Python 把上一次的局部变量泄漏出来，而是默认列表在函数定义时创建了一次，之后每次调用都继续使用同一个可变对象。

普通业务函数不要把列表、字典或集合直接写成默认值。用 None 表示“调用方没有传入容器”，进入函数后再创建新列表；如果确实要做跨调用缓存，才明确保留共享对象。

先用一个最小例子复现“上次数据”

下面的函数看起来像是在收集本次请求的数据，但 bucket=[] 实际上绑定在函数对象的默认参数里：

def collect(item, bucket=[]):
    # append 会原地修改默认列表，而不是创建新列表
    bucket.append(item)
    return bucket

print(collect("A"))  # ['A']
print(collect("B"))  # ['A', 'B']
print(collect("C"))  # ['A', 'B', 'C']

判断重点不是返回值看起来像“累加”，而是三次调用都没有传第二个参数，却拿到了同一份列表。此时可以查看 collect.__defaults__，它会显示位置参数的默认值；只要这个列表仍被修改，下一次调用就会继续看到变化。

关键在于默认值只求值一次

Python 官方教程说明，默认参数会在定义函数时求值。也就是说，解释器执行到 def collect(...) 时先创建列表，再把它登记为默认值；之后调用函数只是把这个对象绑定到参数名 bucket。

列表是可变对象，append 不会让 bucket 指向一份新列表，而是直接改变原列表。可以把它拆成三个时间点：

这也解释了为什么把默认值换成整数、字符串或 None 通常不会出现同样的累加现象：这些对象不能被原地改写。不过“不可变”不代表参数永远安全，真正需要检查的是函数是否会原地修改默认对象。

用 None 哨兵修复普通业务函数

最常用的修复是把默认值改成 None，并用身份判断创建列表：

def collect(item, bucket=None):
    # None 表示调用方没有提供容器，此时创建本次调用专属列表
    if bucket is None:
        bucket = []
    bucket.append(item)
    return bucket

print(collect("A"))  # ['A']
print(collect("B"))  # ['B']
shared = []
print(collect("C", shared))  # ['C']，显式传入时仍可复用指定列表

这里用 is None，而不是 if not bucket。空列表、空字典有时是调用方明确传入的容器，真假判断会把它们误当成“未提供”；身份判断只拦截真正的哨兵值。

什么时候可以保留共享默认对象

共享并非语法错误。官方 FAQ 也提到，利用默认字典保存昂贵计算结果可以实现简单 memoize。不过这时要把共享状态写成明确的设计，并限制键、生命周期和并发语义：

def cached_square(value, _cache={}):
    # 这里只把默认字典当作函数级缓存，不把它当作普通输出参数
    if value not in _cache:
        _cache[value] = value * value
    return _cache[value]

如果缓存需要过期、清理或线程安全，使用专门的缓存对象或装饰器更容易维护。普通的请求参数、临时结果和待处理列表则应优先使用 None 哨兵；代码审查时看到可变默认值，先问“这是缓存设计还是误写的业务参数”。

相关问题

把默认列表写成 []，每次调用都会共享吗？

只要函数定义没有重新执行，默认列表就只创建一次；每次调用都省略该参数时会共享它。

为什么不用 if not bucket？

因为空列表可能是调用方有意传入的对象。is None 能准确区分“没有传入”和“传入了空容器”。

元组作为默认值就完全没有风险吗？

元组本身不可变，但如果元组里放着列表、字典等可变对象，内部对象仍可能被修改，不能只看最外层类型。

如何确认两个调用拿到的是不是同一个列表？

在受控调试中比较 id，或查看 函数.__defaults__；生产代码不应依赖修改默认参数来保存业务状态。

小结：“默认列表保留上次数据”的根因是定义时只创建一次，加上列表会原地变化。普通函数用 None 哨兵，确有缓存意图时再把共享状态单独说明。