Python - Czemu taki jest wynik?

Question

Witam, znalazłem przypadkiem w python'ie moim zdaniem nietypową rzecz, mianowicie ten kod:

def a(b=[]):
    b.append(0)
    print(b)

a()
a()
a()

przy każdym wywołaniu funkcji wypisuje coraz większą tablicę zer.

Dlaczego taki jest wynik jeżeli zmienna 'b' jest lokalna, czyli powinna być 'resetowana' przy każdym wywołaniu funkcji.

Dla przykładu 'ten sam' kod w ruby'im wypisuje zawsze tablicę z jednym zerem.

Gdzie w takim razie jest ten prawidłowy wynik? W python'ie czy ruby'im?

Answer 1

Spróbuje wytłumaczyć w prosty sposób.
 

Python ładuję funkcję i wartość domyślną tylko raz do pamięci.

 

Później te zera są dodawane do listy utworzonej podczas ładowania funkcji. Lista jest po prostu definiowana tylko raz.

 

Może użyj http://pythontutor.com/visualize.html to bardzo fajna strona, gdzie można zobaczyć, jak python zarządza pamięcią.

 

Co do porównania z Ruby'im , wynika to z tego jak python zarządza pamięcią i różnic w tym temacie pomiędzy tymi (rzekomo) podobnymi językami.

Aby w python'ie uzyskać taki wynik o jaki Ci chodzi możesz użyć tego kodu.

def a(b=None):
    if b is None:
        b = []
    b.append(0)
    print(b)


a()
a()
a()

Jest to tylko przykład, metod jest więcej.

 

Nie umiem dobrze tłumaczyć, ale się starałem. Jak coś będzie nie jasne, napisz.

Pozdrawiam.

Answer 2

class X:
    def __init__(self):
        print("X: Robią mnie!", hash(self))

    def append(self, value):
        print("X: Dodawanko...", hash(self))
        return self

    def __del__(self):
        print("X: Ginę...", hash(self))

def fun(a = X()):
    a.append(0);

if __name__ == '__main__':
    # Linie poniżej odkomentuj w dowolnej konfiguracji...
    #fun()
    #fun()
    #fun(X())
    #del fun
    pass
    print("Oto koniec!")

Wniosek? Argument domyślny jest tworzony w trakcie definiowania funkcji i będąc referencją nie zostanie zerwany przez GC jeśli funkcja istnieje.

Usuń komentarze i pobaw się... 

Comments

Da się coś zrobić, żeby GC (najlepiej automatycznie) czyścił/resetował wszystkie zmienne z tej funkcji po jej wywołaniu?

---

Odpowiedź ma jest poprawna, ale nie ma w tym przypadku bezpośredniego związku z GC - po prostu obiekt istnieje i nie przestanie istnieć, póki jest argumentem domyślnym ten funkcji.

Da się coś zrobić, żeby GC (najlepiej automatycznie) czyścił/resetował wszystkie zmienne z tej funkcji po jej wywołaniu?

Niestety to pytanie ma dość mało sensu, ale nie za bardzo potrafię dobrze wytłumaczyć dlaczego :/

Ogólnie, GC to mocno szczegół implementacyjny i nie trzeba o nim wiedzieć przy mówieniu o semantyce języka i nie ma na nią wpływu.

W każdym razie standardowym sposobem ominięcia tego w Pytonie jest:

def a(b=None):
    if b is None:
         b = []
    # reszta kodu

 

---

Niestety to pytanie ma dość mało sensu, ale nie za bardzo potrafię dobrze wytłumaczyć dlaczego :/

Chodziło mi w tym pytaniu o to czy da się zrobić coś, żeby po wywołaniu funkcji, wszystkie obiekty, które są z nią związane były w jakiś sposób resetowane. Nie wiem jak to w inny sposób wytłumaczyć. 

---

Z tego co wiem, nie (a przynajmniej nie bez jakiejś dużej ilości inspekcji funkcji/metaprogramowania).

Na dole mojej odpowiedzi masz przykład, jak  zazwyczaj to się robi.

---

Eh... zastanawiam się czy autor pytania potrzebuje kompletnej odpowiedzi jeśli te uproszczone (także moja) mu wystarczają. Dość że pełna odpowiedź to sięgnięcie do pojęć mutable/immutable type jeśli chodzi o obiekty domyślne oraz first-class function. Z pojęciem tożsamości (identity) wartości typu zaś będzie dość ściśle wiązało się działanie GC. Z kolei "zapamiętanie wartości" także w ten sposób (przez arg. domyślny), tworzy domknięcie (closure).

Proponuję zapoznać się z dekoratorami to trochę może rozjaśni temat i pokaże że takie działanie wcale nie jest takie toksyczne w każdym przypadku. Dość że pytanie o "resetowanie GC" okaże się wtedy... bez związku.

---

W tym przypadku uproszczona odpowiedź mi wystarczy, ponieważ w większości piszę w ruby'im, ale pisząc mały skrypt w python'ie natrafiłem na to o co tutaj zapytałem.

Kiedyś jak pisałem więcej w python'ie to po prostu nie rzuciło mi się tak bardzo w oczy i pomyślałem teraz, że to nie powinno tak być.

"resetowanie GC"

 Nie pisałem nic o restowaniu samego GC, tylko o tym, żeby to właśnie GC 'zresotował' te zmienne.

Answer 3

W rubym i pythonie podejście jest nieco inne i niestety trzeba znać niuanse różnych języków.

Comments

Slabe wytłumaczenie, brzmi to mniej więcej tak: "Są różne, bo python się różni od Ruby".

Właśnie kolega się pyta, w czym tkwi ta różnica.

Ps: Ja nie odpowiem, bo nie znam ani tego języka ani tego.