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<Foo>并不是List<Bar>的父类.为了表示各种泛型的父类,Java使用"?"来表示泛型通配.即List<?>来表示各种泛型List的父类.带这种通配符List泛型不能设置（set）元素，只能获取（get）元素。因为程序无法确定List中的类型，所以不能添加对象。但获取的对象肯定是Object类型。

以下方法会编译出错：

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

主意几点：

• List<String>对象不能被当成List<Object>对象使用，也就是说：List<String>类并不是List<Object>类的子类。
  
• 数组和泛型有所不同：假设Foo是Bar的一个子类型（子类或者子接口），那么Foo[]依然是Bar[]的子类型；但G<Foo>不是G<Bar>的子类型。 
  
• 为了表示各种泛型List的父类，我们需要使用类型通配符，类型通配符是一个问号（?），将一个问号作为类型实参传给List集合，写作：List<?>（意思是未知类型元素的List）。这个问号（?）被称为通配符，它的元素类型可以匹配任何类型。 
  

来自为知笔记(Wiz)