Python 2: diferente significado de la 'en' palabra clave para los conjuntos y listas

Question

Considere la siguiente:

class SomeClass(object): 

    def __init__(self, someattribute="somevalue"): 
     self.someattribute = someattribute 

    def __eq__(self, other): 
     return self.someattribute == other.someattribute 

    def __ne__(self, other): 
     return not self.__eq__(other) 

list_of_objects = [SomeClass()] 
print(SomeClass() in list_of_objects) 

set_of_objects = set([SomeClass()]) 
print(SomeClass() in set_of_objects) 

que será evaluado:

True 
False 

¿Puede alguien explicar por qué el 'en' palabra clave tiene un significado diferente para conjuntos y listas? Hubiera esperado que ambas devolvieran True, especialmente cuando el tipo que se está probando tiene métodos de igualdad definidos.

Answer 1

El significado es el mismo, pero la implementación es diferente. Las listas simplemente examinan cada objeto, verificando la igualdad, por lo que funciona para su clase. Establece los primeros hash de los objetos, y si no implementan el hash correctamente, el conjunto parece no funcionar.

Su clase define __eq__, pero no define __hash__, por lo que no funcionará correctamente para conjuntos o como claves de diccionarios. La regla para __eq__ y __hash__ es que dos objetos que __eq__ como True también deben tener hashes iguales. Por defecto, los objetos se basan en su dirección de memoria. Por lo tanto, sus dos objetos que son iguales según su definición no proporcionan el mismo hash, por lo que infringen la regla sobre __eq__ y __hash__.

Si proporciona una implementación de __hash__, funcionará correctamente. Para su código de ejemplo, podría ser:

def __hash__(self): 
    return hash(self.someattribute) 

Answer 2

Definir __hash__() método que corresponde a su método __eq__(). Example.

Answer 3

En prácticamente cualquier implementación de hashtable, incluida Python, si anulas el método de igualdad, debes anular el método de hashing (en Python, esto es __hash__). El operador in para listas simplemente comprueba la igualdad con cada elemento de la lista, que el operador in establece primero hash el objeto que está buscando, busca un objeto en esa ranura de la tabla hash y luego verifica si hay igualdad en la ranura Por lo tanto, si reemplaza __eq__ sin anular __hash__, no se le puede garantizar que el operador in de los conjuntos verifique en la ranura correcta.