什么是泛型?
泛型,即“参数化类型”。就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定 义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。
如何定义一个泛型
泛型在不同类型里有不同的形式,但都是用 < > 来定义的
泛型在类里的定义
public class ClassName<T>{
private T data;
public T getData() {
return data;
}
public void setData(T data) {
this.data = data;
}
}
在< >里面定义后,类里面可以直接使用,同时,在调用类时,要传一个类型过去。
ClassName name<String> = new ClassName<>();
泛型在接口的定义
public interface IntercaceName<T>{
T getData();
}
实现接口时,可以选择指定泛型类型,也可以选择不指定, 如下:
指定类型:
public class Interface1 implements IntercaceName<String> {
private String text;
@Override
public String getData() {
return text;
}
}
不指定类型:
public class Interface1<T> implements IntercaceName<T> {
private T data;
@Override
public T getData() {
return data;
}
}
泛型在方法里的定义
private static <T> T 方法名(T a, T b) {}
泛型的作用是什么?
1、 提高代码复用率
2、 泛型中的类型在使用时指定,不需要强制类型转换(类型安全,编译器会检查类型)
再来看看泛型的一些限制类型和通配符
在使用泛型时, 可以指定泛型的限定区域 ,
- 例如: 必须是某某类的子类或 某某接口的实现类,格式:
<T extends 类或接口1 & 接口2>
类型通配符是使用?代替方法具体的类型实参。
1 <? extends Parent> 指定了泛型类型的上届
2 <? super Child> 指定了泛型类型的下届
3 <?> 指定了没有限制的泛型类型
看一下代码示例:
public class Demo1 {
public static void main(String[] args) {
//<? extends Parent> 指定了泛型类型的上届
Plate<? extends Fruit> p1 =new Plate<Apple>();
//<? super Child> 指定了泛型类型的下届
Plate<? super Apple> p2 = new Plate<Fruit>();
//也可直接 <?> 指定了没有限制的泛型类型
Plate<?> p3 = new Plate<Fruit>();
}
}
interface Fruit{}
class Apple implements Fruit{}
class Plate<T>{
T data;
}
有一些我们需要注意的点
在编译之后程序会采取去泛型化的措施。
也就是说Java中的泛型,只在编译阶段有效。
在编译过程中,正确检验泛型结果后,会将泛型的相关信息擦出,并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说,泛型信息不会进入到运行时阶段。