java知识整理-（1）泛型generics
泛型(generics) ：带参数化类型的类或接口，比如最熟悉的List<E>。读做list of E。
原始类型(raw type):泛型中不包括尖括号的部分，上面的例子中的List
?parameterized?types ：尖括号中的部分，例子中的E，可以是任何接口或者类。
从1.5开始支持的。为了可读性和类型安全。
但是个人感觉有时比较繁琐，特别是用不好的时候。
特别是java的泛型又让你感觉比较奇怪。。。。
最开始认识是从List<T>接口开始的。
后来自己也写过几个，特别是DAO。
通过学习，知道了类型擦除。但为什么要擦除呢？
自己推测了一下：
Java的一个非常好的特点就是向下兼容。
如果不类型擦除，Foo(List<Integer>)和Foo(List<String>)可以重载，那么List<Integer>.class和List<String>.class必定不同。
这样的话对jvm已有的类型系统是个很大的冲击。(个人认为这是最重要的原因)
知道了类型擦除，很多东西就想明白了，比如，Foo(List<Integer>)和Foo(List<String>)不可以重载，因为擦除后都变成了Foo(List)。
通过javap证实了这点，但--
在类头文件却发现了泛型的信息，记录了类成员的泛型实际类型。
查了资料，知道了可以通过反射取得使用处的实际类型。
如 private List<Integer> list ; // 通过反射可以获得Integer
更高一级的就是通配符“?”了；
之前知道List<? extends XXX> list；只能读，不能写，而不知道其原因。
看了effective java 2nd后，知道了PECS：producer-extends,?consumer-super。
关于<? extends XXX>看list.addAll就全明白了。List<Object>可以addAll List<Integer>的集合。
前段时间看了论坛的帖子，学到了协变和逆变，结合PECS，对泛型的理解又加深了一些。
虽然现在感觉理解的很不错，但我知道，随着以后的使用、学习、思考，会发现现在知道的不过是一些皮毛。
记录于此，供以后回头看看。
