Python默认参数在函数定义时求值一次，而非调用时；可变对象作默认参数会导致多次调用共享同一对象，应使用None作为占位符并在函数内初始化。

默认参数在函数定义时求值，不是调用时

Python 的默认参数只在函数被定义（def 语句执行）时求值一次，后续每次调用都复用这个已计算好的对象。这和多数人直觉中“每次调用都重新生成默认值”完全不同，是引发隐蔽 bug 的高频来源。

典型表现是：用可变对象（如 []、{}、set()）作默认参数时，多次调用函数会共享同一个对象：

def append_to(item, lst=[]):
    lst.append(item)
    return lst
print(append_to(1))  # [1]
print(append_to(2))  # [1, 2] ← 意外！

根本原因：lst=[] 中的空列表在 def 执行时就被创建并绑定到函数的 __defaults__ 元组里，之后所有调用都读写这个同一列表。

如何安全地使用可变默认参数

正确做法是用不可变

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

这样每次调用都会新建一个空列表，行为符合预期。

• None 是最通用、最明确的哨兵值，避免用 0、"" 等可能为合法输入的值
• 如果需要区分“未传参”和“传了 None”，可用自定义类实例作哨兵，例如 sentinel = object()
• 注意：if not lst: 不可靠——空列表、空字典等 falsy 值会被误判，必须用 is None

不可变默认参数也有陷阱：闭包延迟绑定

即使默认参数本身不可变（如整数、字符串），若其值来自外部变量且该变量在函数定义后被修改，仍可能出人意料：

x = 10
def func(a=x):
    return a
x = 20
print(func())  # 输出 10，不是 20

这是因为 a=x 在 def 时就完成了对当时 x 值的快照（即 10）。但如果默认参数是 lambda 或嵌套函数，问题会转向闭包作用域：

funcs = []
for i in range(3):
    funcs.append(lambda: i)  # 所有 lambda 共享同一个 i 变量
print([f() for f in funcs])  # [2, 2, 2]，不是 [0, 1, 2]

这不是默认参数问题，但常被混淆；解决方式是强制捕获当前值：lambda i=i: i。

检查和调试默认参数的实际值

函数对象的 __defaults__ 和 __kwdefaults__ 属性直接暴露当前默认值，可用于验证或调试：

def demo(a, b=1, *args, c=2, d=3):
    pass
print(demo.defaults)     # (1,)
print(demo.kwdefaults)   # {'c': 2, 'd': 3}

注意：__defaults__ 只包含位置参数的默认值（按顺序），而 **kwargs 参数没有默认值存储机制；__kwdefaults__ 专用于仅限关键字参数（keyword-only）的默认值。

真正容易被忽略的是：这些属性是可写的。虽然不推荐，但你可以运行 func.__defaults__ = (42,) 来动态改写默认值——这对热更新或测试 mock 有时意外有用，但也意味着默认参数不是完全“静态”的。