擴展模塊中的可比較類型

Question

要爲我的CPython擴展類型實現！=和==，我應該實現tp_compare，tp_richcompare還是兩者兼而有之？

在什麼情況下，他們每個人都被稱爲？

Answer 1

tp_richcompare類似於Python語言本身的豐富比較special methods。當在類上調用比較運算符時，優先選擇tp_compare。

當您希望更好地控制比較邏輯時，使用tp_richcompare。例如，確定平等可能是一種非常便宜的方法，但不是優先。假設memcmp(a, b, sizeof(*a)) == 0表示兩個非常複雜的數據結構相等，但memcmp(a, b, sizeof(*a)) < 0並不表示a小於b，而這需要一個昂貴的算法來確定。 tp_compare功能需要您始終使用昂貴的算法才能返回-1，0或1。 函數OTOH告訴您哪個比較是有意的，因此您可以根據需要選擇昂貴的算法還是廉價的算法。

的tp_richcompare另外一個優點是可以提高對操作沒有意義，如u < v例外情況u和v是空間中的點。