phương thức `foo <bar <baz` thực sự gọi là gì?

Question

Trong python chúng ta có thể nói:

if foo < bar < baz: 
    do something. 

và tương tự, chúng ta có thể quá tải các toán tử so sánh như:

class Bar: 
    def __lt__(self, other): 
     do something else 

nhưng những gì các phương pháp của các loại toán hạng của những comparisions khoảng đang thực sự được gọi là? là trên tương đương với

if foo.__lt__(bar) and bar.__lt__(baz): 
    do something. 

Chỉnh sửa: lại S.Lott, Đây là một số đầu ra giúp minh họa điều thực sự xảy ra.

>>> class Bar: 
    def __init__(self, name): 
     self.name = name 
     print('__init__', self.name) 
    def __lt__(self, other): 
     print('__lt__', self.name, other.name) 
     return self.name < other.name 

>>> Bar('a') < Bar('b') < Bar('c') 
('__init__', 'a') 
('__init__', 'b') 
('__lt__', 'a', 'b') 
('__init__', 'c') 
('__lt__', 'b', 'c') 
True 
>>> Bar('b') < Bar('a') < Bar('c') 
('__init__', 'b') 
('__init__', 'a') 
('__lt__', 'b', 'a') 
False 
>>> 

Answer 1

Bạn là chính xác:

class Bar: 
    def __init__(self, name): 
     self.name = name 
    def __lt__(self, other): 
     print('__lt__', self.name, other.name) 
     return True 

a,b,c = Bar('a'), Bar('b'), Bar('c') 

a < b < c 

Output :

('__lt__', 'a', 'b') 
('__lt__', 'b', 'c') 
True 

Answer 2

if foo < bar < baz: 

tương đương với

if foo < bar and bar < baz: 

với một khác biệt quan trọng: nếu thanh là một mutating, nó sẽ được lưu trữ. Ví dụ:

if foo < bar() < baz: 

tương đương với

tmp = bar() 
if foo < tmp and tmp < baz: 

Nhưng để trả lời câu hỏi của bạn, nó sẽ kết thúc hạnh phúc:

if foo.__lt__(bar) and bar.__lt__(baz): 

Answer 3

Nó gọi phương thức đặc biệt __lt__(), và nếu cần thiết nó sẽ gọi __nonzero__() để ép buộc kết quả của __lt__() để một boolean. Đáng ngạc nhiên (với tôi ít nhất), không có phương pháp __and__() để ghi đè lên toán tử and.

Dưới đây là một chương trình thử nghiệm:

#!/usr/bin/env python 

class Bar: 
    def __init__(self, value): 
     self.value = value 

    def __lt__(self, other): 
     print "%s.__lt__(%s)" % (self, other) 
     return Bar("%s.__lt__(%s)" % (self, other)) 

    def __nonzero__(self): 
     print "%s.__nonzero__()" % (self) 
     return True 

    def __str__(self): 
     return self.value 

foo = Bar("foo") 
bar = Bar("bar") 
baz = Bar("baz") 

if foo < bar < baz: 
    pass 

Output:

foo.__lt__(bar) 
foo.__lt__(bar).__nonzero__() 
bar.__lt__(baz) 
bar.__lt__(baz).__nonzero__() 

Answer 4

Nó sử dụng cuộc gọi liên tiếp cho người vận hành ít hơn so sánh:

>>> import dis 
>>> def foo(a,b,c): 
...  return a < b < c 
... 
>>> dis.dis(foo) 
    2   0 LOAD_FAST    0 (a) 
       3 LOAD_FAST    1 (b) 
       6 DUP_TOP    
       7 ROT_THREE   
       8 COMPARE_OP    0 (<) 
      11 JUMP_IF_FALSE   8 (to 22) 
      14 POP_TOP    
      15 LOAD_FAST    2 (c) 
      18 COMPARE_OP    0 (<) 
      21 RETURN_VALUE   
     >> 22 ROT_TWO    
      23 POP_TOP    
      24 RETURN_VALUE