[Java知识库]Java泛型

1 什么是泛型

java推出泛型前，程序员可以构建一个object类型的集合，但是在使用时需要明确知道每个元素的类型，否则容易造成ClassCastException。
Java泛型时JDK5中引入的一个新特性，泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数。
泛型的好处是，类型安全，消除了类型的强制转换。

2 泛型类、接口

2.1 泛型类

2.1.1 泛型类的定义语法

class  类名<泛型标识，泛型标识，...>{
	private 泛型标识 变量名；
	......
}

2.1.2 常用的泛型标识

常用的泛型标识：T、E、K、V

2.1.3 注意事项

· 泛型类在创建对象时，没有指定类型，将按照Object类型来操作。
· 泛型类不支持基本数据类型
· 同一泛型类，根据不同的数据类型创建的对象，本质上是同一类型。

2.2 从泛型类派生子类

2.2.1 子类也是泛型类，子类和父类的泛型标识要一致

class ChildGeneric<T> extends Generic<T>  正确
class ChildGeneric<T, E> extends Generic<T> 正确
class ChildGeneric<E> extends Generic<T>  错误

2.2.2 子类不是泛型类，父类要明确泛型的数据类型

class ChildGeneric extends Generic<String>  正确
class ChildGeneric extends Generic<T>  错误

2.3 泛型接口

2.3.1 泛型接口的定义语法

interface 接口名称 <泛型标识，泛型标识，....>{
	泛型标识 方法名();
	......
}

2.3.2 使用泛型接口

· 实现类不是泛型类，接口要明确数据类型，否则默认是Object类型
· 实现类也是泛型类，实现类和接口的泛型类型要一致或者包含

2.4 泛型方法

2.4.1 泛型方法的语法

修饰符 <T，E，....> 返回值类型 方法名（形参列表）{
	方法体 ......
}
· public与返回值中间<T，E，...>非常重要，可以理解为声明此方法为泛型方法。
· 只有声明了<T,，E，...>的方法才是泛型方法，泛型类中使用了泛型成员的方法并不是泛型方法。
· <T，E，...>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型T。
· 与泛型类的定义一样，此处T可以随意写成任意标识，常见的如T，T，E，K，V等形式的参数用于标识泛型。

2.4.2 泛型方法的使用

package com.example.wx.appbackend.utils;

import java.util.ArrayList;

/**
 * 泛型类
 * @param <T>
 */
public class Product<T> {
    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }

    /**
     * 定义泛型方法
     * @param list 参数
     * @param <E> 泛型标识，具体类型由调用方法时指定
     * @return E
     */
    public  <E> E getProduct(ArrayList<E> list){
        return list.get(0);
    }
	
	/**
     * 泛型方法2
     * @param list
     * @param <T>
     * @return T
     * 注意：即使泛型方法与泛型类的标识符相同，也不会影响泛型方法的使用，二者互不影响
     */
    public  <T> T getProduct1(ArrayList<T> list){
        return list.get(0);
    }
}

2.4.3 泛型方法与可变参数

/**
     * 可变参数的泛型方法
     * @param e
     * @param <E>
     */
    public <E> void print(E...e){
        for (E e1:e ) {
            System.out.println(e1.toString());
        }
    }

2.5 类型通配符

2.5.1 什么时类型通配符 ？

类型通配符一般是使用"?"代替具体的类型实参。所以，类型通配符时类型实参，而不是类型形参。

2.5.2 类型通配符的上限

1 语法
	类/接口<? extends 实参类型>
	要求该泛型的类型只能是实参类型，或者实参类型的子类类型。
2 举例 
	三个类，祖父类，父类，子类，通配符 <? extends 父类> 
	此时，调用方法传祖父类会报错，只能传父类，子类。

2.5.3 类型通配符的下限

1 语法
	类/接口<? super 实参类型>
	要求该泛型的类型只能是实参类型，或者实参类型的父类类型。
2 举例 
	三个类，祖父类，父类，子类，通配符 <? super 父类>
	此时，调用通配符的方法时，只能传父类和祖父类，传子类会报错。

2.6 类型擦除

2.6.1 概念

泛型是java1.5引进的概念，在这之前那是没有泛型，不过泛型能很好的之前的版本进行兼容。因为泛型信息只存在与代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉。我们称之为类型擦除。

2.6.2 举例

待续。。。