Python 默认参数在函数定义时的赋值行为

Python函数的默认参数在定义时而非调用时求值，若使用可变对象（如列表、字典）作为默认值，会导致所有调用意外共享同一对象，引发隐蔽且难以调试的状态污染问题——例如连续调用看似独立的函数却得到累积结果；正确做法是统一采用None作为默认参数，并在函数体内显式初始化可变对象，这不仅安全、高效、符合Python社区规范，还能避免静态检查工具警告和类型提示错误，尤其在公共库或复杂框架中，这一细节往往是避免下游用户陷入“随机bug”陷阱的关键防线。

Python 默认参数在定义时就求值

Python 的默认参数不是每次调用函数时才计算，而是在 def 语句执行时（即函数定义阶段）求值一次。这意味着如果默认参数是可变对象（比如 list、dict），它会被所有后续调用共享。

常见错误现象：def append_to(item, lst=[]): lst.append(item); return lst，连续调用 append_to(1)、append_to(2) 会返回 [1]、[1, 2]，而不是预期的 [1]、[2]。

• 根本原因是 [] 在函数定义时创建了一次，之后每次调用都复用这个对象
• 适用于所有可变默认参数：包括 {}、set()、自定义类实例等
• 不可变对象（如 None、0、"a"）没这个问题，但不能靠它“假装安全”——逻辑上仍可能误导人

正确写法：用 None 作占位符

把可变默认参数显式设为 None，再在函数体内初始化真实对象。这是最通用、最易读、被 Python 社区广泛接受的做法。

示例：

def append_to(item, lst=None):
    if lst is None:
        lst = []
    lst.append(item)
    return lst

• lst=None 是安全的，因为 None 是单例且不可变
• 务必用 is None 判断，不用 == None（虽然通常也行，但风格和语义不严谨）
• 不要写成 if not lst: —— 如果传入空列表 []，也会误触发初始化

哪些场景容易忽略这个问题

除了显式写 def f(x=[])，还有几个隐蔽入口：

• lambda 表达式里带默认参数：lambdas = [lambda x=i: x for i in range(3)] —— 这里 i 是定义时捕获，但属于闭包变量，不是默认参数；真正危险的是像 lambda x=[]: x.append(1)
• 装饰器中缓存函数对象时，若装饰器本身用了可变默认参数，会影响所有被装饰函数
• 类方法中定义默认参数为 self.cache = [] 类似逻辑，虽不是函数默认参数，但共享行为模式相同，容易混淆

性能与兼容性影响很小，但语义风险极高

用 None 判断并新建对象，开销几乎可以忽略；Python 解释器对这种模式毫无负担。问题不在性能，而在语义误解。

• 静态检查工具（如 pylint）会警告 W0102：*Dangerous default value*，但很多人直接禁用或忽略
• 类型提示里写 lst: list = [] 是语法错误，必须写 lst: Optional[list] = None，否则 mypy 报错
• 一旦写进公共库或框架钩子函数，下游用户几乎必然踩坑，且调试时很难联想到是默认参数导致的“状态污染”

最麻烦的不是写错，而是出问题时表现得像随机 bug：有时复现，有时不复现，日志里看不出函数被反复调用却共享了数据 —— 因为那个列表对象从定义起就没换过。

到这里，我们也就讲完了《Python 默认参数在函数定义时的赋值行为》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！