„Geringste Überraschung' und variable Standardargumente

Frageninhalt

Jeder, der Python schon lange verwendet, wird von den folgenden Fragen beunruhigt (oder in Stücke gerissen) werden:

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

Python-Neulinge werden erwarten, dass diese Funktion, wenn sie ohne Argumente aufgerufen wird, immer eine Liste mit nur einem Element zurückgibt: [5]. Das Ergebnis ist sehr unterschiedlich und (für Neulinge) ziemlich überraschend:

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

Einer meiner Manager stieß einmal zum ersten Mal auf diese Funktion und nannte sie „einen dramatischen Designfehler“ in der Sprache. Ich antwortete, dass es eine Erklärung für dieses Verhalten gäbe und dass es tatsächlich sehr rätselhaft und unerwartet wäre, wenn man seine inneren Hintergründe nicht verstehen würde. Allerdings kann ich die folgende Frage (für mich selbst) nicht beantworten: Was ist der Grund für die Bindung von Standardparametern zum Zeitpunkt der Funktionsdefinition und nicht zum Zeitpunkt der Funktionsausführung? Ich bezweifle, dass das erlebte Verhalten einen praktischen Nutzen hat (wer verwendet eigentlich statische Variablen in C, ohne Fehler zu erzeugen?)

Herausgeber:

baczek gab ein interessantes Beispiel. In Verbindung mit den meisten Ihrer Kommentare, insbesondere denen von Utaal, gehe ich näher darauf ein:

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

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

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

Für mich scheint die Designentscheidung damit zu tun zu haben, wo der Parameterbereich platziert werden soll: innerhalb der Funktion oder „mit“ der Funktion?

Bindung innerhalb einer Funktion bedeutet, dass die x 在调用函数时有效地绑定到指定的默认值，而不是定义，这会带来严重的缺陷：def-Zeile dahingehend „gemischt“ wird, dass ein Teil der Bindung (des Funktionsobjekts) zum Zeitpunkt der Definition und ein Teil (Zuweisung der Standardparameter) zum Zeitpunkt des Funktionsaufrufs erfolgt.

Das tatsächliche Verhalten ist konsistenter: Wenn die Zeile ausgeführt wird, d. h. zum Zeitpunkt der Funktionsdefinition, wird alles in der Zeile ausgewertet.

Richtige Antwort

Eigentlich handelt es sich dabei weder um einen Konstruktionsfehler noch um interne oder leistungsbedingte Gründe. Dies liegt an der Tatsache, dass Funktionen in Python erstklassige Objekte und nicht nur Codeteile sind.

Es macht absolut Sinn, wenn man es so betrachtet: Eine Funktion ist ein Objekt, das gemäß seiner Definition auswertet. Standardparameter sind eine Art „Mitgliedsdaten“, sodass sich ihr Zustand von einem Aufruf zum anderen ändern kann – mit jedem anderen Objekt ist genau das gleiche.

Wie auch immer, effbot (Fredrik Lundh) hat in Standardparameterwerte in Python eine gute Erklärung für den Grund für dieses Verhalten. Ich fand es sehr klar und empfehle dringend, es zu lesen, um besser zu verstehen, wie Funktionsobjekte funktionieren.

Das obige ist der detaillierte Inhalt von„Geringste Überraschung' und variable Standardargumente. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!