Question

java学习，泛型方法的泛型参数的判断问题。谢谢~

如下的程序，介绍泛型方法的，有个疑问： fromArrayToCollection 方法有两个T类型形参，名为a的T类型数组和一个T类型对象组成的Collection集合c。那在下面的程序里，在传入（ia, cn）参数时，ia的类型是Integer，cn的类型是Number， 这两个的类型不一样，程序怎么判断泛型参数是哪种呢？
public class GenericMethodTest

{
// 声明一个泛型方法，该泛型方法中带一个T类型形参，
static <T> void fromArrayToCollection(T[] a, Collection<T> 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<Number> cn = new ArrayList<>();
// 下面代码中T代表Number类型
fromArrayToCollection(ia, cn);
// 下面代码中T代表Number类型
fromArrayToCollection(fa, cn);
// 下面代码中T代表Number类型
fromArrayToCollection(na, cn);
}
}
补充，如下的程序，系统就无法判断泛型参数的类型：
public class ErrorTest
{
static <T> void test(Collection<T> from, Collection<T> to)
{
for (T ele : from)
{
to.add(ele);
}
}
public static void main(String[] args)
{
List<Object> as = new ArrayList<>();
List<String> ao = new ArrayList<>();
// 下面代码将产生编译错误，系统无法判断泛型参数T是Object还是String类型
test(as , ao);
}
}

Answer 1

这个问题,表示楼主 蛮有专研精神的

编译器判断范型方法的实际类型参数的过程称为类型推断。

我们从eclipse 里面可以看到 ,显示此时的实际调用代码是 

fromArrayToCollection(Number[] a, Collection<Number> c)

泛型类型推断有个重要的规则:

当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，如果调用方法时这多处的实际应用类型对应到了不同的类型，且没有使用返回值，这时候取多个参数中的最大交集类型

这种泛型, 我建议使用 限定通配符 显式的标识 关系 <T extends Number>

	// 声明一个泛型方法，该泛型方法中带一个T类型形参，
	static <T extends Number> void fromArrayToCollection(T[] a,Collection<T> c){
		for (T o : a){
			c.add(o);
		}
	}

追问

那为什么 下面那个 ErrorTest ，系统不会取 Object类型作为泛型参数呢？