鸭子打字的猴子补丁

Question

# python3.7
Python 3.7.2 (default, Feb 15 2019, 16:54:46) 
[GCC 4.8.5 20150623 (Red Hat 4.8.5-36)] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from collections.abc import *
>>> from _collections_abc import _check_methods
>>> class A:
...     pass
... 
>>> a = A()
>>> isinstance(a, Iterable)
False
>>> A.__iter__ = 100
>>> isinstance(a, Iterable)             # why this not working?
False
>>> _check_methods(A, "__iter__")
True
>>> class B:
...     def __iter__(self):
...             pass
... 
>>> isinstance(B(), Iterable)
True

我用__iter__ 修补了A，所以isinstance(a, Iterable) 应该返回True，因为它现在就像定义了__iter__ 的可迭代对象。从source来看，Iterable只根据类是否实现了__iter__来判断。

那么为什么这个猴子补丁没有像我预期的那样工作？

Answer 1

不支持动态实现（或不实现）抽象方法。 abc 机器做了很多缓存来加速isinstance 和issubclass 检查，并且没有手动重置缓存的选项。 A 不是 Iterable 的子类这一事实在第一次 isinstance 调用之后被缓存，导致第二次调用的 False 结果。

docs 最接近描述缓存行为的是以下行：

不支持向类动态添加抽象方法，或者在创建方法或类后尝试修改其抽象状态。

Answer 2

您将变量__iter__ 添加到a。您必须将其添加为这样的方法：

 class A:
     pass

 def foo(self):
     pass

 A.__iter__ = foo
 a = A()
 isinstance(a, Iterable)
 # True

UPDATE：这个答案是意外返回 True。这只是返回 True 因为我设置了 iter 然后调用 isinstance。如果我首先调用 isinstance 然后设置 iter 它总是返回 False 因为 python 缓存系统（阅读 user2357112 的答案）