total_ordering في بايثون: هل تستبدل __le__ الموروثة؟

الحفظ

لا؛ total_ordering تحفظ __le__ الموروثة في مثالنا، حتى مع __lt__ و__eq__ مكتوبتين. [1] [2]

فئة أصلية

في CPython 3.12.14، Parent.__le__ تسجل base وترفع RuntimeError؛ Child ترثها وتعرف __lt__/__eq__ للأعداد. [1] [2]

الطريقة الموروثة

Child.__le__ is Parent.__le__ تعطي True؛ left<right تعطي True، لكن left<=right ترفع RuntimeError وcalls=["base"]. [1] [2]

from functools import total_ordering calls=[] class Parent: def __le__(self,other): calls.append("base");raise RuntimeError("bud") @total_ordering class Child(Parent): def __init__(self,n):self.n=n def __lt__(self,other):return self.n<other.n def __eq__(self,other):return self.n==other.n left,right=Child(4),Child(5) print(Child.__le__ is Parent.__le__,left<right) try:left<=right except RuntimeError:print("RuntimeError",calls) [1] [2]

التوليد والتحكم

المزخرف يملأ الناقص؛ لا يستبدل الطريقة المعرّفة في فئة أصلية. نجاح تعريف Child لا يصلح طريقتها الموروثة. [1] [2]

@total_ordering class Fixed: def __init__(self,n):self.n=n def __lt__(self,other):return self.n<other.n def __eq__(self,other):return self.n==other.n print(Fixed(4)<=Fixed(5)) [1] [2]

تحكم: Fixed دون Parent تطبق المزخرف بمقارنات القيم نفسها؛ Fixed(4)<=Fixed(5) تعطي True بالطريقة المولدة. لا نختبر أنواعًا مختلفة أو أصنافًا مجردة. [1] [2]

المراجع

1. Python total_ordering
2. CPython functools