泛型

在面向对象编程语言中，多态算是一种泛化机制。例如，你可以将方法的参数类型设置为基类，那么该方法就可以接受从这个基类中导出的任何类作为参数，这样的方法将会更具有通用性。此外，如果将方法参数声明为接口，将会更加灵活。

为什么使用泛型？
我们先看一段代码

List list = new ArrayList();
        list.add("str");
        list.add(1);
        for(int i = 0; i<list.size();i++) {
            String s =(String) list.get(i);
            System.out.println(s);
            //System.out.println(list.get(i));
        }

这样的错误不会在编译时给出，而是在运行时报错，就很不友好。
如果使用泛型的话，编译时就会给出提示：

但是其实我门还是能利用反射给将上述 Integer 加入：

List<String> list = new ArrayList<String>();
        list.add("str");
        list.getClass().getMethod("add", Object.class).invoke(list,1);
        //list.add(1);
        System.out.println(list);

不过这里得注意下，在取出Integer数据时任会报错，此时依然是返回一个String.这里只用了toString()。

在java中泛型实现原理：
编译为字节码时参数类型会在代码中被擦除，单独记录在Class文件的attributes域内，而在使用泛型处做类型检查与类型转换。
假设参数类型的占位符为T，擦除规则如下：
< T >擦除后变为Obecjt
<？extends A>擦除后变为A
<？ super A>擦除后变为Object
上述擦除规则叫做保留上界。

下面演示一下擦除

//泛型类型  
class Clazz<T> {    
    private T value;    
    public T getValue() {    
        return value;    
    }    
    public void setValue(T  value) {    
        this.value = value;    
    }    
}  

//原始类型  
class Clazz{    
    private Object value;    
    public Object getValue() {    
        return value;    
    }    
    public void setValue(Object  value) {    
        this.value = value;    
    }    
}