Genéricos de Java: ¿Por qué Map.get() Ignora el tipo?

Question

En Java, la interfaz del mapa se define como,

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

Por qué no?

V get(K key); 

Acabo de tropezar con un error desagradable porque se usa una clave de tipo incorrecta. Pensé que el objetivo de los genéricos es detectar el error de tipo temprano durante la compilación. ¿Esto derrota ese propósito?

Answer 1

Kevin Bourrillion blogged about this hace un tiempo. Resumen:

De manera uniforme, los métodos del Marco de Java Colecciones (y el Google Colecciones Biblioteca también) nunca se restringir los tipos de sus parámetros excepto cuando es necesario para prevenir la colección de conseguir roto.

Personalmente, no soy partidario de ese enfoque, pero tiene cierto sentido dado el enfoque de varianza que también se ha tomado.

Answer 2

Para agregar a @subtenante, Java está diseñado para que Java siempre sea compatible con versiones anteriores. Los genéricos no permiten las puts del tipo incorrecto, ya que esto no rompe la compatibilidad con versiones anteriores. La manera fácil de asegurarse de que se está utilizando la clave correcta es hacer esto.

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); 

Problema resuelto.
Una advertencia más para los genéricos, cualquier hijo de una clase también se puede colocar en una colección.

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) 
..... 

Esto podría causar algunos errores grandes !!

Answer 3

un objeto de un tipo puede ser .equals() para un objeto de otro tipo. get() solo requiere que el objeto que le proporcione sea .equals() con la clave que obtiene