core_java泛型篇小总结（1）

泛型复习：

泛型方法可以定义在普通类中，也可以定义在泛型类中：注意类型变量放在修饰符（public，static）的后面，返回类型前面。

class Arrayalg{
    public static<T> T getMiddle(T...a){

        return a[a.length/2];

    }
}

---

泛型代码和虚拟机
虚拟机没有泛型类型对象–所有对象都是普通类。泛型类型在虚拟机中都有一个相应的原始类型（raw type），原始类型的名字就是删除类型参数后的泛型参数名。原始类型会擦除（erased）类型变量,并替代为限定类型（如果没有限定的变量就用Object）。例如，下面的泛型类

在虚拟机中的真实存储状况，可以看到T被替换为Object了

原始类型用第一个限定类型变量来替换，如果没有限定就用Object替换例如

T有限定类型要实现comparable接口，则虚拟机的实际类型为，可以看到T被替代为Comparable

再看《core java》时看到了泛型中的一个有趣的现象

当执行下列语句时

DateInterval i = new DateInterval();
Pair<Date> pair = i;
pair.setSecond(aDate);

因而会实际调用i.setSecond(Object),并未想象中那样利用多态，这是由于类型擦除和堕胎起了冲突，编译器会生成一个桥方法,实际上调用的是桥方法，这样就会符合我们的想法

public void setSecond(Object second){setSecond((Date)second)}

桥方法可能会变得很奇怪，假设下列情况DateInterval方法也会覆盖了getSecond方法：

class DateInterval extends Pair<Date>{
    public Date getSecond(){
        return (Date)super.getSecond().clone();
    }
}

这样在擦除的类型中，有两个getSecond方法：

Date getSecond();
Object getSecond();

这样不能编写Java代码（编译器会给出错误，因为编译器人认为两个方法是同一个方法，这里恰好没有参数），但是虚拟机却可以分辨这种情况，可以用返回类型和参数类型确定一个方法，书上这样写，但我认为方法名当然也包括在内吧？）

---

java泛型转换的几个结论

1.虚拟机中没有泛型，只有普通的类和方法

2.所有的类型参数都用他们的限定类型替换

3.桥方法（bridge method）被合成用来保持多态

4.为保持类型安全性，必要时插入强制类型转换