Java深入泛型

泛型：允许在定义类，接口，方法时使用类型形参，这个类型形参将在声明变量，创建对象，调用方法时动态指定（类型实参），Java5为集合框架的全部类和接口增加了泛型支持，可以在声明集合变量，创建集合对象时传入类型实参，就是我们经常看到的List和ArrayList。

（1）定义泛型接口，类

public interface List<E> extends Collection<E> {

    Iterator iterator();
    boolean add(E var1);
}

public interface Set<E> extends Collection<E> {

    Iterator iterator();
    boolean add(E var1);
}

public interface Map<K, V> {

    V put(K var1, V var2);
    Set keySet();
    Collection values();
    Set> entrySet();
    void putAll(Map var1);
}

泛型实质：除了在定义接口，类时声明类型形参，类型形参在整个接口，类中可当做类型使用。

可以为任何类增加泛型支持，请看下面实例。

// 定义Apple类时使用了泛型声明
public class Apple
{
    // 使用T类型形参定义实例变量
    private T info;
    public Apple(){}
    // 下面方法中使用T类型形参来定义构造器
    public Apple(T info)
    {
        this.info = info;
    }
    public void setInfo(T info)
    {
        this.info = info;
    }
    public T getInfo()
    {
        return this.info;
    }
    public static void main(String[] args)
    {
        // 由于传给T形参的是String，所以构造器参数只能是String
        Apple a1 = new Apple<>("苹果");
        System.out.println(a1.getInfo());
        // 由于传给T形参的是Double，所以构造器参数只能是Double或double
        Apple a2 = new Apple<>(5.67);
        System.out.println(a2.getInfo());
    }
}

（2）泛型派生子类

当创建了带泛型声明的接口和父类时，可以为该接口创建实现类或者为该父类创建子类，但当使用这些父类或接口时不能再包含类型形参。

//Apple类不能跟类型形参
public class A extends Apple<T>

//这种是可以的
public interface List<E> extends Collection<E>
public abstract class TestClass<E> implements List<E>

在定义类，接口，方法时可以声明类型形参，在使用类，接口，方法时应该为类型形参传入实际类型，如下：

public class A extends Apple<String>

//如下示例
public class A1 extends Apple<String>
{
    // 正确重写了父类的方法，返回值
    // 与父类Apple的返回值完全相同
    public String getInfo()
    {
        return "子类" + super.getInfo();
    }
    /*
    下面方法是错误的，重写父类方法时返回值类型不一致
    public Object getInfo()
    {
        return "子类";
    }
    */
}

（3）并不存在真正的泛型

List<String> l1 = new ArrayList<String>();
List<Double> l2 = new ArrayList<Double>();
System.out.println(l1.getClass() == l2.getClass());

//结果为true，系统不会生成真正的泛型类

注：静态方法，静态初始化块，静态变量的声明和初始化中不允许使用类型形参，如：

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

    //instanceof也不可用于判断泛型
}

（4）类型通配符

List<String> list = new ArrayList<String>();
//错误代码
List<Object> obj = list;

List并不是List