T和?,首先要区分开两种不同的场景:
声明一个泛型类或泛型方法。
使用泛型类或泛型方法。
泛型的好处如下所述:
基础版本(无泛型):
public void write(Integer i, Integer[] ia);
public void write(Double d, Double[] da);
泛型版本:
public <T> void write(T t, T[] ta);
定义泛型
1 定义泛型类:
// 定义泛型 T和S,且S继承T
public class TestClassDefine<T, S extends T> {
...
}
2 定义泛型方法:
// 泛型定义在返回值之前。定义泛型T和S,且S继承T。
public <T, S extends T> T testGenericMethodDefine(T t, S s) {
}
实例化泛型
1 实例化泛型类
声明类变量或者实例化时:
// 声明类变量或者实例化时
List<String> list;
list = new ArrayList<String>;
继承类或者实现接口时:
public class MyList<E> extends ArrayList<E> implements List<E> {...}
2 实例化泛型方法
当调用范型方法时,编译器自动对类型参数(泛型)进行赋值,当不能成功赋值时报编译错误
通配符(?)
上面有泛型的定义和赋值;当在实例化时,泛型都要是具体类型,当赋值的类型不确定时(例如某类的子类),我们需要使用通配符(?)代替了:
例如:
List<?> unknownList;
List<? extends Number> unknownNumberList;
List<? super Integer> unknownBaseLineIntgerList;
在Java集合框架中,对于参数值是未知类型的容器类,只能读取其中元素,不能向其中添加元素, 因为,其类型是未知,所以编译器无法识别添加元素的类型和容器的类型是否兼容,唯一的例外是NULL