Python：为什么不支持列表和元组之间的比较？

Question

当比较一个元组和一个类似...的列表时

>>> [1,2,3] == (1,2,3)
False
>>> [1,2,3].__eq__((1,2,3))
NotImplemented
>>> (1,2,3).__eq__([1,2,3])
NotImplemented

...Python 不会像使用 (1,2,3) == (1,2,3) 那样对它们进行深度比较。

那么这是什么原因呢？是因为可变列表可以随时更改（线程安全问题）还是什么？

（我知道这是在CPython中实现的，所以请不要回答在哪里，而是为什么实现它。）

Answer 1

你总是可以“施放”它

>>> tuple([1, 2]) == (1, 2)
True

请记住，Python 与 Javascript、is strongly typed 不同，我们中的一些人（大多数？）更喜欢这种方式。

Answer 2

列表无法与元组进行比较没有技术原因；这完全是由语义驱动的设计决策。为了证明它与线程安全无关，您可以将列表与其他列表进行比较：

>>> l1 = [1, 2, 3]
>>> l2 = [1, 2, 3]
>>> l1 == l2
True
>>> id(l1) == id(l2)
False

允许用户直接比较列表和元组似乎是合理的，但是你最终会遇到其他问题：是否应该允许用户比较列表和队列？那么任何两个提供迭代器的对象呢？下面的呢？

>>> s = set([('x', 1), ('y', 2)])
>>> d = dict(s)
>>> s == d  # This doesn't work
False

它很快就会变得复杂。语言设计者意识到了这个问题，并通过简单地防止不同的集合类型相互直接比较来避免它¹。

请注意，简单的解决方案（从元组创建一个新列表并比较它们）很简单但效率低下。如果您正在处理大量项目，则最好使用以下内容：

def compare_sequences(iter1, iter2):
    iter1, iter2 = iter(iter1), iter(iter2)
    for i1 in iter1:
        try:
            i2 = next(iter2)
        except StopIteration:
            return False

        if i1 != i2:
            return False

    try:
        i2 = next(iter2)
    except StopIteration:
        return True

    return False

这具有处理任意两个序列的优势，但明显是以复杂性为代价。

---

¹ 我注意到集合和冻结集合有一个例外。毫无疑问，还有一些我不知道的。语言设计者是纯粹主义者，除非是为了实用。