- 1、什么是泛型
- 2、泛型的使用
- 泛型类
- 泛型方法
- 3、泛型类的继承关系
- 4、通配符(?)
- 1、使用背景
- 2、通配符的使用
- 3、与其他参数类型(T)等的区别
- 区别一
- 区别二
泛型是一种特殊的类型。你不用一开始就指明参数的具体类型,而是先定义一个类型变量,在使用的时候再确定参数的具体类型。
泛型让程序在编译时,就可以发现一些错误,比如不可向存储字符串的List添加数字,加强了程序的安全性与健壮性。
泛型的使用有两个方面
- 泛型类
- 泛型方法
可以自定义一个泛型类,或者继承一个泛型类,再将类声明为泛型类。
class Box泛型方法{ T matter; public T getMatter() { return matter; } } ======================================= class Student extends Person { T matter; public T getMatter() { return matter; } }
publicvoid print(T tmp){ System.out.println(tmp); }
PS:
- 类型参数T必须是引用类型
- 泛型类的类型参数在创建对象时确定,所以在泛型类的静态方法上无法使用泛型,但是可以使用静态泛型方法。
- 不可以创建类型参数T的数组,eg:T[] array = new T[]这是错误的
- java的泛型体现在编译阶段,在运行时,实际上会执行类型擦除,将原生类型装入类加载器。
泛型擦除:编译后,将泛型信息擦除。ArrayList< String >擦除后变成了 ArrayList,参数类型T变成了Object对象
证明:
System.out.println(new ArrayList3、泛型类的继承关系()); 输出 java.util.ArrayList。可以看见class对象擦除了泛型信息
代码验证:如果存在继承关系,子类就可以向上转型
List
PS:在编译器看来 List
总结:泛型类的继承关系不由参数类型决定。
4、通配符(?) 1、使用背景假设存在两个List,List< Cat >,List< Dog >,假设现在要对两个List进行操作,如果不使用通配符就要写两个方法
public void control(listl) public void control(list l)
但是使用了通配符就可以实现类似多态的效果。
public void control(list> l)2、通配符的使用
在使用通配符 ?之前,先了解一下通配符?的意思:?表示所有Java引用类型
通配符的使用有三种情况
- 无界通配符:?,表示所有对象
- 上界通配符:? extends Class/Interface,表示Class对象及其子类
- 下界通配符:? super Class/Interface,表示Class对象及其父类
还是以上面的list举例:
无界通配符:public void control(list> l)
这样的话任何对象都可以被操作,但是如果我们只想让动物类被操作,该怎么办呢?
由此,我们引进了上界通配符public void control(list extends Animal> l)
同理,如果我们只要操作猫科动物,那么只需要使用下界通配符public void control(list super Cat> l)
注意:List> list只能用来接收数据,不可以添加数据。验证:
List> list = new ArrayList<>(); list.add(2);3、与其他参数类型(T)等的区别
区别一常用的 T,E,K,V,?
本质上这些个都是通配符,没啥区别,只不过是编码时的一种约定俗成的东西。比如上述代码中的 T ,我们可以换成 A-Z 之间的任何一个 字母都可以,并不会影响程序的正常运行,但是如果换成其他的字母代替 T ,在可读性上可能会弱一些。通常情况下,T,E,K,V,?是这样约定的:
?表示不确定的 java 类型
T (type) 表示具体的一个java类型
K V (key value) 分别代表java键值中的Key Value
E (element) 代表Element
?和 T 都表示不确定的类型,区别在于我们可以对 T 进行操作,但是对 ?不行,比如如下这种 :
// 可以 T t = operate(); // 不可以 ?car = operate();
简单总结下:
T 是一个 确定的 类型,通常用于泛型类和泛型方法的定义,?是一个 不确定 的类型,通常用于泛型方法的调用代码和形参,不能用于定义类和泛型方法。
区别二类型参数可以实现多重限定,而通配符不行
验证:
publicvoid print(T tmp){ System.out.println(tmp); } ====================================================================== public void p(List extends Comparable & Serializable> list){}
注意:使用多重限定时,除了第一个对象可以是类或接口,其他对象必须是接口类型,验证:
publicvoid print(T tmp){ System.out.println(tmp); }



