文章目录

  • 【1】什么是泛型?
  • 【2】为什么需要泛型?
  • 【3】如何使用泛型?
  • 一、泛型类和泛型接口
  • 二、一个类如何实现使用泛型接口的类?
  • 三、泛型方法的使用
  • ①什么是泛型方法?
  • ②普通方法:
  • ③泛型方法:
  • 【4】泛型范围:
  • 一、 ```T extends String```
  • 二、通配符:
  • ① `? extends X`
  • ②`? super X`
  • 【5】Java伪泛型与泛型擦除


【1】什么是泛型?

  • 泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。
  • 泛型的本质是为了参数化类型(在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型)。也就是说在泛型使用过程中,操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和方法中,分别被称为泛型类、泛型接口、泛型方法。
    引入一个类型变量T(其他大写字母都可以,不过常用的就是T,E,K,V等等),并且用<>括起来,并放在类名的后面。泛型类是允许有多个类型变量的。

【2】为什么需要泛型?

实际开发中,经常有数值类型求和的需求,例如实现int类型的加法, 有时候还需要实现long类型的求和, 如果还需要double类型的求和,需要重新在重载一个输入是double类型的add方法。

如:

怎么定义参数类型java java 参数化类型_怎么定义参数类型java


【3】如何使用泛型?

一、泛型类和泛型接口

怎么定义参数类型java java 参数化类型_泛型_02


怎么定义参数类型java java 参数化类型_java_03


怎么定义参数类型java java 参数化类型_泛型_04

规则是:在类名或者接口名后面加上<>并且在里面加上大写字母如T,如需多种类型就用逗号隔开如:<T, K>


二、一个类如何实现使用泛型接口的类?

两种方法实现这种类:

未传入泛型实参时:(继续使用一个泛型来代替接口的泛型,在创建对象的时候传入类型实参)

怎么定义参数类型java java 参数化类型_android_05


在new出类的实例时,需要指定具体类型:

怎么定义参数类型java java 参数化类型_android_06


传入泛型实参:(不使用泛型来代替接口的泛型,直接在继承时便指出类型实参)

怎么定义参数类型java java 参数化类型_泛型方法_07


在new出类的实例时,和普通的类没区别


三、泛型方法的使用

①什么是泛型方法?

泛型方法,是在调用方法的时候指明泛型的具体类型 ,泛型方法可以在任何地方和任何场景中使用,包括普通类泛型类注意泛型类中定义的普通方法和泛型方法的区别。

②普通方法:

怎么定义参数类型java java 参数化类型_java_08

③泛型方法:

怎么定义参数类型java java 参数化类型_泛型方法_09

**规则:**在public(private等)返回值之间加上 <T>(单个类型)、<T, K, E...>(多个类型),表示这是一个泛型方法。


【4】泛型范围:

一、 T extends String

有时候,我们需要对类型变量加以约束,比如计算两个变量的最小,最大值。

怎么定义参数类型java java 参数化类型_怎么定义参数类型java_10

请问,如果确保传入的两个变量一定有compareTo方法?那么解决这个问题的方案就是将T限制为实现了接口Comparable的类。

怎么定义参数类型java java 参数化类型_泛型_11


表示: T类型必须是Comparable的子类,否则会引起编译报错。

二、通配符:

? extends X

  • 表示传递给方法的参0数,必须是X的子类(包括X本身)

怎么定义参数类型java java 参数化类型_泛型方法_12


怎么定义参数类型java java 参数化类型_怎么定义参数类型java_13


? super X

  • 表示传递给方法的参数,必须是X的超类(包括X本身)

雷同? extends X,参考理解。


【5】Java伪泛型与泛型擦除

请参考我的另一篇文章:泛型擦除