如下的程序,介绍泛型方法的,有个疑问: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);
}
}
展开