我正在为这个问题写一个更新的Python 3答案。
如何__eq__
在Python中以什么顺序处理?
a == b
通常会a == b
调用a.__eq__(b)
或,但并非总是如此type(a).__eq__(a, b)
。
明确地,评估顺序为:
- 如果
b
的类型是的类型的严格子类(不是同一类型),a
并且具有__eq__
,则调用它并在实现比较后返回值,
- 否则,如果
a
has __eq__
,则调用它,如果实现了比较,则返回它,
- 否则,看看我们是否没有调用b
__eq__
并拥有它,然后在比较完成后调用并返回它,
- 否则,最后进行身份比较,与相同
is
。
如果方法返回,我们知道是否未实现比较NotImplemented
。
(在Python 2中,__cmp__
曾寻找一种方法,但在Python 3中已弃用并删除了该方法。)
让我们通过让B子类A来测试自己的第一次检查行为,这表明接受的答案在此计数上是错误的:
class A:
value = 3
def __eq__(self, other):
print('A __eq__ called')
return self.value == other.value
class B(A):
value = 4
def __eq__(self, other):
print('B __eq__ called')
return self.value == other.value
a, b = A(), B()
a == b
仅B __eq__ called
在返回之前打印False
。
我们怎么知道这个完整的算法?
此处的其他答案似乎不完整且已过时,因此我将更新信息并向您展示如何自己查找。
这是在C级别处理的。
我们需要在这里查看两个不同的代码位-class __eq__
对象的默认值object
,以及查找和调用该__eq__
方法的代码,而不管它是使用默认值__eq__
还是使用自定义代码。
默认 __eq__
__eq__
在相关的C api文档中查找显示了__eq__
由tp_richcompare
- 处理的,该"object"
类型cpython/Objects/typeobject.c
在object_richcompare
for 中定义case Py_EQ:
。
case Py_EQ:
/* Return NotImplemented instead of False, so if two
objects are compared, both get a chance at the
comparison. See issue #1393. */
res = (self == other) ? Py_True : Py_NotImplemented;
Py_INCREF(res);
break;
所以在这里,如果self == other
我们返回True
,则返回NotImplemented
对象。这是未实现其自身__eq__
方法的任何对象子类的默认行为。
怎么__eq__
叫
然后,我们找到C API文档PyObject_RichCompare函数,该函数调用do_richcompare
。
然后,我们看到tp_richcompare
为"object"
C定义创建的函数被调用do_richcompare
,因此让我们更仔细地看一下。
此功能中的第一个检查是针对要比较的对象的条件:
- 是不是同一类型,但
- 第二个类型是第一个类型的子类,并且
- 第二种类型有一个
__eq__
方法,
然后在交换参数的情况下调用其他方法,如果已实现,则返回值。如果未实现该方法,我们将继续...
if (!Py_IS_TYPE(v, Py_TYPE(w)) &&
PyType_IsSubtype(Py_TYPE(w), Py_TYPE(v)) &&
(f = Py_TYPE(w)->tp_richcompare) != NULL) {
checked_reverse_op = 1;
res = (*f)(w, v, _Py_SwappedOp[op]);
if (res != Py_NotImplemented)
return res;
Py_DECREF(res);
接下来,我们看是否可以__eq__
从第一种类型中查找方法并调用它。只要结果不是NotImplemented(即未实现),我们就将其返回。
if ((f = Py_TYPE(v)->tp_richcompare) != NULL) {
res = (*f)(v, w, op);
if (res != Py_NotImplemented)
return res;
Py_DECREF(res);
否则,如果我们不尝试其他类型的方法而该方法在那里,那么我们将尝试它,如果实现了比较,则将其返回。
if (!checked_reverse_op && (f = Py_TYPE(w)->tp_richcompare) != NULL) {
res = (*f)(w, v, _Py_SwappedOp[op]);
if (res != Py_NotImplemented)
return res;
Py_DECREF(res);
}
最后,如果没有针对任何一种类型的代码实施,我们都会进行退路。
备用广告会检查对象的身份,即是否在内存中相同位置的同一对象-这与对对象的检查相同self is other
:
/* If neither object implements it, provide a sensible default
for == and !=, but raise an exception for ordering. */
switch (op) {
case Py_EQ:
res = (v == w) ? Py_True : Py_False;
break;
结论
在比较中,我们首先尊重比较的子类实现。
然后,我们尝试与第一个对象的实现进行比较,然后与未调用的第二个对象进行比较。
最后,我们使用身份测试来比较是否相等。