Java-Generics: Warum ignoriert Map.get() den Typ?

Question

In Java wird die Map-Schnittstelle als definierte

public interface Map<K,V> { 
    ... 
    V get(Object key); 
    ... 
} 

Warum nicht?

V get(K key); 

Ich stieß gerade in einen bösen Fehler, weil falscher Typschlüssel benutzt wurde. Ich dachte, der Zweck der Generika bestünde darin, den Typfehler früh während des Kompilierens abzufangen. Schafft das diesen Zweck?

Answer 1

Kevin Bourrillion blogged about this vor einer Weile. Zusammenfassung:

Einheitlich, Methoden der Java Collections Framework (und die Google Sammlungen Bibliothek zu) nie die Typen ihrer Parameter außer beschränken, wenn es notwendig ist die Sammlung von zu Bruch zu verhindern.

Persönlich bin ich kein Fan von diesem Ansatz, aber es macht einen Sinn angesichts der Varianz-Ansatz, der auch genommen wurde.

Answer 2

Um @subtenante hinzuzufügen, ist Java so konzipiert, dass Java immer abwärtskompatibel ist. Generics verbieten Puts vom falschen Typ, da dies die Abwärtskompatibilität nicht beeinträchtigt. Der einfache Weg, um sicherzustellen, dass der richtige Schlüssel verwendet wird, ist dies zu tun.

K key = null; 
V value = null; 

Map<K,V> mapped = new HashMap<K,V>() 
.......//set the key and value.......... 
mapped.put(key, value) 
..... 
V var = mapped.get(key); 

Problem gelöst.
Noch ein Vorbehalt für Generika, jedes Kind einer Klasse kann auch in einer Sammlung platziert werden.

Number k= null; 
Number v= null; 

Map<Number,Number> mapped = new HashMap<Number,Number>() 
.......//set the key and value.......... 
k = double someDouble; 
v = int someInt; 
mapped.put(k, v) 
..... 

Dies könnte einige große Bugs verursachen !!

Answer 3

Ein Objekt eines Typs kann .equals() für ein Objekt eines anderen Typs sein. get() erfordert nur, dass das Objekt, das Sie es geben .equals() zu dem Schlüssel, den Sie erhalten