Question

JAVA泛型中<T extends A & B & C>擦除时候应该把T擦除为什么呢？

求高人指点……不要把java编程思想的内容抄进来

Answer 1

泛型是1.5中引入的一个新的概念，由于不用进行强制转换类型了，所以具有较高的安全性和易用性。因为泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项，所以要在虚拟机中将泛型类型进行擦除。也就是说，在编译阶段使用泛型，运行阶段取消泛型，即擦除。

擦除是将泛型类型以其父类代替，如String 变成了Object等。其实在使用的时候还是进行带强制类型的转化，只不过这是比较安全的转换，因为在编译阶段已经确保了数据的一致性。

追问

你……没回答我的问题啊……泛型擦除的话，擦除为其上界，这个例子的上界应该是哪个？

追答

擦除是将泛型类型以其父类代替。
也就是说这里擦除的是T，虚拟机中运行时会将T变成其父类代替，如果他父类还有父类，则继续往上走，所谓上界，应该就是最终父类。

追问

额……不只是这样啊……通常的擦除是用第一边界（上界）来替代的，如果说什么最终父类的话就非Object莫属了。之所以有extends这个关键字重用，就是希望能在泛型类里拥有更具体的类而不是总是使用Object去替代。我举的这个例子包含了三个边界，所以我不知道T最终被什么替代了

追答

对，我说错了，应该是运行泛型时T会被擦除，如：
import java.util.*;
public class Erase {

public static void main(String[] args) {
// TODO code application logic here
Class c1 = new ArrayList().getClass();
Class c2 = new ArrayList().getClass();
System.out.println(c1 == c2);
}
}

结果输出是true
至于T会被什么替代，泛型中的所有动作都发生在边界处：对传递进来的值进行额外的编译期检查，并插入 对传递出去的值的转型。