1.什么是泛型?
泛型:把类型明确的工作推迟到**创建对象或调用方法**的时候才去明确的特殊的类型
Java泛型设计原则:只要在**编译时期**没有出现警告,那么运行时期就不会出现ClassCastException异常.
2.为什么需要泛型?
早期Java是使用Object来代表任意类型的,但是向下转型有强转的问题,这样程序就不太安全。
首先,我们来试想一下:没有泛型,集合会怎么样
- Collection、Map集合对元素的类型是没有任何限制的。本来我的Collection集合装载的是全部的Dog对象,
但是外边把Cat对象存储到集合中,是没有任何语法错误的。
- 把对象扔进集合中,集合是不知道元素的类型是什么的,仅仅知道是Object。因此在get()的时候,返回的是Object。外边获取该对象,还需要强制转换
有了泛型以后:
- 代码更加简洁【不用强制转换】
- 程序更加健壮【只要编译时期没有警告,那么运行时期就不会出现ClassCastException异常】
- 可读性和稳定性【在编写集合的时候,就限定了类型】
3.泛型类、接口
泛型类就是把泛型定义在类上,用户使用该类的时候,才把类型明确下来
class 类名称 <泛型标识,泛型标识,...> {
private 泛型标识 变量名;
... ...
}
常用泛型标识:T、E、K、V
泛型类注意事项:
- 泛型类,如果没有指定具体的数据类型,此时,操作类型是Object
- 泛型的类型参数只能是类类型,不能是基本数据类型
- 泛型类型在逻辑是可以看成是多个不同的类型,但实际上都是相同的类型
从泛型类派生子类
- 子类也是泛型类,子类和父类的泛型类型要一致
class CHildGeneric<T> extends Generic<T>
- 子类不是泛型类,父类要明确泛型的数据类型
class ChildGeneric extends Generic<String>
泛型接口
interface 接口名称 <泛型标识,泛型标识,...>{
泛型标识 方法名;
... ...
}
泛型接口的使用
- 实现类不是泛型类,接口要明确数据类型
- 实现类是泛型类,实现类和接口的泛型类要一致
4.泛型方法
修饰符 <T,E,...> 返回类型 方法名(形参列表){
方法体...
}
泛型方法与可变参数--...代表可变参数,可以接受数组
public static <E> void print(E... e){
for (int i=0;i<e.length;i++){
System.out.print(e[i])
}
}
泛型方法总结:
- 泛型方法能使方法独立于类而产生变化
- 如果static方法要使用泛型能力,就必须使其成为泛型方法
public static <T,E,K> void printType(T t,E e,K k){
System.put.println(t + "\t" + t.getClass().getSimpleName());
}
5.泛型通配符
什么是类型通配符?
- 类型通配符一般是“?”代替具体的类型实参
- 类型通配符是类型实参,不是类型形参
类型通配符上限
类/接口 <? extends 实参类型>
要求该泛型的类型,只能是实参类型,或者实参类型的子类;
类型通配符下限
类/接口 <? super 实参类型>
要求该泛型的类型,只能是实参类型,或者实参类型的父类;
6.泛型擦除
泛型是java 1.5才引入的概念。
泛型信息只存在于代码编译阶段,在进入JVM之前,与泛型相关的信息会被擦除掉,我们称之为类型擦除。
7.泛型和数组
泛型数组的创建
- 可以声明带泛型的数组引用,但是不能直接创建带泛型的数组对象
- 可以通过java.long.reflect.Array的newInstance(Class <T> ,int)创建T[]数组
8.泛型和反射
反射常用的泛型类
- Class<T>
- Constructor<T>
反射实现的3中方式:
第一种:通过Object类的getClass方法
Class cla = foo.getClass();
第二种:通过对象实例方法获取对象
Class cla = foo.class;
第三种:通过Class.forName方式
Class cla = Class.forName("xx.xx.Foo");
对应视屏教程:
https://www.bilibili.com/video/BV1xJ411n77R?p=13
参考:https://segmentfault.com/a/1190000014120746#item-4-5
https://blog.csdn.net/wfk2975019671/article/details/90604294