HashSet consente l'inserimento di elementi duplicati se hashCode() non viene sovrascritto

Question

class temp { 
int id; 

public int getId() { 
    return id; 
} 

temp(int id) { 
    this.id = id; 
} 

public void setId(int id) { 
    this.id = id; 
} 

@Override 
public boolean equals(Object obj) { 
    if (this == obj) 
     return true; 
    if (obj == null) 
     return false; 
    if (getClass() != obj.getClass()) 
     return false; 
    temp other = (temp) obj; 
    if (id != other.id) 
     return false; 
    return true; 
} 
} 

public class testClass { 

    public static void main(String[] args) { 
     temp t1 = new temp(1); 
     temp t2 = new temp(1); 
     System.out.println(t1.equals(t2)); 
     Set<temp> tempList = new HashSet<temp>(2); 
     tempList.add(t1); 
     tempList.add(t2); 
     System.out.println(tempList); 
} 

Il programma aggiunge entrambi gli elementi al Set. All'inizio sono rimasto scioccato perché, aggiungendo i metodi da impostare, viene invocato il metodo equals.

Ma poi ho calpestato il metodo hashCode:

@Override 
    public int hashCode() { 
     final int prime = 31; 
     int result = 1; 
     result = prime * result + id; 
     return result; 
    } 

E poi non ho aggiunto. Questo è sorprendente poiché il metodo Javadoc di Set e add() dice che controlla solo equals() durante l'aggiunta nel Set.

e questo è il Javadoc per add():

/** 
    * Adds the specified element to this set if it is not already present. 
    * More formally, adds the specified element <tt>e</tt> to this set if 
    * this set contains no element <tt>e2</tt> such that 
    * <tt>(e==null&nbsp;?&nbsp;e2==null&nbsp;:&nbsp;e.equals(e2))</tt>. 
    * If this set already contains the element, the call leaves the set 
    * unchanged and returns <tt>false</tt>. 
    * 
    * @param e element to be added to this set 
    * @return <tt>true</tt> if this set did not already contain the specified 
    * element 
    */ 
    public boolean add(E e) { 
     return map.put(e, PRESENT)==null; 
    } 

poi ho capito che il HashSet è implementato come un HashMap e nella mappa, la hashCode dell'oggetto viene utilizzato come chiave. Quindi, li sta trattando con chiavi diverse se non si sostituisce hashCode.

Non dovrebbe essere presente nella documentazione del metodo add() o di HashSet?

Answer 1

È documentato. Vedere la documentazione per java.lang.Object, dove si dice sul hashCode():

Se due oggetti sono uguali secondo le Equals (Object) metodo, quindi chiamando il metodo hashCode su ciascuno dei due oggetti devono produrre lo stesso risultato intero.

Inoltre seguente si trova nella documentazione per il metodo Object.equals(Object):

noti che è generalmente necessario ridefinire il metodo hashCode quando questo metodo viene sovrascritto, in modo da mantenere la generale contratto per il metodo hashCode, che afferma che gli oggetti uguali devono avere uguale codice hash.

In altre parole, se con la tua classe quando instanceA.equals(instanceB) == true e instanceA.hashCode() != istanceB.hashCode() si sono infatti violare il contratto della classe Object.

Answer 2

Basta dare un'occhiata anche a equals() documentazione:

Si noti che è generalmente necessario eseguire l'override del metodo hashCode ogni volta che viene sovrascritto questo metodo, in modo da mantenere il contratto generale per il metodo hashCode, in cui si afferma che gli oggetti uguali devono avere uguali codici hash.

Il fatto è che equals() e hashCode() sono fortemente collegati. Entrambi devono essere sempre considerati quando si lavora con uno di essi per evitare questi problemi di coerenza.

Answer 3

Se si esegue l'override di equals() è necessario che sostituisca anche hashCode().

Sono presenti alcune restrizioni sul comportamento di equals() e hashCode(), che sono enumerati nella documentazione di Object. In particolare, il metodo equals() deve presentare le seguenti caratteristiche:

• Symmetry: Per due riferimenti A e B, a.equals (b) se e solo se b.equals (a)
• Riflessività : Per tutti i riferimenti non null, a.equals (a)
• Transitività: se a.equals (b) e b.equals (c), quindi a.equals (c)
• Coerenza con hashCode(): Due oggetti uguali devono avere lo stesso valore hashCode()

Vedere this per ulteriori dettagli.

Answer 4

Essi (i ragazzi javadoc) potrebbe avere pre-assunto che quando dicono (la documentazione di add() metodo HashSet)

il hashCode() è intrinsecamente uguale per entrambi.