“最少驚訝”和可變預設參數

問題內容

任何長期使用 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()

我的一位經理曾經第一次遇到這個功能，並稱其為該語言的「一個戲劇性的設計缺陷」。我回答說，這種行為是有底層解釋的，如果不了解其內部原理，確實會非常令人費解和意外。但是，我無法（對自己）回答以下問題：在函數定義時而不是在函數執行時綁定預設參數的原因是什麼？我懷疑經驗豐富的行為是否有實際用途（誰真的在 c 中使用了靜態變量，而不滋生錯誤？）

編輯：

baczek 舉了一個有趣的例子。結合您的大部分評論，特別是 utaal 的評論，我進一步闡述了：

def a():
    print("a executed")
    return []

           
def b(x=a()):
    x.append(5)
    print(x)

a executed
>>> b()
[5]
>>> b()
[5, 5]

對我來說，設計決策似乎與參數範圍的放置位置相關：在函數內部，還是與函數「在一起」？

在函數內部進行綁定意味著x 在呼叫函數時有效地綁定到指定的預設值，而不是定義，這會帶來嚴重的缺陷：def#行將是「混合」的，因為該部分（函數物件的）綁定的一部分將在定義時發生，而部分（預設參數的分配）將在函數呼叫時發生。

實際行為更一致：當執行該行時，即在函數定義時，該行的所有內容都會被評估。

正確答案

實際上，這不是設計缺陷，也不是因為內部或效能原因。它源自於這樣一個事實：Python 中的函數是一等對象，而不僅僅是一段程式碼。

一旦你這樣想，它就完全有意義了：函數是一個根據其定義求值的物件；預設參數是一種“成員資料”，因此它們的狀態可能會從一個呼叫更改為​​另一個呼叫- 與任何其他物件完全相同。

無論如何，effbot (Fredrik Lundh) 在 Default Parameter Values in Python 中對這種行為的原因做了很好的解釋。 我發現它非常清楚，我真的建議閱讀它以更好地了解函數物件的工作原理。

以上是“最少驚訝”和可變預設參數的詳細內容。更多資訊請關注PHP中文網其他相關文章！