为什么在python中'x==y'调用'y.'\uuueq(x)`?

python文档清楚地指出 x==y 电话 x.__eq__(y) . 然而,在许多情况下,情况似乎恰恰相反。它记录了什么时候或者为什么会发生这种情况,以及我如何确定我的对象是否 __cmp__ 或 __eq__ 方法将被调用。

编辑:为了澄清,我知道 爱斯克 在preferrecne中调用为 α-CMPa 但是我不清楚为什么 y.__eq__(x) 优先调用 x.y-ε(y) 当后者是将要发生的文档状态时。

>>> class TestCmp(object):
...     def __cmp__(self, other):
...         print "__cmp__ got called"
...         return 0
... 
>>> class TestEq(object):
...     def __eq__(self, other):
...         print "__eq__ got called"
...         return True
... 
>>> tc = TestCmp()
>>> te = TestEq()
>>> 
>>> 1 == tc
__cmp__ got called
True
>>> tc == 1
__cmp__ got called
True
>>> 
>>> 1 == te
__eq__ got called
True
>>> te == 1
__eq__ got called
True
>>> 
>>> class TestStrCmp(str):
...     def __new__(cls, value):
...         return str.__new__(cls, value)
...     
...     def __cmp__(self, other):
...         print "__cmp__ got called"
...         return 0
... 
>>> class TestStrEq(str):
...     def __new__(cls, value):
...         return str.__new__(cls, value)
...     
...     def __eq__(self, other):
...         print "__eq__ got called"
...         return True
... 
>>> tsc = TestStrCmp("a")
>>> tse = TestStrEq("a")
>>> 
>>> "b" == tsc
False
>>> tsc == "b"
False
>>> 
>>> "b" == tse
__eq__ got called
True
>>> tse == "b"
__eq__ got called
True

编辑:从Mark Dickinson的回答和评论来看:

1. 丰富的比较覆盖 α-CMPa
2. 爱斯克 是自己的吗? __rop__ 对它 __op__ (类似于 __lt__ , __ge__ 等)
3. 如果左对象是内置类或新样式类,而右对象是其子类,则右对象的 爱罗普斯 在左对象的 α-π

这就解释了 TestStrCmp 例子。 测试程序 是的子类 str 但不实现自己的 爱斯克 所以 爱斯克 属于 STR 在这两种情况下优先(即 tsc == "b" 电话 b.__eq__(tsc) 作为一个 爱罗普斯 因为规则1)。

在 TestStrEq 例子, tse.__eq__ 在两个实例中都调用,因为 斯特斯特雷克 是的子类 STR 所以它被称为优先权。

在 TestEq 例子, 泰斯特 器具 爱斯克 和 int 不是这样 爱斯克 两次都被调用(规则1)。

但我还是不理解第一个例子 TestCmp . tc 不是上的子类 int 因此, 1.__cmp__(tc) 应该打电话,但不是。