python:毎回リストが空になるように関数を定義するには

Question

本中に詳細な説明がなかったので質問します。入門python3p116からです。
下記コードは呼び出すと毎回空のリストになっていますが、

最初に関数が実行されるとresult=Noneではなくなるので(resultに要素が与えられるので)、if result is None:の条件を満たさず、リストの中がリセットされないのではないでしょうか？そうするとどうしてresultの要素が毎回リセットされているような挙動になるのか教えていただきたいです。

def nonbuggy(arg, result=None):
	if result is None:
		result = []
	result.append(arg)
	print(result)

nonbuggy(1)
[1]
nonbuggy(3)
[3]

Answer 1

デフォルト値（この場合はNone）は、関数オブジェクト（この場合はnonbuggy）の.__defaults__に保持されます。

>>> def nonbuggy(arg, result=None):
...     if result is None:
...         result = []
...     result.append(arg)
...     print(result)
...
>>> nonbuggy.__defaults__
(None,)

関数を呼び出すときにresult引数を指定しなかった場合、result = 関数オブジェクトにあるデフォルト値 が実行されるため、その都度、ローカル変数 result に デフォルト値（この場合はNone） が代入されます。
その後、result = [] などで別の値を代入しても、ローカル変数 result が変更されるだけで、関数オブジェクトにあるデフォルト値（この場合はNone）は変更されません。

>>> nonbuggy(1)
[1]
>>> nonbuggy.__defaults__
(None,)

ただし、デフォルト値がリストなどのミュータブルオブジェクト（変更可能なオブジェクト）で、デフォルト値に対して.appendなどを実行した場合、デフォルト値のオブジェクトが変更され、次の関数呼出し時には変更されたデフォルト値が使用されることになります。

デフォルト値を無理矢理ミュータブルオブジェクトに変えて、その挙動を確認できます。

>>> nonbuggy.__defaults__ = (['hoge'],)
>>> nonbuggy(1)
['hoge', 1]
>>> nonbuggy(3)
['hoge', 1, 3]
>>> nonbuggy.__defaults__
(['hoge', 1, 3],)

Comments

[hayataka2049]

> 関数を呼び出す毎に result=None を実行しているからです。
この書き方は誤解が生じると思います。あまりうまくいえませんが、右辺が評価されるのは一度なので。

[shiracamus]

説明文を変更してみました。

[esklia]

デフォルト値がイミュータブルの場合保持されるということなのですね。教えて下さりありがとうございます。