--- theme: geek-black --- > 往期推荐 - [（三）HashMap详解](https://juejin.cn/post/6986140016695050276) - [（一）ArrayList详解](https://juejin.cn/post/6985163221694939150) - [（二）LinkedList详解](https://juejin.cn/post/6985417919177949220) - [Java集合框架](https://juejin.cn/post/6984959673166217229 "https://juejin.cn/post/6984959673166217229") - [线程池详解](https://juejin.cn/post/6977637282299936804 "https://juejin.cn/post/6977637282299936804") - [synchronized简介](https://juejin.cn/post/6978736144406020126 "https://juejin.cn/post/6978736144406020126") - [ThreadLocal，你掌握了吗?](https://juejin.cn/post/6979150800496885797 "https://juejin.cn/post/6979150800496885797") - [Java异常机制](https://juejin.cn/post/6980994901915729933 "https://juejin.cn/post/6980994901915729933") - [JDK8新特性之Stream流](https://juejin.cn/post/6983288243529711623 "https://juejin.cn/post/6983288243529711623") - [同学，你对volatile熟悉么?](https://juejin.cn/post/6984338259186810893 "https://juejin.cn/post/6984338259186810893") - [初识MySQL索引](https://juejin.cn/post/6984000130949054500 "https://juejin.cn/post/6984000130949054500") ### 什么是泛型 **泛型**就是`参数化类型`，也就是把所操作的类型看做为一个参数。 > 为什么需要泛型 - 在有泛型之前，我们可以创建一个存储Object类型的集合，该集合可以存储任何数据类型对象(8种基本类型除外)，在没有泛型的支持下，我们需要明确集合中存储的每一个元素的数据类型，否则，在程序中很容易出现ClassCastException类转换异常。 - 有了泛型之后，我们在创建一个集合的时候可以指定其存储的数据类型。如当我们创建一个只能存储String类型的ArrayList集合时，当我们往集合中添加Integer类型的数据时，就会编译不通过，保证了集合类型的安全，同时在取出集合数据时消除了类型的强制转换。 ### 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) 代表元素 ### 泛型类类是面向对象中最基础的元素，当我们在设计一个类时，不仅需要考虑类的属性和方法，还需要考虑类的`可扩展性`，泛型就给我们提高类的可扩展提供了实现。通过泛型我们可以完成对一组类的操作对外开放相同的接口，通过传入不同的数据类型，可以对相应类型的数据进行操作。 > 泛型类的定义 `[访问修饰符] class 类名<泛型标识> { }` - 泛型类例子： ``` /** * @Author GJY * @Date 2021/7/18 22:22 * @Version 1.0 * T 当我们创建GenericClass实例对象需要指定的具体数据类型 */ public class GenericClass { //name这个成员变量的类型为T,T的类型由我们实例化对象时指定 private T name; public T getName() { return name; } public void setName(T name) { this.name = name; } public static void main(String[] args) { GenericClass demo1 = new GenericClass<>(); demo1.setName("不喝奶茶的Programmer"); System.out.println(demo1.getName()); GenericClass demo2 = new GenericClass<>(); demo2.setName(212); System.out.println(demo2.getName()); } } ``` > 泛型类派生子类 - 如果继承于父类(泛型类)的**子类是泛型类**，那么**子类和父类的泛型类型需一致。** `class children extends GenericParent { }` - 如果继承于父类(泛型类)的**子类为非泛型类**，那么在子类在声明继承父类时**必须明确指定父类的泛型类型。** `class children extends GenenricParent { }` ### 泛型方法泛型类是我们在实例化类时指明泛型的具体类型，而泛型方法就是我们在调用方法时指明泛型的具体类型，**泛型方法能使方法独立于类而产生变化**。 > 泛型方法的定义 `[访问修饰符] 返回值类型方法名称 (形参列表) { }` > 注意 - 只有在方法的访问修饰符后面加了泛型标识才能标识该方法为一个泛型方法，比如上面泛型类中的`public T getName() { return name; }`并不是泛型方法。 > 泛型方法例子： ``` public class GenericClass { //使用泛型方法后，该方法就可以接收任何数据类型的参数 // 泛型标识，具体类型由调用该方法时具体指定 public static void genericMethod(T birthday){ System.out.println(birthday); } //采用多个泛型类型 public static void genericMethod2(T t,V v,E e){ System.out.println(t+"-"+v+"-"+e); } //泛型可变参数的定义 public static void GenericVariadic(T...t){ for (int i = 0; i < t.length; i++) { System.out.println(t[i]); } } public static void main(String[] args) { GenericClass.genericMethod(new Date()); GenericClass.genericMethod("1999-12-31"); //调用多个泛型类型的泛型方法 GenericClass.genericMethod2("不喝奶茶的Programmer",212,110); //泛型可变参数 GenericClass.GenericVariadic(1,2,3,4,5,"4"); } } ``` ### 泛型接口 > 泛型接口的定义 ``` interface 接口名称 <泛型标识,泛型标识....> { 泛型标识方法名称(); } ``` - 对应的实现`泛型接口`的`实现类`的定义： `class 实现类名称 [<泛型标识>] implements 接口名称 <泛型标识> { } ` > 注意 - 如果实现泛型接口的**实现类不是泛型类**，则在声明实现泛型接口时**必须明确指定泛型接口的泛型类型**。 ` class interfaceImpl implements GenericInterface { }` - 如果实现泛型接口的**实现类是泛型类**，则**实现类的泛型类型必须包含有接口泛型类的泛型类型**。 `class interfaceImpl implements GenericInterface { }` > 泛型接口例子： ``` //泛型接口 public interface GenericInterface { T method(T e); } ``` - 实现类为非泛型类 ``` /** * @Author GJY * @Date 2021/7/18 22:46 * @Version 1.0 * 实现类不是泛型类，在声明实现接口时则必须明确指定接口的泛型类型 */ public class GenericInterfaceImpl implements GenericInterface { @Override public String method(String e) { return e; } public static void main(String[] args) { GenericInterfaceImpl gis = new GenericInterfaceImpl(); gis.method("不喝奶茶的Programmer"); } } ``` - 实现类为泛型类 ``` /** * @Author GJY * @Date 2021/7/18 22:46 * @Version 1.0 * 实现类为泛型类，则实现类的泛型类型必须包含有接口泛型类的泛型类型 */ public class GenericInterfaceImpl implements GenericInterface { T name; V id; public GenericInterfaceImpl(T name, V id) { this.name = name; this.id = id; } @Override public T method(T e) { return e; } public static void main(String[] args) { GenericInterfaceImpl gis = new GenericInterfaceImpl<>("不喝奶茶的Programmer",212); gis.method("不喝奶茶的Programmer"); } } ``` ### 泛型通配符泛型通配符一般使用`“ ？”`替代具体的**类型实参**。 > 问题引入我们都知道Interger是Number的子类，那么在`Generic`作为形参的方法中，能否使用`Generic`的实例传入呢？我们测试一下： - 首先我们先定义一个Generic泛型类 ``` public class Generic { T element; public T getElement() { return element; } public void setElement(T element) { this.element = element; } @Override public String toString() { return element +""; } } ``` - 声明一个传入形参为`Generic`的方法，并测试当调用该方法时传入`Generic `类型实参的情况 ``` public class GenericTest { public static void methodTest(Generic gn){ System.out.println(gn); } public static void main(String[] args) { Generic gi = new Generic<>(); gi.setElement(212); GenericTest.methodTest(gi);//报错 } ``` ![image.png](https://p1-juejin.byteimg.com/tos-cn-i-k3u1fbpfcp/64f3cf9e992a431fb86d953064353fc3~tplv-k3u1fbpfcp-watermark.image) 很显然，当我们在形参声明为`Generic`类型的方法中，在调用该方法时传入一个`Generic类型的实参`时，会编译不通过，即使Integer是Number的子类。 #### 无限通配符 - 这时，无限通配符`“ ？”`的用武之地就来了,使用`Generic`来替换掉方法定义时形参中的`Generic`，就可以在调用该方法时传入任意类型的数据。修改后正常执行，如下： ``` public class GenericTest { public static void methodTest(Generic gn){ System.out.println(gn); } public static void main(String[] args) { Generic gi = new Generic<>(); Generic gs = new Generic<>(); gi.setElement(212); gs.setElement("不喝奶茶的Programmer"); GenericTest.methodTest(gi); GenericTest.methodTest(gs); } } ``` #### 上限通配符 > 上限通配符的定义 `类/接口< ? extends 实参类型>` 要求该泛型的类型只能是**实参类型**或者**实参类型的子类** - 有了上限通配符，我们就使用其来解决上述问题，特别适用于父子类继承关系(Integer的父类是Number)，因此，我们可以将上限通配符中的实参类型设置为Number类型，那么该泛型类型(即？)只要是Number的本身或者Number的子类就都可以。使用如下： ``` public class GenericTest { public static void methodTest(Generic gn){ System.out.println(gn); } public static void main(String[] args) { //泛型类型为Integer，为Number的子类 Generic gi = new Generic<>(); gi.setElement(212); GenericTest.methodTest(gi); } } ``` #### 下限通配符下限通配符要求该泛型的类型只能是**实参类型**或者**实参类型的父类类型** > 下限通配符的定义 `类/接口< ? super 实参类型>` - 示例如下： ``` public class GenericTest { //该方法只能接收泛型类型为Number或Number的父类的实参 public static void methodTest(Generic gn){ System.out.println(gn); } public static void main(String[] args) { Generic gs = new Generic<>(); Generic