从0开始复习java(6)--GenericType

Java5增加泛型支持在很大程度上都是为了让集合能记住其元素的数据类型。在没有泛型之前，一旦把一个对象放进集合中，集合就会忘记对象的类型，把所有的对象当成Object类型处理。当程序从集合中取出对象后，就需要进行强制类型转换。而泛型可以让集合记住其元素的数据类型。

一、认识泛型

java7之前的语法：

List strList = new ArrayList();
Map scores = new HashMap();

从Java7开始使用菱形语法：

List strList = new ArrayList<>()

二、深入泛型

泛型：允许在定义类、接口、方法时使用类型形参，这个类型形参将在声明变量、创建对象、调用方法时动态地指定。Java5为集合框架中的全部接口和类增加了泛型支持。

定义泛型接口、类

//定义接口时指定类型形参
public interface List{
    void add(E x);
    Iterator iterator();
}
public interface Iterator{
    E next();
    boolean hasNext();
}
public interface Map{
    Set keySet();
    V put(K key, V value){
        
    }
}

Iterator、Set表面他们是一种特殊的数据类型，是一种和Iterator、Set不同的数据类型，可以认为是他们的子类。

包含泛型声明的类型可以在定义变量、创建对象时传入一个类型参数，从而可以动态地生成无数多个逻辑上的子类，但这种子类在物理上并不存在。

创建带泛型声明的自定义类，为该类定义构造器时，构造器名还是原来的类名，不要增加泛型声明。

从泛型类派生子类

//错误的
public class A extends Apple{}
//正确的
public class A extends Apple{}
//会出现警告
public class A extends Apple{}

并不存在泛型类

//l1.getClass()==l2.getClass()
List l1 = new ArrayList<>();
List l1 = new ArrayList<>();

不管为泛型形参传入哪一种类型的实参，他们依然被当作同一个类处理，在内存中也只占用一块内存空间，因此在静态方法、静态初始化块或者静态变量的声明和初始化中不允许使用类型形参。

public class R{
    //错误，不能在静态变量声明中使用类型形参
    static T info;
    T age;
    public void foo(T msg){}
    //错误，不能在静态方法声明中使用类型形参
    public static void var(T msg){}
}

java.util.Collection cs = new java.util.ArrayList<>();
//错误，并不会生成泛型类
if (cs instanceof java.util.ArrayList){}

三、类型通配符

//会有泛型警告
public void test(List c){
    for(int i=0; i

改成

//会有泛型警告
public void test(List