python - 理解比较中的可迭代类型

Question

最近我遇到了 cosmologicon 的 pywats现在试着理解关于迭代器乐趣的部分:

>>> a = 2, 1, 3
>>> sorted(a) == sorted(a)
True
>>> reversed(a) == reversed(a)
False

好的，sorted(a) 返回一个 list 而 sorted(a) == sorted(a) 变成了两个列表的比较.但是 reversed(a) 返回 reversed object。那么为什么这些颠倒的对象是不同的呢？而id的比较让我更加困惑:

>>> id(reversed(a)) == id(reversed(a))
True

Answer 1

id(reversed(a) == id(reversed(a) 返回 True 的基本原因，而 reversed(a) == reversed( a) 返回 False ，可以从下面使用自定义类的示例中看出 -

>>> class CA:
...     def __del__(self):
...             print('deleted', self)
...     def __init__(self):
...             print('inited', self)
...
>>> CA() == CA()
inited <__main__.CA object at 0x021B8050>
inited <__main__.CA object at 0x021B8110>
deleted <__main__.CA object at 0x021B8050>
deleted <__main__.CA object at 0x021B8110>
False
>>> id(CA()) == id(CA())
inited <__main__.CA object at 0x021B80F0>
deleted <__main__.CA object at 0x021B80F0>
inited <__main__.CA object at 0x021B80F0>
deleted <__main__.CA object at 0x021B80F0>
True

正如您在执行 customobject == customobject 时看到的，动态创建的对象直到比较发生后才被销毁，这是因为比较需要该对象。

但是在 id(co) == id(co) 的情况下，创建的自定义对象被传递给 id() 函数，然后只有结果比较需要 id 函数，因此创建的对象没有剩余引用，因此该对象被垃圾收集，然后当 Python 解释器重新创建一个新对象时对于 == 操作的右侧，它重新使用了之前释放的空间。因此，两者的 id 相同。

上述行为是 CPython 的一个实现细节(在 Python 的其他实现中可能有所不同)。而且你永远不应该依赖于 ids 的相等性。例如在下面的情况下它给出了错误的结果 -

>>> a = [1,2,3]
>>> b = [4,5,6]
>>> id(reversed(a)) == id(reversed(b))
True

原因再次如上所述(为 reversed(a) 创建的 reversed 对象的垃圾收集在为 reversed( b)).

---

如果列表很大，我认为比较两个迭代器的相等性的内存效率最高且最有可能最快的方法是使用 all()内置函数以及 zip() Python 3.x 的函数(或 Python 2.x 的 itertools.izip())。

Python 3.x 示例 -

all(x==y for x,y in zip(aiterator,biterator))

Python 2.x 示例 -

from itertools import izip
all(x==y for x,y in izip(aiterator,biterator))

这是因为 all() 在遇到第一个 False 值时短路，而 Python 3.x 中的 `zip() 返回一个迭代器，该迭代器从两个不同的迭代器中产生相应的元素.这不需要在内存中创建一个单独的列表。

演示 -

>>> a = [1,2,3]
>>> b = [4,5,6]
>>> all(x==y for x,y in zip(reversed(a),reversed(b)))
False
>>> all(x==y for x,y in zip(reversed(a),reversed(a)))
True