Java中的泛型详解

所谓泛型：就是允许在定义类、接口指定类型形参，这个类型形参在将在声明变量、创建对象时确定（即传入实际的类型参数，也可称为类型实参）

泛型类或接口

“菱形”语法

//定义
 
public interface List<E> extends Collection<E>  
 
public class HashMap<K,V> extends AbstractMap<K,V>  implements Map<K,V>, Cloneable, Serializable 
//使用
 
List<String> list = new ArrayList();
 
//Java7以后可以省略后面尖括号的类型参数
 
List<String> list = new ArrayList<>();

从泛型类派生子类

//方式1
 
public class App extends GenericType<String>
 
//方式2
 
public class App<T> extends GenericType<T>
 
//方式3
 
public class App extends GenericType

伪泛型

不存在真正的泛型类，泛型类对Java虚拟机来说是透明的.JVM并不知道泛型类的存在,换句话来说,JVM处理泛型类和普通类没什么区别的.因此在静态方法、静态初始化块、静态变量里面不允许使用类型形参。
- 以下方式都是错误的

private static T data;
 
static{
 
    T f;
 
}
 
public static void func(){
 
    T name = 1;
 
}

下面的例子可以从侧面验证不存在泛型类

public static void main(String[] args){
 
        List<String> a1 = new ArrayList<>();
        List<Integer> a2 = new ArrayList<>();  
    System.out.println(a1.getClass() == a2.getClass());
 
    System.out.println(a1.getClass());
 
    System.out.println(a2.getClass());
 
}

输出

true
 
class java.util.ArrayList
 
class java.util.ArrayList

类型通配符

首先必须明确一点,假如Foo是Bar的父类，但是List并不是List的父类.为了表示各种泛型的父类,Java使用"?"来表示泛型通配.即List来表示各种泛型List的父类.带这种通配符List泛型不能设置（set）元素，只能获取（get）元素。因为程序无法确定List中的类型，所以不能添加对象。但获取的对象肯定是Object类型。

以下方法会编译出错：

List<?> list = new ArrayList<>();
 
list.add(new Object());

主意几点：

1.List对象不能被当成List