前言
泛型是不可变——即对于任何2个不同类型的type1和type2，List
即不是List 的子类型，也不是List 的超类型。（《effective java》第25条 ） 所以，Fruit和Apple虽是父子关系，但作为2个不同的类型，List 和List 之间没有继承关系，所以2者之间无法转化。
Java 泛型
泛型，只在编译阶段有效。在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。
也就是说，泛型信息不会进入到运行时阶段。
泛型类型在逻辑上看以看成是多个不同的类型，实际上都是相同的基本类型
- 泛型有三种使用方式，分别为：泛型类、泛型接口、泛型方法
- 泛型的类型参数只能是类类型（包括自定义类），不能是简单类型
- 泛型标识T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。
public class Generic<T> {
//key这个成员变量的类型为T,T的类型由外部指定
private T key;
public Generic(T key) { //泛型构造方法形参key的类型也为T，T的类型由外部指定
this.key = key;
}
public T getKey() { //泛型方法getKey的返回值类型为T，T的类型由外部指定
return key;
}
}
- 泛型接口
/**
* 未传入泛型实参时，与泛型类的定义相同，在声明类的时候，需将泛型的声明也一起加到类中
* 即：class FruitGenerator<T> implements Generator<T>{
* 如果不声明泛型，如：class FruitGenerator implements Generator<T>，编译器会报错："Unknown class"
*/
class FruitGenerator<T> implements Generator<T>{
@Override
public T next() {
return null;
}
}
/**
* 传入泛型实参时：
* 定义一个生产器实现这个接口,虽然我们只创建了一个泛型接口Generator<T>
* 但是我们可以为T传入无数个实参，形成无数种类型的Generator接口。
* 在实现类实现泛型接口时，如已将泛型类型传入实参类型，则所有使用泛型的地方都要替换成传入的实参类型
* 即：Generator<T>，public T next();中的的T都要替换成传入的String类型。
*/
public class FruitGenerator implements Generator<String> {
private String[] fruits = new String[]{"Apple", "Banana", "Pear"};
@Override
public String next() {
Random rand = new Random();
return fruits[rand.nextInt(3)];
}
}
泛型通配符
类型通配符一般是使用
?代替具体的类型实参，注意了，此处?是类型实参，而不是类型形参 。此处的 ? 和Number、String、Integer一样都是一种实际的类型，可以把 ? 看成所有类型的父类。是一种真实的类型。
可以解决当具体类型不确定的时候，这个通配符就是 ? ；当操作类型时，不需要使用类型的具体功能时，只使用Object类中的功能。那么可以用 ? 通配符来表示未知类型。泛型类，是在实例化类的时候指明泛型的具体类型；泛型方法，是在调用方法的时候指明泛型的具体类型 。
/**
* 泛型方法的基本介绍
* @param tClass 传入的泛型实参
* @return T 返回值为T类型
* 说明：
* 1）public 与 返回值中间<T>非常重要，可以理解为声明此方法为泛型方法。
* 2）只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
* 3）<T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
* 4）与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。
*/
public <T> T genericMethod(Class<T> tClass)throws InstantiationException ,
IllegalAccessException{
T instance = tClass.newInstance();
return instance;
}
- 类中的泛型方法
class GenerateTest<T> {
public void show_1(T t) {
System.out.println(t.toString());
}
//在泛型类中声明了一个泛型方法，使用泛型E，这种泛型E可以为任意类型。可以类型与T相同，也可以不同。
//由于泛型方法在声明的时候会声明泛型<E>，因此即使在泛型类中并未声明泛型，编译器也能够正确识别泛型方法中识别的泛型。
public <E> void show_3(E t) {
System.out.println(t.toString());
}
//在泛型类中声明了一个泛型方法，使用泛型T，注意这个T是一种全新的类型，可以与泛型类中声明的T不是同一种类型。
public <T> void show_2(T t) {
System.out.println(t.toString());
}
}
- 静态方法无法访问类上定义的泛型；如果静态方法操作的引用数据类型不确定的时候，必须要将泛型定义在方法上。
即：如果静态方法要使用泛型的话，必须将静态方法也定义成泛型方法。
public class StaticGenerator<T> {
/**
* 如果在类中定义使用泛型的静态方法，需要添加额外的泛型声明（将这个方法定义成泛型方法）
* 即使静态方法要使用泛型类中已经声明过的泛型也不可以。
* 如：public static void show(T t){..}, 此时编译器会提示错误信息：
"StaticGenerator cannot be refrenced from static context"
*/
public static <T> void show(T t) {
}
}
- 泛型上下边界（泛型的上下边界添加，必须与泛型的声明在一起）
在使用泛型的时候，我们还可以为传入的泛型类型实参进行上下边界的限制，如：类型实参只准传入某种类型的父类或某种类型的子类。
即：传入的类型实参必须是指定类型的子类型
public void showKeyValue1(Generic<? extends Number> obj){
Log.d("泛型测试","key value is " + obj.getKey());
}
public class Generic<T extends Number>{
private T key;
public Generic(T key) {
this.key = key;
}
public T getKey(){
return key;
}
}
//在泛型方法中添加上下边界限制的时候，必须在权限声明与返回值之间的<T>上添加上下边界，即在泛型声明的时候添加
//public <T> T showKeyName(Generic<T extends Number> container)，编译器会报错："Unexpected bound"
public <T extends Number> T showKeyName(Generic<T> container){
System.out.println("container key :" + container.getKey());
T test = container.getKey();
return test;
}
- 不能创建一个确切的泛型类型的数组
- 可以采用通配符的方式，创建一个泛型类型的数组。因为对于通配符的方式，最后取出数据是要做显式的类型转换的
阿里巴巴泛型通配符规约的要求
【强制】 泛型通配符来接收返回的数据，此写法的泛型集合不能使用 add 方 法，而不能使用 get 方法，作为接口调用赋值时易出错。
说明：扩展说一下 PECS(Producer Extends Consumer Super)原则：
第一、 频繁往外读取内容的，适合用。
第二、 经常往里插入的，适合用
泛型通配符 PECS(Producer Extends Consumer Super)原则：
- 1.在JAVA的泛型集合中，默认都可以添加null。
- 2.以
?声明的集合，不能往此集合中添加元素，所以它只能作为生产者(亦即它只能被迭代)。 - 3.频繁往外读取内容的[生产者（Producer）]，只读，适合用。
- 4.经常往里插入内同的[消费者（Consumer）]，只写，适合用。
- 5.如果一个泛型集合即要生产，又要消费，则不能使用泛型通配符声明集合。
注意事项：
- 1.泛型通配符 用来接收返回的数据，此写法的泛型集合不能使用 add 方法。
- 2.泛型通配符 用来写入数据，此写法的泛型集合不能使用 get 方法，作为接口调用赋值时易出错。
PECS 原则的实现可以参考
java.util.Collections.copy(List, List)方法。
还可以参考 GenericWildcardSample.java 示例
评论区