原作者: Jason Kirtland
日期: January 13th, 2009
許可證: Creative Commons Attribution-Share Alike 3.0
原文連結(PPT): http://discorporate.us/jek/talks/defaultdict/
翻譯作者：kodango [email protected]
翻譯時間：March 17th, 2012

今天看到一篇講defaultdict的PPT，同時第一次見到missing()這個方法，好奇之下，仔細閱讀了這篇PPT。看完之後隨手做筆記，分享給有需要的人。準確地說，這篇文章不是純粹的翻譯，因為原文字身只是一份PPT。文章的大多數文字內容，都是本人的閱讀心得。

預設值可以很方便

眾所周知，在Python中如果訪問字典中不存在的鍵，會引發KeyError異常（JavaScript中如果物件中不存在某個屬性，則返回undefined）。但是有時候，字典中的每個鍵都存在預設值是非常方便的。例如下面的例子：

strings = ('puppy', 'kitten', 'puppy', 'puppy',
           'weasel', 'puppy', 'kitten', 'puppy')
counts = {}

for kw in strings:
    counts[kw] += 1

該例子統計strings中某個單詞出現的次數，並在counts字典中作記錄。單詞每出現一次，在counts相對應的鍵所存的值數字加1。但是事實上，執行這段程式碼會丟擲KeyError異常，出現的時機是每個單詞第一次統計的時候，因為Python的dict中不存在預設值的說法，可以在Python命令列中驗證：

>>> counts = dict()
>>> counts
{}
>>> counts['puppy'] += 1
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
KeyError: 'puppy'

使用判斷語句檢查

既然如此，首先可能想到的方法是在單詞第一次統計的時候，在counts中相應的鍵存下預設值1。這需要在處理的時候新增一個判斷語句：

strings = ('puppy', 'kitten'
 
, 'puppy', 'puppy',
           'weasel', 'puppy', 'kitten', 'puppy')
counts = {}

for kw in strings:
    if kw not in counts:
        counts[kw] = 1
    else:
        counts[kw] += 1

# counts:
# {'puppy': 5, 'weasel': 1, 'kitten': 2}

使用dict.setdefault()方法

也可以通過dict.setdefault()方法來設定預設值：

strings = ('puppy', 'kitten', 'puppy', 'puppy',
           'weasel', 'puppy', 'kitten', 'puppy')
counts = {}

for kw in strings:
    counts.setdefault(kw, 0)
    counts[kw] += 1 # 原PPT中這裡有一個筆誤

dict.setdefault()方法接收兩個引數，第一個引數是健的名稱，第二個引數是預設值。假如字典中不存在給定的鍵，則返回引數中提供的預設值；反之，則返回字典中儲存的值。利用dict.setdefault()方法的返回值可以重寫for迴圈中的程式碼，使其更加簡潔：

strings = ('puppy', 'kitten', 'puppy', 'puppy',
           'weasel', 'puppy', 'kitten', 'puppy')
counts = {}

for kw in strings:
    counts[kw] = counts.setdefault(kw, 0) + 1

使用collections.defaultdict類

以上的方法雖然在一定程度上解決了dict中不存在預設值的問題，但是這時候我們會想，有沒有一種字典它本身提供了預設值的功能呢？答案是肯定的，那就是collections.defaultdict。

defaultdict類就好像是一個dict，但是它是使用一個型別來初始化的：

>>> from collections import defaultdict
>>> dd = defaultdict(list)
>>> dd
defaultdict(<type 'list'>, {})

defaultdict類的初始化函式接受一個型別作為引數，當所訪問的鍵不存在的時候，可以例項化一個值作為預設值：

>>> dd['foo']
[]
>>> dd
defaultdict(<type 'list'>, {'foo': []})
>>> dd['bar'].append('quux')
>>> dd
defaultdict(<type 'list'>, {'foo': [], 'bar': ['quux']})

需要注意的是，這種形式的預設值只有在通過dict[key]或者dict.getitem(key)訪問的時候才有效，這其中的原因在下文會介紹。

>>> from collections import defaultdict
>>> dd = defaultdict(list)
>>> 'something' in dd
False
>>> dd.pop('something')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
KeyError: 'pop(): dictionary is empty'
>>> dd.get('something')
>>> dd['something']
[]

該類除了接受型別名稱作為初始化函式的引數之外，還可以使用任何不帶引數的可呼叫函式，到時該函式的返回結果作為預設值，這樣使得預設值的取值更加靈活。下面用一個例子來說明，如何用自定義的不帶引數的函式zero()作為初始化函式的引數：

>>> from collections import defaultdict
>>> def zero():
...     return 0
...
>>> dd = defaultdict(zero)
>>> dd
defaultdict(<function zero at 0xb7ed2684>, {})
>>> dd['foo']
0
>>> dd
defaultdict(<function zero at 0xb7ed2684>, {'foo': 0})

利用collections.defaultdict來解決最初的單詞統計問題，程式碼如下：

from collections import defaultdict

strings = ('puppy', 'kitten', 'puppy', 'puppy',
           'weasel', 'puppy', 'kitten', 'puppy')
counts = defaultdict(lambda: 0)  # 使用lambda來定義簡單的函式

for s in strings:
    counts[s] += 1

defaultdict 類是如何實現的

通過上面的內容，想必大家已經瞭解了defaultdict類的用法，那麼在defaultdict類中又是如何來實現預設值的功能呢？這其中的關鍵是使用了看missing()這個方法：

>>> from collections import defaultdict
>>> print defaultdict.__missing__.__doc__
__missing__(key) # Called by __getitem__ for missing key; pseudo-code:
  if self.default_factory is None: raise KeyError(key)
  self[key] = value = self.default_factory()
  return value

通過檢視missing()方法的docstring，可以看出當使用getitem()方法訪問一個不存在的鍵時(dict[key]這種形式實際上是getitem()方法的簡化形式)，會呼叫missing()方法獲取預設值，並將該鍵新增到字典中去。

關於missing()方法的具體介紹可以參考Python官方文件中的”Mapping Types — dict”一節。

文件中介紹，從2.5版本開始，如果派生自dict的子類定義了missing()方法，當訪問不存在的鍵時，dict[key]會呼叫missing()方法取得預設值。

從中可以看出，雖然dict支援missing()方法，但是在dict本身是不存在這個方法的，而是需要在派生的子類中自行實現這個方法。可以簡單的驗證這一點：

>>> print dict.__missing__.__doc__
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: type object 'dict' has no attribute '__missing__'
同時，我們可以進一步的做實驗，定義一個子類Missing並實現__missing__()方法:

>>> class Missing(dict):
...     def __missing__(self, key):
...         return 'missing'
...
>>> d = Missing()
>>> d
{}
>>> d['foo']
'missing'
>>> d
{}

返回結果反映了missing()方法確實發揮了作用。在此基礎上，我們稍許修改missing()方法,使得該子類同defautldict類一樣為不存在的鍵設定一個預設值：

>>> class Defaulting(dict):
...     def __missing__(self, key):
...         self[key] = 'default'
...         return 'default'
...
>>> d = Defaulting()
>>> d
{}
>>> d['foo']
'default'
>>> d
{'foo': 'default'}

在舊版本的 Python 中實現 defaultdict 的功能

defaultdict類是從2.5版本之後才新增的，在一些舊版本中並不支援它，因此為舊版本實現一個相容的defaultdict類是必要的。這其實很簡單，雖然效能可能未必如2.5版本中自帶的defautldict類好，但在功能上是一樣的。

首先，getitem()方法需要在訪問鍵失敗時，呼叫missing()方法：

class defaultdict(dict):
    def __getitem__(self, key):
        try:
            return dict.__getitem__(self, key)
        except KeyError:
            return self.__missing__(key)

其次，需要實現missing()方法用來設定預設值：

class defaultdict(dict):
    def __getitem__(self, key):
        try:
            return dict.__getitem__(self, key)
        except KeyError:
            return self.__missing__(key)

    def __missing__(self, key):
        self[key] = value = self.default_factory()
        return value

然後，defaultdict類的初始化函式init()需要接受型別或者可呼叫函式引數:

class defaultdict(dict):
    def __init__(self, default_factory=None, *a, **kw):
        dict.__init__(self, *a, **kw)
        self.default_factory = default_factory

    def __getitem__(self, key):
        try:
            return dict.__getitem__(self, key)
        except KeyError:
            return self.__missing__(key)

    def __missing__(self, key):
        self[key] = value = self.default_factory()
        return value

最後，綜合以上內容，通過以下方式完成相容新舊Python版本的程式碼：

try:
    from collections import defaultdict
except ImportError:
    class defaultdict(dict):
      def __init__(self, default_factory=None, *a, **kw):
          dict.__init__(self, *a, **kw)
          self.default_factory = default_factory

      def __getitem__(self, key):
          try:
              return dict.__getitem__(self, key)
          except KeyError:
              return self.__missing__(key)

      def __missing__(self, key):
          self[key] = value = self.default_factory()
          return value