Dokonywanie przedmiot x takie, że „x w [x]” zwraca false

Question

Jeśli zrobimy patologiczny ziemniak tak:

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

Możemy przełamać zbiorów i dicts ten sposób (uwaga: to samo nawet jeśli __eq__ powraca True, to mucking z mieszania, które je złamał):

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

także len({p: 0, p: 0}) == 2 i {p: 0}[p] podnosi KeyError, przede wszystkim związanych z odwzorowaniem rzeczy wychodzi przez okno, jak oczekiwać ed.

Ale co ja nie spodziewałem się, że nie mogęlisty przerwa

>>> p in [p] 
True 

Dlaczego tak jest? Wygląda na to, że list.__contains__ iteruje, ale najpierw sprawdza, czy równość jest równa. Ponieważ nie jest tak, że tożsamość oznacza równość (patrz na przykład obiekt NaN), jaki jest powód, dla którego listy zwierają porównania tożsamości?

Answer 1

list, tuple itp rzeczywiście zrobić sprawdzenie tożsamości przed check równości, a takie zachowanie jest motywowane 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 

Niestety dict s, set s i przyjaciół działać przez mieszań , więc jeśli zadzierasz z tymi, które faktycznie możesz skutecznie je złamać.

Zobacz niektóre z historii: this issue i this issue.

Answer 2

Ogólnie łamanie założenia, że ​​tożsamość oznacza równość, może przerwać różne rzeczy w Pythonie. Prawdą jest, że NaN łamie to założenie, a zatem NaN przerywa niektóre rzeczy w Pythonie. Dyskusję można znaleźć w this Python bug. W przedpremierowej wersji Pythona 3.0, poleganie na tym założeniu zostało usunięte, ale rozdzielczość błędu polegała na ponownym wstawieniu go (tj. Sprawienie, aby Python 3 działał tak samo jak Python 2, w którym skrót sprawdzania tożsamości jest Gotowe). documentation dla Pythona 3 poprawnie mówi:

Dla typów kontenerów takich jak listy, krotki, zestaw, frozenset, dict lub collections.deque wyrażenie x in y jest równoważna any(x is e or x == e for e in y).

Okazuje się jednak, dokumentacja dla Pythona 2 jest niepoprawny, ponieważ mówi:

list i krotka typów, x na y jest prawdziwe wtedy i tylko wtedy, gdy istnieje indeks i takie że x == y [i] jest prawdziwe.

Możesz zgłosić błąd związany z dokumentacją, jeśli chcesz, chociaż jest to dość ezoteryczny problem, więc wątpię, czy znajdzie się wysoko na czyjejkolwiek liście priorytetów.