[問題] None在def中的變化

[shezion (= =)]

各位大大好
小弟超新手，看書自學遇到一個觀念的問題想請大家指點:
ex1:
>>>def buggy(arg,result=[]):
       result.append(arg)
       print(result)
>>>buggy('a')
["a"]
>>>buggy('b')
["a","b"]

ex1中，buggy()輸出的值會一直累加下去

ex2:
>>>def non(arg,result=None):
        if result is None:
            result =[]
        result.append(arg)
        print(result)
>>>non('a')
['a']
>>>non('b')
['b']

ex2中，non()輸出的值都只輸出該次的值，不會留下上一次輸入過的值

根據書中說明預設的引數值只在定義時被計算，想請問為什麼ex2裡
引述預設值改為None時，不會發生印出的內容包含前一次呼叫內容，
第一次輸出['a']後，result不是已經變成['a']了嗎，為什麼還會
重置成[]?

先感謝回復的大大

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.224.55 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Python/M.1585626900.A.C5F.html
推 TuCH: ex1的寫法是不好的  result 應該封裝在function裡
推 yushes920179: 樓上應該是在學closure 可以google一下
推 cuteSquirrel: 可以參考官網的範例，剛好就是講這個細節
→ cuteSquirrel:  https://imgur.com/a/1fBIXKJ
→ yushes920179: Ex2才是符合一般function的表現 因為result 作用域
→ yushes920179: global
→ cuteSquirrel: "The default value is evaluated only once"
→ yushes920179: 不是 global
→ cuteSquirrel: 參數是mutable object的時候，要留意這項特性。
→ cuteSquirrel: 例如 list, dictionary 等等
→ cuteSquirrel:  官網說明: https://bit.ly/3dIKVy0
推 cuteSquirrel: ex2, result沒有傳入給定值，在if的判斷後被清成[]
推 pmove: 請google immutable 跟mutable
→ shezion: 感謝大大的說明解釋，小弟看懂了!!!
推 Ryspon: 注意 mutable default argument
推 froce: list、dict是傳記憶體位置，所以你當參數，再對參數作操作
→ froce: 當然會一直累加下去。
推 bibo9901: 這跟傳值 或 "immutable/mutable" 沒有任何關係
→ bibo9901: 原因是python的預設參數是一個「值」而不是「表達示」
→ bibo9901: 打錯字…「表達式」. 其實就相當於C/C++/Java的static
→ bibo9901: local variable, 並不會在每次呼叫後都計算一個新值出來
→ bibo9901: 這就是一個雷, 沒有什麼「當然」可言
→ pmove: 回樓上，immutable/mutable是Python官方文件的說法，你要用
→ pmove: C/C++/Java的觀念來解釋，也許也是對的，但這就不是Python
→ pmove: 官方的解釋方法了。官方會這樣子解釋，我想是這樣子就不用
→ pmove: 解釋啥是value,啥是reference
推 Sunal: 推官方文件解釋，而且嚴格說起來參數傳進來也不是值而是一
→ Sunal: 個物件 就算他是int也不是值，對py來說就是物件
→ Ryspon: 覺得官方解釋比較全面耶，或許這裡剛好可以用 static loca
→ Ryspon: l variable 來想，其他地方可能就還是得回歸到 mutable /
→ Ryspon:  immutable
推 bibo9901: 官方: "The default value is evaluated only once"
→ bibo9901: "The default values are evaluated at the point of
→ bibo9901: of function definition in the defining scope"
→ bibo9901: 這就是我說的 預設值是真的一個value而不是expression
→ bibo9901: 這個大缺陷才是因, immutable/mutable只是一個小技巧讓
→ bibo9901: 它不要這麼雷而已. 你就算用了immutable物件還是要考慮
→ bibo9901: 該物件建立時有沒有其他作用
推 bibo9901: 避免成為碼農第一步就是分清楚坑在哪 才能正確地躲坑
→ bibo9901: 以immutable/mutable解釋才是倒果為因, 思考狹隘.
推 pmove: 回b大，你說的官方是出自：
→ pmove: https://docs.python.org/3.3/tutorial/controlflow.html
→ pmove: Important warning: The default value is evaluated only
→ pmove: 下一句就是：This makes a difference when the default is
→ pmove: a mutable object such as a list, dictionary, or
→ pmove: instances of most classes.
→ pmove: 裡面就提到mutable object.你要覺得倒果為因，我也沒辦法
推 pmove: 我自己是覺得你跟我講The default value is evaluated only
→ pmove: once" 我自己是沒辦法理解的，但是你告訴我哪些是mutable?
→ pmove: 哪些是immutable? mutable/immutable會有哪種情形？這樣我
→ pmove: 比較好理解。所以才從mutable/immutable切入。
推 froce: 推樓上，這根本就不是bug，動態語言常這樣設計
→ y3k: 以原文的邏輯 意思是result=[]其實只是把原本要在def前一行
→ y3k: 宣告的result塞進def裡面而已... 只是作用域有被限制在def裡
→ alvinlin: 不知道這有什麼好爭的呢？反正特性知道了，順著毛摸比較
→ alvinlin: 不刺啊
推 darama: 因為ex1傳了一個mutable object(list)
→ darama: https://docs.python.org/3/faq/programming.html#why-did
→ darama: -changing-list-y-also-change-list-