上級

可変デフォルト引数が呼び出しをまたいで共有される

リストや辞書をデフォルト引数にすると、その1つのオブジェクトが全ての呼び出しで共有されます。呼び出すたびに新しく作られるわけではありません。

なぜエラーが出ないのか

出力: ['a']

（エラーなし）

Pythonは何も報告しません。文法として正しいためです

出力: ['a']

実際の挙動 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  def add_item(item, items=[]    ):
                                ^
 2      if items is None:
 3          items = []
 4      items.append(item)
 5      return items
 6  
 7  print(add_item("a"))
 8  print(add_item("b"))

 1  def record(name, log={}    ):
                            ^
 2      if log is None:
 3          log = {}
 4      log[name] = True
 5      return log
 6  
 7  print(record("a"))
 8  print(record("b"))

 1  def visit(page, history=[]    ):
                               ^
 2      if history is None:
 3          history = []
 4      history.append(page)
 5      return history
 6  
 7  print(visit("home"))
 8  print(visit("about"))

よくある誤解

デフォルト引数は呼び出しのたびに新しく作られると誤解されがちですが、実際には関数定義時に一度だけ作られます。可変オブジェクトを既定値にすると、前回の呼び出しの変更が残ったまま次の呼び出しに引き継がれます。

まとめ

可変デフォルト引数が呼び出しをまたいで共有されるは上級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• 関数内でグローバル変数を更新できない（globalキーワード忘れ）関数の中で変数に代入すると、その変数は既定でローカル変数になります。
• = で複製したつもりが同じリストを指している（浅いコピー）= はリストや辞書の複製ではなく、同じオブジェクトを指す別名を作るだけです。