JAVA泛型

泛型总结
什么是泛型？泛型就是泛化的类型，其实多态是泛型的一种，只不过它是特定类型。而这里的泛型是指适用于通用类型。
泛型实现了参数化类型，使代码可以应用于多种类型。泛型的主要目的之一就是用来指定容器要持有什么类型的对象，而且由编译器来保证类型的正确性。


一、接口和类的泛型
语法结构：
class Multi<T>{
public void log(T a){
System.out.println(x.getClass().getName());
}
} 
interface IMulti<T>{
public void log(T a);
}
调用形式是：
二、方法的泛型
上面我们看到的是泛型于类之上，同样类中的方法也是可以包含泛型参数的。
语法：
public <T> void print(T x)
{
System.out.println(x.getClass().getName());
}


三、extends定义边界
下面我们来看一下这个例子是否行的通：
public <T> void add(T x,T y)
{
System.out.println(x+y);
}


编译器会提示错误，为什么呢？这就是JAVA泛型的擦除原理，所有的泛型都被擦除，也就是说被视为原始类型即Object类型。因为Object类型没有+这个operater所以会报错
下面改写一下这个泛型
public <T extends Integer> void add(T x,T y)
{
System.out.println(x+y);
}
这样就不会报错了。
这里的extends定义了一个边界，也就是说T类型是Integer或Integer的子类。这个extends可以指定多个，例如：T extends A & B & C
说明：如果A,B,C中有是class类型，有是interface类型，则class类型必须放到最前面。（想想类在继承多个父类或接口时，是通过","来分割的）


四、通配符?
先来看一个例子
class A{

}
class B extends A{

}
List<A> list1=new ArrayList<A>();//OK
List<A> list2=new ArrayList<B>();//Error
List<B> list3=new ArrayList<B>(); //OK


为什么第二个会是错误的呢？因为容器类型不能相互转化。那我们怎么建立一种向上转型的关系呢？通配符。
List<? extends A> list2=new ArrayList<B>();
这样就可以了，你可以这样认为“所有具备从A继承来的类型列表”，但这不代表list2就是A类型的列表。它意味着list2引用没有指定具体类型，所以你就无法对它做任何操作
比如：list2.add(new A());失败，只能执行list2.add(null)；但这没有任何意义


超类型通配符<? super Myclass>或者<? super T>
List<? super B> list2=new ArrayList<B>();
list2.add(new A());//error
list2.add(new B());//oK