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]
```

Accepted Answer

デフォルト値（この場合は`None`）は、関数オブジェクト（この場合は`nonbuggy`）の`.__defaults__`に保持されます。

```python
>>> 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`）は変更されません。

```python
>>> nonbuggy(1)
[1]
>>> nonbuggy.__defaults__
(None,)
```

ただし、デフォルト値がリストなどのミュータブルオブジェクト（変更可能なオブジェクト）で、デフォルト値に対して`.append`などを実行した場合、デフォルト値のオブジェクトが変更され、次の関数呼出し時には変更されたデフォルト値が使用されることになります。

デフォルト値を無理矢理ミュータブルオブジェクトに変えて、その挙動を確認できます。

```python
>>> nonbuggy.__defaults__ = (['hoge'],)
>>> nonbuggy(1)
['hoge', 1]
>>> nonbuggy(3)
['hoge', 1, 3]
>>> nonbuggy.__defaults__
(['hoge', 1, 3],)
```