一、泛型接口:

接口

二、泛型方法

原则上,能够使用泛型方法的时候就尽量避免使用泛型类,这会使你的代码看上去更加清楚。另外,如果 static 方法需要使用泛型,只能使用泛型方法。泛型方法的使用方法就是将泛型参数置于返回值之前:

方法

三、泛型擦除

1.擦除

在泛型代码内部,无法获取任何有关泛型参数的信息,比如你无法知道你的参数类型有那些成员和构造函数等。只能在静态类型检查期间感觉到泛型类型的存在,而在运行时,所有的泛型类型都被替换为上界类型。例如 List 擦除为 List,所有 T 都被替换为 Object。(如下)

代码

结果

2.擦除痕迹

JDK5 之后,字节码中虽然进行了类型擦除,但还保留了类型参数的信息,只是这里保留的是源码里写的类型参数信息,例如你用的保留的就是 T,并不是保留运行时的实际类型。Java 的泛型规律是:①位于声明一侧,源码里写了什么运行时就能看到什么。②位于使用一侧,源码里写了什么运行时都丢失了。所谓声明一侧包括,泛型类型(泛型类与泛型接口)声明、带有泛型参数的方法和域的声明,这些信息在 class 文件中都有保留。

例子

结果

3、擦除代价

①不能在静态成员中引用封闭类型参数,在对象没有创建的时候,我们并不能确定 T 的类型,因此类的泛型类型参数不能作用与静态成员。

②泛型的类型不能是基本类型,泛型参数编译后都被擦除为 Object,而 Object 是不能存储基本类型 int, double, float 等值的

③无法对类型参数使用 instanceof:由于泛型参数类型在运行时都被擦除为 Object,泛型类型都被擦除为原始类,因此 obj instanceof T 和 obj instanceof ArrayList, 这种使用方式都会导致编译不通过

④ 不能直接使用 new 实例化类型参数

⑤不能同时继承同一个泛型接口的两个变种

⑥方法重载参数列表唯一

⑦无法使用泛型数组