泛型方法的不同行为将值返回给方法和赋值

时间:2014-03-16 15:05:33

标签: java generics variable-assignment argument-passing generic-method

我面对代码,编译结果让我感到惊讶。

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



class A{

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

    public static void main(String[] args){
        f(Test3.map()) //not valid
        Map<String,Integer> m = Test3.map();//valid

    }
}

总是我认为如果我将值传递给方法,则意味着方法参数分配给传递的值。

批准是否错误?

1 个答案:

答案 0 :(得分:10)

<强>校正:

您对Test3.map()的使用不提供类型参数,编译器无法推断类型参数。 The JLS says the following when failing to infer type arguments

  

然后,尚未推断出任何剩余的类型变量T   推断为类型为Object

所以方法调用看起来像

Map<Object, Object> object = Test3.map(); 
f(object); //not valid

由编译器的错误消息确认:

  

不兼容的类型:java.util.Map<java.lang.Object,java.lang.Object>无法转换为java.util.Map<java.lang.String,java.lang.Integer>

泛型类型参数默认为Object

您可以通过指定类型参数

来修复它
f(Test3.<String, Integer>map()); // valid