上級

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

リストや辞書をデフォルト引数にすると、その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"))

 1  def tag(label, tags=set()):
                          ^
 2      if tags is None:
 3          tags = set()
 4      tags.add(label)
 5      return tags
 6  
 7  print(tag("a"))
 8  print(tag("b"))

 1  def enroll(student, roster=[]    ):
                                  ^
 2      if roster is None:
 3          roster = []
 4      roster.append(student)
 5      return roster
 6  
 7  print(enroll("Ken"))
 8  print(enroll("Yui"))

よくある誤解

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

実務での勘所

この挙動の直接の原因は、デフォルト値がfunc.__defaults__という関数オブジェクト自身の属性として、関数定義時に一度だけ計算されて保存される仕組みにあります。呼び出しのたびに再評価されるのではなく、同じオブジェクトを毎回使い回しているだけなので、可変オブジェクトなら前回までの変更がそのまま残ります。定石の回避策は、デフォルト値をNoneにしておき、def add_item(item, lst=None): lst = [] if lst is None else lstのように関数の中で毎回新しいリストを作ることです。

演習をはじめる

関連するエラー

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