Làm một đối tượng x sao cho "x trong [x]" trả về False

Question

Nếu chúng ta thực hiện một củ khoai tây bệnh lý như thế này:

>>> class Potato: 
...  def __eq__(self, other): 
...   return False 
...  def __hash__(self): 
...   return random.randint(1, 10000) 
... 
>>> p = Potato() 
>>> p == p 
False 

Chúng tôi có thể phá vỡ bộ và dicts theo cách này (lưu ý: nó giống thậm chí nếu __eq__ lợi nhuận True, nó mucking với băm mà bẻ ra):

>>> p in {p} 
False 
>>> p in {p: 0} 
False 

Cũng len({p: 0, p: 0}) == 2 và {p: 0}[p] tăng KeyError, về cơ bản tất cả những thứ liên quan lập bản đồ đi ra ngoài cửa sổ, như mong đợi ed.

Nhưng những gì tôi không mong đợi là chúng ta không thể danh sách nghỉ

>>> p in [p] 
True 

Tại sao vậy? Có vẻ như list.__contains__ lặp lại, nhưng trước tiên là checking identity trước khi kiểm tra sự bình đẳng. Vì nó không phải là trường hợp mà danh tính ngụ ý bình đẳng (xem ví dụ đối tượng NaN), lý do cho danh sách ngắn mạch trên so sánh nhận dạng là gì?

Answer 1

list, tuple vv, không thực sự làm một kiểm tra danh tính trước khi kiểm tra bình đẳng, và hành vi này được thúc đẩy bởi these invariants:

assert a in [a] 
assert a in (a,) 
assert [a].count(a) == 1 
for a in container: 
    assert a in container # this should ALWAYS be true 

Thật không may, dict s, set s, và bạn bè hoạt động bằng cách băm , vì vậy nếu bạn lộn xộn với những người bạn thực sự có thể phá vỡ chúng một cách hiệu quả.

Xem this issue và this issue cho một số lịch sử.

Answer 2

Nói chung, phá vỡ giả định rằng nhận dạng ngụ ý sự bình đẳng có thể phá vỡ nhiều thứ trong Python. Đúng là NaN phá vỡ giả định này, và do đó NaN phá vỡ một số thứ trong Python. Thảo luận có thể được tìm thấy trong this Python bug. Trong phiên bản tiền phát hành của Python 3.0, sự phụ thuộc vào giả định này đã được gỡ bỏ, nhưng độ phân giải của lỗi là đưa nó trở lại (ví dụ, làm cho Python 3 đưa ra hành vi tương tự như Python 2, trong đó phím tắt kiểm tra nhận dạng là làm xong). Các documentation cho Python 3 nói một cách chính xác:

Đối với các loại container như danh sách, tuple, bộ, frozenset, dict, hoặc collections.deque, khái niệm x in y tương đương với any(x is e or x == e for e in y).

Tuy nhiên, dường tài liệu cho Python 2 là không chính xác, vì nó nói:

Đối với danh sách và tuple các loại, x trong y là đúng nếu và chỉ nếu có tồn tại một chỉ số i như vậy x == y [i] là đúng.

Bạn có thể nêu ra lỗi tài liệu về điều này nếu bạn muốn, mặc dù đây là một vấn đề khá bí truyền nên tôi nghi ngờ nó sẽ cao trong danh sách ưu tiên của bất kỳ ai.