Discussion :

[BBric]

Un petit truc que je ne comprends pas :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
 
static public final class A
{
	private int n;
 
 
	@Override
	public boolean equals(Object o)
	{
		if (this == o) return true;
		if (o == null || getClass() != o.getClass()) return false;
		A a = (A) o;
		return Math.abs(n - a.n) < 2;
	}
 
 
	@Override
	public int hashCode()
	{
		return n;
	}
 
 
	public A(int n)
	{
		this.n = n;
	}
}
 
HashMap<A, Boolean> m = new HashMap<>();
ArrayList<A> l = new ArrayList<>();
A a1 = new A(0);
A a2 = new A(1);
m.put(a1, false);
l.add(a1);
System.out.println(a1.equals(a2)); // true OK
System.out.println(m.containsKey(a2)); // false ???
System.out.println(l.contains(a2)); // true OK
for (A i : m.keySet()) trace(i.equals(a2)); // true OK
for (A i : l) trace(i.equals(a2)); // true OK

Pourquoi HashMap::containsKey() me renvoie false

[joel.drigo]

Salut,

JavaDoc de Object.equals() :

Indicates whether some other object is "equal to" this one.
The equals method implements an equivalence relation on non-null object references:

It is reflexive: for any non-null reference value x, x.equals(x) should return true.
It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
For any non-null reference value x, x.equals(null) should return false.
The equals method for class Object implements the most discriminating possible equivalence relation on objects; that is, for any non-null reference values x and y, this method returns true if and only if x and y refer to the same object (x == y has the value true).

Note that it is generally necessary to override the hashCode method whenever this method is overridden, so as to maintain the general contract for the hashCode method, which states that equal objects must have equal hash codes.

C'est particulièrement important pour qu'une hashmap fonctionne, même si elle utilise son propre algo de hashage, elle se base sur le hashcode des objets, donc sur le respect du contrat ci-dessus.

D'ailleur, la doc de hashcode() :

Returns a hash code value for the object. This method is supported for the benefit of hash tables such as those provided by HashMap.
The general contract of hashCode is:

Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
If two objects are equal according to the equals(Object) method, then calling the hashCode method on each of the two objects must produce the same integer result.
It is not required that if two objects are unequal according to the equals(java.lang.Object) method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.
As much as is reasonably practical, the hashCode method defined by class Object does return distinct integers for distinct objects. (This is typically implemented by converting the internal address of the object into an integer, but this implementation technique is not required by the JavaTM programming language.)

Or hashcode de a1 vaut 0 et hashcode de a2 vaut 1.

Par ailleurs, il y a un autre contrat à respecter pour les clefs d'une map : qu'elles soient immuables.

Sans parler du non respect de la transitivité de ta méthode equals...

[BBric]

Ok pour le hashcode, mais comment se fait-il que Array et HashMap donnent deux résultats différents

[joel.drigo]

La méthode contains de ArrayList n'utilise que equals(), parce qu'il n'y a pas lieu d'utiliser le hash dans son implémentation. Et c'est même indiqué dans la doc de ArrayList.

Returns true if this list contains the specified element. More formally, returns true if and only if this list contains at least one element e such that (o==null ? e==null : o.equals(e)).

Une HashMap est un moyen d'associer des clefs et des valeurs et de retrouver très rapidement la valeur associée à une clef. L'algorithme pour la retrouver est basé sur un arbre de hashage, qui est naturellement fondé sur la notion de hashcode. Une ArrayList n'est que List (une collection d'éléments accessible par leur index) qui utilise un tableau comme stockage interne. Il n'y a pas de notion particulièrement orienté "recherche" même si ce type de méthode existe. Pour une collection orienté "qui contient" performant, on préférera un HashSet.

[BBric]

Ok; c'est logique dans l'implémentation mais dans la frénésie de l'utilisation ça peut se perdre vu que de manière sémantique ça sous-entend la même chose.
Merci pour les explications.