Operatör aşırı yüklerken python türleri mi değişir?

Question

Aşağıdaki kod var:

a = str('5') 
b = int(5) 
a == b 
# False 

Ama int bir alt sınıfı yaparsanız ve __cmp__ reimplement:

class A(int): 
    def __cmp__(self, other): 
     return super(A, self).__cmp__(other) 
a = str('5') 
b = A(5) 
a == b 
# TypeError: A.__cmp__(x,y) requires y to be a 'A', not a 'str' 

Neden bu iki farklı? Python çalışma zamanı, int.__cmp__() tarafından atılan TypeError'ı yakalayıp bunu False değeri olarak yorumluyor mu? Birisi bana bunun nasıl çalıştığını gösteren 2.x cpython kaynağında biraz işaret edebilir mi? Işleve wrap_cmpfunc yılında typeobject.c bu sonuca nedenini bulabilirsiniz CPython kaynağını 2.x için İlişkin

Güncelleme

>>> class A(int): 
...  def __cmp__(self, other): 
...   return super(A, self).__cmp__(A(other)) # <--- A(other) instead of other 
... 
>>> a = str('5') 
>>> b = A(5) 
>>> a == b 
True 

: Ben senin sorunun hakkını anlasalardı

Answer 1

belgeleri bu noktada tamamen açık değil, ama here bkz:

hem sayılar, ortak bir türe dönüştürülür varsa. Aksi takdirde, farklı türdeki nesneler her zaman eşitsiz bir şekilde karşılaştırır ve tutarlı bir şekilde ama keyfi olarak sıralanır. Özel yöntem adları bölümünde açıklanan __cmp__ yöntemini veya __gt__ gibi zengin karşılaştırma yöntemlerini tanımlayarak yerleşik olmayan türdeki nesnelerin karşılaştırma davranışını denetleyebilirsiniz.

(özellikle de "farklı türde nesneleri" arasında kesin bir kontrast "nesneleri olmayan yerleşik türleri") dahili için türleri, aslında çağrı karşılaştırma yöntemlerinin normal işlemi atlanır önermektedir: Eğer iki farklı (ve sayısal olmayan) yerleşik tipteki nesneleri karşılaştırmaya çalışırsınız, bu sadece otomatik bir False'ye kısa devre yapar.

Answer 2

, gibi bir şey gerek aslında iki şeyi kontrol eder: verilen karşılaştırma işlevi func ve otherself için alt tiptir.

if (Py_TYPE(other)->tp_compare != func && 
    !PyType_IsSubtype(Py_TYPE(other), Py_TYPE(self))) { 
// .... 
} 

Answer 3

a == b için bir karşılaştırma karar ağacı arar gibi bir şey:

• piton aramalar a.__cmp__(b)
  b uygun bir tip b uygun bir tip ise
  • olduğunu
  • a çek, 0, -1 dönmek b veya +1
  • ise değil, -1, 0 veya +1, piton yapılır döndü NotImplented
• eğer return; Aksi
• NotImplented döndü eğer a uygun bir tip a uygun bir tip ise
• olduğunu,
• b.__cmp__(a)
  • b çek denemek değil -1, 0 veya +1
  • a eğer dönmek, geri dön NotImplemented
• , -1, 0 veya +1 döndürülürse, python bitti; NotImplented tekrar döndü eğer aksi
• , cevap False

değil tam cevabı, ama umarım yardımcı olur.