python - "Least Astonishment"和可变默认参数

Question

任何长期使用 Python 的人都会被以下问题困扰(或撕成碎片):

def foo(a=[]):
    a.append(5)
    return a

Python 新手会期望这个不带参数调用的函数总是返回一个只有一个元素的列表:[5]。结果却截然不同，而且非常惊人(对于新手而言):

>>> foo()
[5]
>>> foo()
[5, 5]
>>> foo()
[5, 5, 5]
>>> foo()
[5, 5, 5, 5]
>>> foo()

我的一位经理曾经第一次遇到此功能，并将其称为该语言的“戏剧性设计缺陷”。我回答说这个行为是有原因的，如果不了解内部结构，确实很费解和意想不到。但是，我无法(对自己)回答以下问题:在函数定义时而不是在函数执行时绑定(bind)默认参数的原因是什么？我怀疑经验丰富的行为是否有实际用途(谁真正在 C 中使用静态变量，而没有滋生错误？)

编辑:

Baczek made an interesting example .连同您的大部分评论和Utaal's in particular ，我进一步阐述:

>>> def a():
...     print("a executed")
...     return []
... 
>>>            
>>> def b(x=a()):
...     x.append(5)
...     print(x)
... 
a executed
>>> b()
[5]
>>> b()
[5, 5]

在我看来，设计决策似乎与参数范围的放置位置有关:在函数内部，还是与函数“一起”？

在函数内部进行绑定(bind)意味着 x 在函数被调用时有效地绑定(bind)到指定的默认值，而不是定义，这会带来一个很深的缺陷:def 行将是“混合”的，因为部分绑定(bind)(函数对象的)将在定义时发生，而部分(默认参数的分配)发生在函数调用时。

实际行为更加一致:当该行被执行时，该行的所有内容都会被评估，这意味着在函数定义时。

Answer 1

其实这不是设计缺陷，也不是内部或性能问题。原因很简单，Python 中的函数是一流的对象，而不仅仅是一段代码。

一旦您这样想，它就完全有道理了:函数是根据其定义求值的对象；默认参数是一种“成员数据”，因此它们的状态可能会从一个调用更改为另一个调用 - 与在任何其他对象中完全一样。

无论如何，effbot (Fredrik Lundh) 在 Default Parameter Values in Python 中对这种行为的原因做了很好的解释。 . 我发现它非常清楚，我真的建议阅读它以更好地了解函数对象的工作原理。