java学习日记20，泛型

还没有学习反射的内容，所以只能记录一下泛型在集合上的应用。

泛型的概念

所谓泛型，就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。这个类型参数将在使用时（例如，继承或实现这个接口，用这个类型声明变量、创建对象时确定（即传入实际的类型参数，也称为类型实参）。
Collection<E>，List<E>，ArrayList<E>这个<E>就
是类型参数，即泛型。
简单来说，就像是一个可变的类型变量，通过这个变量在使用类、接口、方法时确定实际的类型。

泛型在集合中的使用

总结：

• ① 集合接口或集合类在jdk5.0时都修改为带泛型的结构。
• ② 在实例化集合类时，可以指明具体的泛型类型
• ③ 指明完以后，在集合类或接口中凡是定义类或接口时，内部结构（比如：方法、构造器、属性等）使用到类的泛型的位置，都指定为实例化的泛型类型。
• 比如：add(E e) —>实例化以后：add(Integer e)
• ④ 注意点：泛型的类型必须是类，不能是基本数据类型。需要用到基本数据类型的位置，拿包装类替换
• ⑤ 如果实例化时，没指明泛型的类型。默认类型为java.lang.Object类型。

泛型除了在集合中的使用，还可以自定义泛型类、泛型接口和泛型方法。

主要说明一下泛型方法：
泛型方法：在方法中出现了泛型的结构，泛型参数与类的泛型参数没任何关系，这样的方法就可以称为泛型方法。
也就是说，泛型方法所属的类是不是泛型类都没关系。
静态方法中不能使用类的泛型。
泛型方法，可以声明为静态的。

泛型在继承上的体现：
父类有泛型，子类可以选择保留泛型也可以选择指定泛型类型：
|—子类不保留父类的泛型：按需实现
没有类型 擦除
具体类型
|—子类保留父类的泛型：泛型子类
全部保留
部分保留

虽然类A是类B的父类，但是G<A>和G<B>二者不具有子父类关系；
如果类A是类B的父类，A<G>是B<G>的父类。

通配符：?

类A是类B的父类，G<A>和G<B>是没关系的，二者共同的父类是：G<?>。
限制条件的通配符的使用。
? extends A:
G<? extends A> 可以作为G<A>和G<B>的父类，其中B是A的子类

? super A:
G<? super A> 可以作为G<A>和G<B>的父类，其中B是A的父类