如下面源代码,为什么前面要加上<T>呢?
private <T> List<T> cashFutures(List<Future<T>> futures) {
List<T> values = new ArrayList<T>();
for (Future<T> future : futures) {
try {
values.add(future.get());
} catch (Exception e) {
throw new IllegalStateException(e);
}
}
return values;
}
网友答案---------------------------------分割线---------------------------------------
import java.util.*;
class Fruit { public String toString() { return "Fruit"; } }
class Apple extends Fruit { public String toString(){ return "Apple"; } }
class Person { public String toString(){ return "Person"; } }
class ClassName<T> {//主类,把你文件名改成ClassName.java
void show_1(T t){
System.out.println("show_1 "+ t.toString());
}
<E> void show_2(E e){
System.out.println("show_2 "+e.toString());
}
<T> void show_3(T t){
System.out.println("show_3 "+t.toString());
}
public static void main(String[] args) {
ClassName<Fruit> o = new ClassName<Fruit>();
Fruit f = new Fruit();
Apple a = new Apple();
Person p = new Person();
System.out.println("show_1 演示________________________");
o.show_1( f );
o.show_1( a );
// o.show_1( p ); 楼主把这行代码去掉注释看一下,是不能编译通过的。因为在
// ClassName<Fruit>中已经限定了全局的T为Fruit,所以不能再加入Person;
System.out.println("show_2 演示________________________");
o.show_2( f );
o.show_2( a );
o.show_2( p );
System.out.println("show_3 演示________________________");
o.show_3( f );
o.show_3( a );
o.show_3( p );
}
}
程序输出:
show_1 演示________________________
show_1 Fruit
show_1 Apple
show_2 演示________________________
show_2 Fruit
show_2 Apple
show_2 Person
show_3 演示________________________
show_3 Fruit
show_3 Apple
show_3 Person
而show_2 和show_3方法其实是完完全全等效的。意思就是说ClassName<T>中一旦
T被指定为Fruit后那么show_1没有前缀<T> 的话,该方法中只能是show_1 (Fruit对象)
而你要是有前缀<T>或<E>的话,那么你就是告诉编译器对它说:这是我新指定的一个类型,
跟ClassName<T>类对象中的T没有半毛钱的关系。也就是说这个show_3中的T和show_2中的
E是一个效果,也就是你可以把show_3同等程度地理解为<E> void show_3(E e){~~~~~}
从上面我说的看,那就是 这个方法返回值前也加个<T>的话,这个T就代表该方法自己独有的某个类,而不去和类中限定的T产生冲突,你直接换成<E>会更容易理解的
自我总结---------------------------------分割线---------------------------------------
ArrayList.java源代码
public <T> T[] toArray(T[] a) {
if (a.length < size)
// Make a new array of a's runtime type, but my contents:
return (T[]) Arrays.copyOf(elementData, size, a.getClass());
System.arraycopy(elementData, 0, a, 0, size);
if (a.length > size)
a[size] = null;
return a;
}
由于普遍采用T代表type,例如在List<T> list = new ArrayList<T>();时,T指定了泛型类型
那么在ArrayList内部toArray(T[] a)中参数继续使用T作为type泛型时,默认会与ArrayList<T>中的T类型保持一致,这时如果在声明方法时加入<T>则表示本方法重新自定义泛型T、隐藏或者代替了ArrayList<T>中的T,与ArrayList<T>虽然同时使用T为标示,但是已经被隔离成两个完全不同的变量了。使用如下:
List<String> list = new ArrayList<String>();
String[] a={"1","1","1","1","1","1"};
list.toArray(a);
Integer[] b={1,1,1,1,1,1};
list.toArray(b);
Object[] c={new Object(),new Object(),new Object(),new Object(),new Object(),new Object()};
list.toArray(c);
那么,public <T> T[] toArray(T[] a)中,就可以自由的限制传入参数T[]与返回值T[]保持同样的类型,可以都是int数组、String数组或者其他Object数组,否则,只能和ArrayList<T>保持同种类型了,当ArrayList<String>时,就限定了只能是public String[] toArray(String[] a)了
使用效果与public A[] toArray(A[] a)是一样的,但是可能这样会扰乱阅读习惯(毕竟大家都习惯T代表type),就在前边加了<T>,重新声明了变量T[],与ArrayList<T>做了隔离