Python total_ordering：为什么要使用lt和eq而不是le？

Question

Python total_ordering：为什么要使用lt和eq而不是le？

22

在Python3中，functools.total_ordering装饰器允许我们只重载__lt__和__eq__来获得所有6个比较运算符。我不明白为什么要写两个运算符，如果只写一个的话，即__le__或者__ge__，其他的运算符就会相应地被定义。

a < b   <=>   not (b <= a)
a > b   <=>   not (a <= b)
a == b   <=>   (a <= b) and (b <= a)
a != b   <=>   (a <= b) xor (b <= a)

那是因为异或运算符在本地不存在吗？

- Guillaume Lemaître

3

"XOR" 存在于计算机原生语言中。 - Martijn Pieters

1

@MartijnPieters 只是按位异或，不是吗？ - Guillaume Lemaître

1

按照所有意图，位异或运算符在Python和许多其他编程语言中都是布尔异或运算符。在Python中，bool是int的子类，False == 0和True == 1。因此，True ^ False等运算可以正常工作。 - mtraceur

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Martijn Pieters · Accepted Answer

文档说明您必须定义__lt__()、__le__()、__gt__()或__ge__()中的一个，但只应提供一个__eq__()方法。换句话说，__eq__()方法是可选的。total_ordering实现不要求您指定__eq__()方法；它仅测试__lt__()、__le__()、__gt__()或__ge__()方法。它会基于这4个方法之一提供最多3个缺失的特殊方法。

您不能仅基于__le__或__ge__来排序，因为您不能假设可以交换a和b；如果b是不同的类型，则可能未实现b.__le__，因此无法保证您的a < b <=> not (b <= a)映射。如果未定义__le__但已定义__lt__，则实现使用(a <= b) and (a != b)。

完整的映射表如下：

比较	可用	替代方案
`a > b`	`a < b`	`(not a < b) and (a != b)`
	`a <= b`	`(not a <= b)`
	`a >= b`	`(a >= b) and (a != b)`
`a <= b`	`a < b`	`(a < b) or (a == b)`
	`a > b`	`(not a > b)`
	`a >= b`	`(not a >= b) or (a == b)`
`a < b`	`a <= b`	`(a <= b) and (a != b)`
	`a > b`	`(not a > b) and (a != b)`
	`a >= b`	`(not a >= b)`
`a >= b`	`a < b`	`(not a < b)`
	`a <= b`	`(not a <= b) or (a == b)`
	`a > b`	`(a > b) or (a == b)`

"

__eq__方法是可选的，因为基本的object对象已经为您定义了一个; 仅当两个实例是相同的对象时才被视为相等; ob1 == ob2只有当ob1 is ob2为True时才成立。请参见在object.c中的do_richcompare()函数; 请记住，那里的==运算符正在比较指针。

"

Python total_ordering：为什么要使用__lt__和__eq__而不是__le__？

Python total_ordering：为什么要使用lt和eq而不是le？