JAVA泛型
泛型提供了编译时类型安全检测机制,可以在编译时检测到非法的类型。泛型是一种参数化类型,类型在定义时被定义成参数的形式,在调用的时候传入具体的类型
泛型只在编译阶段有效
public class Test2 {
public static void main(String[] args) {
ArrayList<String> stringArrayList = new ArrayList<String>();
ArrayList<Integer> integers = new ArrayList<Integer>();
Class<? extends ArrayList> aClass = stringArrayList.getClass();
Class<? extends ArrayList> aClass1 = integers.getClass();
if (aClass.equals(aClass1)) {
System.out.println(1);
}
}
}
最后的输出为1。原因具体看后面的类型擦除
泛型类
泛型可以用于类的定义,典型的是容器类,比如Set,List,Map
定义一个泛型类:
// 泛型类
public class common<T> {
private T id;
public common() {
}
public common(T id) {
this.id = id;
}
public T getId() {
return id;
}
public void setId(T id) {
this.id = id;
}
}
public class test {
public static void main(String[] args) {
common<Integer> integercommon = new common<>(1111);
common<String> stringcommon = new common<String>("jx");
common common1 = new common("jx");
common common2 = new common(1111);
System.out.println(integercommon.getId());
System.out.println(stringcommon.getId());
System.out.println(common1.getId());
System.out.println(common2.getId());
}
}
输出结果为:
1111
jx
jx
1111
在使用泛型类的时候传入泛型实参,则会根据传入的类型进行限制。
如果没传入类型的话,就可以传入任何类型
泛型方法
一个泛型方法,在调用的时候可以接收不同类型的参数
public <E> void print(E a) {
System.out.println(a);
}
类型通配符
类型通配符一般是用?代替具体的类型参数
<? extends T> 表示该通配符代表T的子类 <? super T>表示该通配符代表T的父类 ## 类型擦除 java泛型都是在编译器的层面上实现的,在编译之后,生成的字节码中是不包含任何泛型类型的信息的。 类型擦除的基本过程是找到来替换类型参数的具体类,这个类一般是Object。 如果指定了类型参数的上界的话,那么这个具体类型就是指定的上界