Java泛型

前言

使用Java的时候，我们都在用泛型，可是泛型究竟是什么，泛型的机制是什么？泛型为什么在运行时不能获取他的类型？泛型中的限定符到底代表什么意义？感觉应该好好了解下泛型的使用。

为什么使用泛型?

通常我们设计一个方法的时候，为了让方法更加通用,我们经常使用的就是多态（父类 接口等）。例如：

    public static void sort(ArrayList list){};    public static void sort(List list){};    public static void sort(Collection collection){};

更明显的就是最后一个方法更加的通用，可以接受任何Collection的子类。
如果想要比接口更大的通用性怎么办？Object or 泛型

泛型的实现原理

Java泛型的核心概念：告诉编译器想使用什么类型，编译器帮助你处理一切的细节。

泛型擦除

由于Java为了能够实现向上兼容性，就不得不保证，在实际运行的时候(机器码)根本不存在泛型这种东西。换言之Java泛型只是个语法糖。并没有修改Java的底层机制。只能在编辑器上做一些处理。

泛型的擦除是擦出到边界

？ super List 擦除的边界为List
T 擦除的边界为Object
引用编程思想的话：
泛型中的所有动作都发生在边界处，对传递过来的进行额外的编译检查，并插入对传递出去值的转型
其实这点不是很明白，如果在javac的时候，就体现不出来不同，那么运行的时候，怎么可能转型？？？不是很明白

        Class c1 = new ArrayList<Integer>().getClass();        Class c2 = new ArrayList<String>().getClass();        //两个不同泛型的类是一个类        System.out.println(c1 == c2);//true        //得到对应的泛型类型竟然是个占位符!!!        //泛型代码内部，无法获取任何有关的泛型参数类型的信息        Arrays.toString(c1.getTypeParameters())//[E]    

擦除的补偿

1.擦除导致了不知道泛型的类型信息，因此只能传递一个类型标签解决(多传递一个Class对象)
2.泛型数组：一班的解决方案是在任何想要创建泛型数组的地方都适 用ArrayList(因为有了擦除，数组的运行时类型只能是Object[])

泛型类和泛型方法的区别

泛型方法使改方法能够独立于类而产生变化,并且可以使用类型推断

    public class New {    public static <T> List<T> list(){        return new ArrayList<T>();    }    public static void main(String[] args) {        //隐式使用类型        List<String> list = list();        //显示使用类型        New.<String>list ();    }}

边界

List<’?’ extends Fruit>:具有任何从Fruit继承的类型的列表，但是不知道这个具体的类型是什么。

? extends Fruit 代表了一种具体的类型，但是木有指定具体类型，只能进行向上转型

public class New {    public static void main(String[] args) {        List<? extends Fruit> list = new ArrayList<>();        //Complier Error:cannot add any type of object        list.add(new Apple());        //Complier Error:cannot add any type of object        list.add(new Fruit());        list.get(1).eat();    }}class Fruit{    void eat(){};};class Apple extends Fruit{};class Banana extends Fruit{};

? super Myclass ：代表的是某一个Myclass的超类

public class New {    public static void main(String[] args) {        List<? super Apple> list = new ArrayList<>();        list.add(new Apple());        //Complier Error:cannot add any type of object        list.add(new Fruit());    }}class Fruit{    void eat(){};};class Apple extends Fruit{};class Banana extends Fruit{};

List

public class Holder<T> {    Object o;    T get() {        return (T) o;    }    void set(T t) {        o = t;    }    public static void main(String[] args) {        Holder holder = new Holder();        holder.set(new String("11"));        holder.set(3);        Holder<?> holder2 = new Holder();        //can not complier        holder2.set(3);        Object o = holder2.get();    }}

最后给大家在上一个编程思想的例子：

public static <T, S extends Iterable<? extends T>>    void apply(S seq, Method method,Object... args) {        try {            for (T t : seq) {                method.invoke(t, args);            }        } catch (Exception e) {            throw new RuntimeException(e);        }    }

Java编辑器优化：
http://blog.csdn.net/u010169705/article/details/51288788