前言

一个非常神秘的魔术方法。这个方法非常不起眼，用途狭窄，我几乎从未注意过它，然而，当发现它可能是上述“定律”的唯一例外情况时，我认为值得再写一篇文章来详细审视一下它。本文主要关注的问题有：(1)missing()到底是何方神圣？(2)missing()有什么特别之处？擅长“大变活人”魔术？(3)missing()是否真的是上述发现的例外？如果是的话，为什么会有这种特例？

1、有点价值的missing()

从普通的字典中取值时，可能会出现 key 不存在的情况：对于 get() 方法，它是有返回值的，而且可以传入第二个参数，作为 key 不存在时的返回内容，因此还可以接受。但是，另外两种写法都会报错。为了解决后两种写法的问题，就可以用到 missing() 魔术方法。现在，假设我们有一个这样的诉求：从字典中取某个 key 对应的 value,如果有值则返回值，如果没有值则插入 key,并且给它一个默认值(例如一个空列表)。

collections.defaultdict如图所示，当取不存在的 key 时，没有再报 KeyError,而是默认存入到字典中。为什么 defaultdict 可以做到这一点呢？原因是 defaultdict 在继承了内置类型 dict 之后，还定义了一个 missing() 方法，当 getitem 取不存在的值时，它就会调用入参中传入的工厂函数(上例是调用 list(),创建空列表)。作为最典型的示例，defaultdict 在文档注释中写到：简而言之，missing()的主要作用就是由 getitem 在缺失 key 时调用，从而避免出现 KeyError。

collections.Counter

2、神出鬼没的missing()

由上可知，missing()在 getitem()取不到值时会被调用，但是，我不经意间还发现了一个细节：getitem()在取不到值时，并不一定会调用 missing()。这是因为它并非内置类型的必要属性，并没有在字典基类中被预先定义。AttributeError: type object 'object' has no attribute '__missing__'

总结：missing()这个魔术方法虽然不起眼，但在实际应用中却发挥了重要作用。它可以帮助我们避免在使用字典时因为 key 不存在而引发的错误。同时，通过观察 missing() 的工作原理，我们还可以了解到 Python 中的一些内部实现细节。

使用 `dir()` 查看时，发现确实不存在该属性。如果从 `dict` 的父类即 `object` 中查看，也会发现同样的结果。这是怎么回事呢？为什么在 `dict` 和 `object` 中都没有 `missing` 属性？然而，查阅最新的官方文档，`object` 中分明包含这个属性。出处：3. Data model — Python 3.10.1 documentation

也就是说，理论上 `object` 类中会预定义 `missing`,其文档证明了这一点，然而实际上它并没有被定义！文档与现实出现了偏差！如此一来，当 `dict` 的子类(例如 `defaultdict` 和 `Counter`)在定义 `missing` 时，这个魔术方法事实上只属于该子类，也就是说，它是一个诞生于子类中的魔术方法！

据此，我有一个不成熟的猜想：`getitem()` 会判断当前对象是否是 `dict` 的子类，且是否拥有 `missing()`,然后才会去调用它(如果父类中也有该方法，则不会先作判断，而是直接就调用了)。我在交流群里说出了这个猜想，有同学很快在 CPython 源码中找到验证：而这就有意思了，在内置类型的子类上才存在的魔术方法，纵观整个 Python 世界，恐怕再难以找出第二例。

我突然有一个联想：这神出鬼没的 `missing`,就像是一个擅长玩“大变活人”的魔术师，先让观众在外面透过玻璃看到他(即官方文档),然而揭开门时，他并不在里面(即内置类型),再变换一下道具，他又完好无损就出现了(即 `dict` 的子类)。

3、被施魔法的 `missing()`

`missing()` 的神奇之处，除了它本身会变“魔术”之外，它还需要一股强大的“魔法”才能驱动。我发现原生的魔术方法间相互独立，它们在 C 语言界面可能有相同的核心逻辑，但是在 Python 语言界面，却并不存在着调用关系：魔术方法的这种“老死不相往来”的表现，违背了一般的代码复用原则，也是导致内置类型的子类会出现某些奇怪表现的原因。官方 Python 宁肯提供新的 UserString、UserList、UserDict 子类，也不愿意复用魔术方法，唯一合理的解释似乎是令魔术方法相互调用的代价太大。但是，对于特例 `missing`,这种设计似乎有些问题。

在Python中，missing()是一种特殊的方法，它是魔术方法(magic method)中的“二等公民”。与那些具有独立调用入口的“一等公民”如init()、enter()、len()和eq()等不同，missing()没有独立的调用入口，只能被动地由getitem()调用。换句话说，missing()依赖于getitem(),而getitem()也要依赖missing(),才能实现完整功能。

为了实现这一点，getitem()在解释器代码中开了个后门，从C语言界面折返回Python界面，去调用那个名为“missing”的特定方法。这就是真正的“魔法”，目前为止，missing()似乎是唯一一个享受了此等待遇的魔术方法。

那么，为什么Python要提供两个不同的方法呢？或者应该问，为什么Python要令这两个方法做出不一样的处理呢？这可能有一个很复杂(也可能是很简单)的解释，本文暂不深究了。

总的来说，为了让字典类型有更强大的表现，或者说让getitem()作出get()那样的表现，Python让字典的子类可以定义missing(),供getitem()查找调用。本文梳理了missing()的实现原理，从而揭示出它并非是一个毫不起眼的存在，恰恰相反，它是唯一一个打破了魔术方法间壁垒，支持被其它魔术方法调用的特例！

尽管Python为了维持魔术方法的独立性，不惜煞费苦心地引入了UserString、UserList、UserDict等派生类，但是对于missing(),它却选择了妥协。这种妥协可能是为了实现更强大的功能，也可能是为了保持代码的简洁和易于理解。