java泛型笔记2--上界通配符

擦除特性

虚拟机没有泛型类型对象.无论何时,定义一个泛型类型,都会自动提供一个相应的原始类型.这个原始类型的名字就是去掉类型参数后的泛型类型名.类型变量会被擦除,并替换成其限定类型,对于无限定的变量,则替换成Object.

无限定指的是没有设置泛型的边界.比如声明一个泛型对象A< T >,这属于无限定泛型对象.如果这样声明 A< T extends U >,这属于有边界限定的泛型对象.

在下面的例子中,我们新建了两个泛型ArrayList对象ArrayList和ArrayList.如果我们输出前者==后者,并输出前者的class类型,其结果如何?

public class GenericTest3 {
   
    public static void main(String[] args) {
   
        Class c1 = new ArrayList<String>().getClass();
        Class c2 = new ArrayList<Integer>().getClass();

        System.out.println(c1 == c2);
        System.out.println(c1);
    }
}

其结果显示类别是ArrayList,并不会体现泛型.
存在一种展示参数类型的函数,Class.getTypeParameters(),他能返回有泛型声明的类型参数,但尽管这么做,我们依然看不出任何有用的信息.比如我们添加这样的两行代码:

List l1 = new ArrayList<String>();
System.out.println(Arrays.toString(l1.getClass().getTypeParameters()));

其结果显示的输出为: < E >.
这只是参数占位符的标识符而已,并没有提供具体的参数类型.
事实上,在泛型代码内部,是无法获得任何有关泛型参数类型的信息的,因为它被擦除了.
当你在使用泛型时,泛型的具体信息在编译器看来是未知的,无论是ArrayList<String>还是ArrayList<Integer>都被认为是一个未知元素类型的ArrayList对象.
这导致的一个最直接的后果是,再也不能在编译阶段对泛型对象调用相应的泛型方法了.

public class FruitTest {
   

    public static void main(String[] args) {
   
        Fruits f = new Fruits("red");
        Food<Fruits> food = new Food<>(f);
        food.getColor();
    }
}

class Fruits{
   
    private String color;
    public Fruits(String color){
   
        this.color = color;
    }
    public void getColor(){
   
        System.out.println("水果的颜色是"+color);
    }
}

class Food<T>{
   
    private T obj;
    public Food(T t){
   
        this.obj = t;
    }
    public void getColor