Параметрированный класс с параметризованным методом

Question

public class ExplicitTypeSpecification { 

    static void f(Map<Integer, String> map){} 

    public static void main(String[] args){ 
     New c = new New(); 
     f(c.map()); 
    } 
} 

class New <K, V>{ 
    Map<K, V> map(){ 
     return new HashMap<K, V>(); 
    } 
} 

Этот код компилируется без ошибок.

Затем мы делаем некоторые изменения в классе новых:

class New { 
    <K, V>Map<K, V> map(){ 
     return new HashMap<K, V>(); 
    } 
} 

Мы параметрироваться только метод map(), но не весь класс. Но в этом случае ошибка компиляции в встречается, линии f(c.map());:

java: f(java.util.Map<java.lang.Integer,java.lang.String>) in 
Generics.ExplicitTypeSpecification.ExplicitTypeSpecification cannot be applied to 
(java.util.Map<java.lang.Object,java.lang.Object>)* 

Мы можем указать явные типы f(c.<Integer, String>map()); но я заинтересован в Почему мы получим ошибку компиляции?.

В обоих случаях метод map() возвращает Map<Object, Object> объект, но в первом случае мы получаем только предупреждение о непроверенной задаче.

Вопрос: почему во втором случае у нас более строгий контроль типа?

Что такое dirrefence между new HashMap() и новыми HashMap<Object, Object>()? Ответ на эту проблему решает.

Answer 1

В первом случае вы используете необработанный тип New (а не New<Integer, String>), поэтому вся общая проверка типов отключена. Это работает как режим совместимости для старого (Java 1.4) кода.

Answer 2

Если вы не укажете параметры типа, обратная совместимость с Java 1.4 предположит, что вы хотите «Объект». Кроме того, вы получите предупреждение об этом.

Так что ваша функция эквивалентна:

public static void main(String[] args){ 
    New c = new New(); 
    f(c.<Object, Object>map()); 
} 

И тогда вы получите ошибку о том, что вы пытаетесь использовать значение Map<Object, Object>, где параметр Map<Integer, String> ожидается.

Примечание: Map<Integer, String> является не a подтип Map<Object, Object>.