关于泛型的题目和见解
##泛型的题目

class A {}
class B extends A {}
class C extends A {}
class D extends B {}
Which four statements are true ?
A,The type List<A>is assignable to List.
B,The type List<B>is assignable to List<A>.
C,The type List<Object>is assignable to List<?>.
D,The type List<D>is assignable to List<?extends B>.
E,The type List<?extends A>is assignable to List<A>.
F,The type List<Object>is assignable to any List reference.
G,The type List<?extends B>is assignable to List<?extends A>.

选A C D G

1. 只看尖括号里边的！！明确点和范围两个概念  
2.如果尖括号里的是一个类，那么尖括号里的就是一个点，比如List<A>,List<B>,List<Object>   
3. 如果尖括号里面带有问号，那么代表一个范围，<? extends A>代表小于等于A的范围，<? super A>代表大于等于A的范围，<?>代表全部范围  
4. 尖括号里的所有点之间互相赋值都是错，除非是俩相同的点
5. 尖括号小范围赋值给大范围，对，大范围赋值给小范围，错。如果某点包含在某个范围里，那么可以赋值，否则，不能赋值  
6. List<?>和List 是相等的，都代表最大范围  
-----------------------------------------------------------------------  
7.补充：List既是点也是范围，当表示范围时，表示最大范围

public static void main(String[] args) {
        List<A> a;
        List list;
        list = a;   //A对，因为List就是List<?>，代表最大的范围，A只是其中的一个点，肯定被包含在内
        List<B> b;
        a = b;      //B错，点之间不能相互赋值
        List<?> qm;
        List<Object> o;
        qm = o;     //C对，List<?>代表最大的范围，List<Object>只是一个点，肯定被包含在内
        List<D> d;
        List<? extends B> downB;
        downB = d;  //D对，List<? extends B>代表小于等于B的范围，List<D>是一个点，在其中
        List<?extends A> downA;
        a = downA;  //E错，范围不能赋值给点
        a = o;      //F错，List<Object>只是一个点
        downA = downB;  //G对，小于等于A的范围包含小于等于B的范围，因为B本来就比A小，B时A的子类嘛
    }

##java数组具有协变性，而java集合不是协变的

  1. 假设有一个函数 fun（Animal animal），如果我们传入一个Dog d 对象进去，编译器是不会报错的，这是多态的概念；
  2. 假设有一个函数 fun（Animal[] animals），如果我们传如一个Dog[] dogs数组进去，编译器也不会报错，这就是数组的协变性；
3. 假设有一个函数 fun（List<Animal>  animal），
  如果我们传如一个List <Dog>  dog 集合进去，编译器就会报错了，这就是集合泛型的不变性；

那么该怎么办呢？我们可以将泛型改成这样

fun (List <? extends Animal> )，这样之后，当我们再传入一个List <Dog>  dog 集合进去，编译器就就不会报错了。也就是说可以传入包含Animal的子类的List了。

##泛型的效率问题

泛型仅仅是java的语法糖，它不会影响java虚拟机生成的汇编代码，在编译阶段，虚拟机就会把泛型的类型擦除，还原成没有泛型的代码，顶多编译速度稍微慢一些，执行速度是完全没有什么区别的.