泛型

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 extends Generic
- 子类不是泛型类，父类要明确泛型的数据类型
class ChildGeneric extends Generic

泛型接口

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

泛型接口的使用

- 实现类不是泛型类，接口要明确数据类型
- 实现类是泛型类，实现类和接口的泛型类要一致

4.泛型方法

修饰符  返回类型 方法名（形参列表）{
方法体...
}

泛型方法与可变参数--...代表可变参数，可以接受数组

public static  void print(E... e){
      for (int i=0;i void printType(T t,E e,K k){
    System.put.println(t + "\t" + t.getClass().getSimpleName());
}

5.泛型通配符

什么是类型通配符？

- 类型通配符一般是“?”代替具体的类型实参
- 类型通配符是类型实参，不是类型形参

类型通配符上限

类/接口 
要求该泛型的类型，只能是实参类型，或者实参类型的子类；

类型通配符下限

类/接口 
要求该泛型的类型，只能是实参类型，或者实参类型的父类；

6.泛型擦除

泛型是java 1.5才引入的概念。
泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为类型擦除。

image.png

image.png

image.png

7.泛型和数组

泛型数组的创建

• 可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象
• 可以通过java.long.reflect.Array的newInstance(Class ,int)创建T[]数组

8.泛型和反射

反射常用的泛型类

• Class
• Constructor

反射实现的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