文章目录
- 【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方法。
如:
【3】如何使用泛型?
一、泛型类和泛型接口
规则是:在
类名
或者接口名
后面加上<>
并且在里面加上大写字母如T
,如需多种类型就用逗号隔开如:<T, K>
二、一个类如何实现使用泛型接口的类?
两种方法实现这种类:
①未传入泛型实参时:(继续使用一个泛型来代替接口的泛型,在创建对象的时候传入类型实参)
在new出类的实例时,需要指定具体类型:
②传入泛型实参:(不使用泛型来代替接口的泛型,直接在继承时便指出类型实参)
在new出类的实例时,和普通的类没区别
三、泛型方法的使用
①什么是泛型方法?
泛型方法,是在调用方法的时候指明泛型的具体类型 ,泛型方法可以在任何地方和任何场景中使用,包括
普通类
和泛型类
。注意泛型类中定义的普通方法和泛型方法的区别。
②普通方法:
③泛型方法:
**规则:**在
public(private等)
与返回值
之间加上<T>
(单个类型)、<T, K, E...>
(多个类型),表示这是一个泛型方法。
【4】泛型范围:
一、 T extends String
有时候,我们需要对类型变量加以约束,比如计算两个变量的最小,最大值。
请问,如果确保传入的两个变量一定有compareTo方法?那么解决这个问题的方案就是将T限制为实现了接口Comparable的类。
表示: T类型
必须是Comparable
的子类,否则会引起编译报错。
二、通配符:
① ? extends X
- 表示传递给方法的参0数,必须是X的子类(包括X本身)
②? super X
- 表示传递给方法的参数,必须是X的超类(包括X本身)
雷同? extends X
,参考理解。
【5】Java伪泛型与泛型擦除
请参考我的另一篇文章:泛型擦除