使用 `==` 进行比较是否会在比较值之前比较身份？

Question

如果我使用== 比较两个变量，Python 是否会比较身份，如果它们不相同，则比较值？

例如，我有两个指向同一个字符串对象的字符串：

>>> a = 'a sequence of chars'
>>> b = a

这是比较值还是只比较 id？：

>>> b == a
True

首先比较身份是有意义的，我猜是这样，但我还没有在文档中找到任何支持这一点的东西。我最接近的是this：

x==y 呼叫x.__eq__(y)

这并没有告诉我在调用 x.__eq__(y) 之前是否完成了任何操作。

Answer 1

对于用户定义的类实例，is 用作备用 - 其中默认 __eq__ 未被覆盖，a == b 被评估为 a is b。这确保了比较总是有结果（NotImplemented 情况除外，其中明确禁止比较）。

这是data model documentation（强调我的）中提到的（有点倾斜 - 好地方Sven Marnach）：

用户定义的类有__eq__()和__hash__()方法 默认;与他们，所有对象比较不相等（除了 他们自己） 和x.__hash__() 返回一个适当的值，如 x == y 意味着 x is y 和 hash(x) == hash(y)。

---

你可以如下演示：

>>> class Unequal(object):
    def __eq__(self, other):
        return False


>>> ue = Unequal()
>>> ue is ue
True
>>> ue == ue
False

所以__eq__必须在id之前调用，但是：

>>> class NoEqual(object):
    pass

>>> ne = NoEqual()
>>> ne is ne
True
>>> ne == ne
True

所以id 必须在未定义__eq__ 的地方调用。

---

您可以看到这个in the CPython implementation，其中说明：

/* If neither object implements it, provide a sensible default
   for == and !=, but raise an exception for ordering. */

实现的“合理默认值”是指针v和w的C级相等比较，无论它们是否指向同一个对象，都会返回。

Answer 2

除了@jonrsharpe 的回答：如果被比较的对象实现__eq__，那么 Python 首先检查身份将是错误。

看下面的例子：

>>> x = float('nan')
>>> x is x 
True
>>> x == x
False

NaN 是一个特定的东西，永远不应该与它自己进行比较；然而，即使在这种情况下x is x 也应该返回True，因为is 的语义。