如下的程序,介绍泛型方法的,有个疑问:fromArrayToCollection方法有两个T类型形参,名为a的T类型数组和一个T类型对象组成的Collection集合c。那在下面的程序里,在传入(ia,cn)参数...
如下的程序,介绍泛型方法的,有个疑问: fromArrayToCollection 方法有两个T类型形参,名为a的T类型数组和一个T类型对象组成的Collection集合c。那在下面的程序里,在传入(ia, cn)参数时,ia的类型是Integer,cn的类型是Number, 这两个的类型不一样,程序怎么判断泛型参数是哪种呢?
public class GenericMethodTest
{
// 声明一个泛型方法,该泛型方法中带一个T类型形参,
static void fromArrayToCollection(T[] a, Collection c)
{
for (T o : a)
{
c.add(o);
}
}
public static void main(String[] args)
{
Integer[] ia = new Integer[100];
Float[] fa = new Float[100];
Number[] na = new Number[100];
Collection cn = new ArrayList<>();
// 下面代码中T代表Number类型
fromArrayToCollection(ia, cn);
// 下面代码中T代表Number类型
fromArrayToCollection(fa, cn);
// 下面代码中T代表Number类型
fromArrayToCollection(na, cn);
}
}
补充,如下的程序,系统就无法判断泛型参数的类型:
public class ErrorTest
{
static void test(Collection from, Collection to)
{
for (T ele : from)
{
to.add(ele);
}
}
public static void main(String[] args)
{
List as = new ArrayList<>();
List ao = new ArrayList<>();
// 下面代码将产生编译错误,系统无法判断泛型参数T是Object还是String类型
test(as , ao);
}
}
展开
本文探讨了Java泛型方法中类型参数的自动推断机制。重点分析了当泛型方法形参为不同类型的数组与集合时,如何通过上下文确定具体类型。并通过对比无法正确推断类型的案例,说明了正确使用泛型的重要性。
164

被折叠的 条评论
为什么被折叠?



