前言
看了一早上的泛型我很蛋疼,我发现我之前用泛型一直都是不明不白的。
正文
我相信类似于
List<String> list = new ArrayList<>();
这种类型的泛型使用方法用的很多吧,可光会用也只能停在最初级的阶段,在开始我今天的表演之前我得说Java的泛型其实是一种伪泛型。好了废话不多说上代码
1.泛型类
public class GenericClass<T> {
private T t1;
private T t2;
public T getT1() {
return t1;
}
public void setT1(T t1) {
this.t1 = t1;
}
public T getT2() {
return t2;
}
public void setT2(T t2) {
this.t2 = t2;
}
}
为什么这么写呢?我觉得只是为了代表这个类的成员变量是相同类型或者成员方法返回类型是相同类型(E(集合元素类型例如List<E>)K和V(关键字和值)T、U、S(代表任意类型))
2.泛型方法
public static <T> T getMiddle(T... a) {
return a[a.length/2];
}
首先设计泛型方法的前提是因为我们不想把整个类型泛型化,而只是因为这个方法需要泛型的功能而去设计的,至于为什么设计成静态因为在泛型类里面静态方法是无法得知它具体的类型的,所以说是设计成这样,当然它可以出现在泛型类还有普通类里面。它的调用可能是这样的
GenericClass.<String>getMiddle("1", "2", "3");
其实<String>
可以省略因为编译器聪明到你无法想象的地步。GenericClass.getMiddle("1", "2", "3");
3.类型擦除(发生在编译阶段,但是还是存有相关泛型信息)
类型擦除就是我要说为什么要说它是伪泛型了,为什们要类型擦除了因为在JDK1.0的时候根本就没考虑泛型,所以为了向后兼容只能使用类型擦除这种方式去实现泛型的功能实际它是怎么操作的呢?
其实定义一个泛型类型的时候,都自动提供一个相应的原始类型(raw type),原始类型就是删去类型参数后的泛型类型名。擦除类型变量,并替换为限定类型(无限定的变量用Object,有多个限定则是第一个限定类型)。就拿上面的例子来说
public class GenericClass {
private Object t1;
private Object t2;
public Object getT1() {
return t1;
}
public void setT1(Object t1) {
this.t1 = t1;
}
public Object getT2() {
return t2;
}
public void setT2(Object t2) {
this.t2 = t2;
}
}
假设我们调用了getT1方法。
首先肯定是对原始方法getT1的调用,然后再强制转换为T(确定类型)类型。
擦除可能会遇到一种情况和多态的冲突
class subGenericClass extends GenericClass<Double> {
private Double t1;
public void setT1(Double t1) {
this.t1 = t1;
}
}
可是类型擦除后是继承的只有setT1(Object t1)这个方法的,那么虚拟机怎么处理这种情况呢。其实它会自动生成一个桥方法
public void setT1(Object t1) {
setT1((Double) t1);
}
有空再讲讲泛型的通配符