共计 2946 个字符，预计需要花费 8 分钟才能阅读完成。
一 泛型是什么
泛型最精准的定义：参数化类型。具体点说就是处理的数据类型不是固定的，而是可以作为参数传入。定义泛型类、泛型接口、泛型方法，这样，同一套代码，可以用于多种数据类型。
二 泛型类和泛型方法
2.1 泛型类和接口
泛型类和接口类似，定义一个泛型类：
[Java] 纯文本查看 复制代码
?
public class Som {
private T value;
public T getValue() {return value;}
public void setValue(T value) {this.value = value;}}
Som 就是一个泛型类，value 的类型是 T，而 T 是参数化的。如果有多个类型参数，使用分号隔开, 如。
使用泛型类：
[Java] 纯文本查看 复制代码
?
Som som = new Som<>();
som.setValue(“Hi”);
//som.setValue(123); 编译不通过
String str = som.getValue();
在使用中指定具体的类型实参。
2.2 泛型方法
定义一个泛型方法：
[Java] 纯文本查看 复制代码
?
public static V obtainV(V[] arr) {
return arr[arr.length / 2];}
obtainV 就是一个泛型方法，返回值前有，可以处理任意类型数组。
使用泛型方法：
[Java] 纯文本查看 复制代码
?
Integer [] arr = {1,2,3};
String [] arrStrs = {“1″,”2″,”3”};
int i = obtainV(arr);
String str = obtainV(arrStrs);
三 Java 泛型的实现原理：类型擦除
泛型是 JDK1.5 引入的，为了保持兼容，Java 泛型的实现采用了类型擦除。类定义中的类型参数会被替换为 Object，运行时不知道泛型的实际类型参数。
编译前代码：
[Java] 纯文本查看 复制代码
Som som = new Som<>();
som.setValue(“Hi”);
String str = som.getValue();
编译后生成的代码：
[Java] 纯文本查看 复制代码
Som som = new Som();
som.setValue(“Hi”);
String str = (String)som.getValue();
可以看到在使用泛型的地方，编译后生成的代码，编译器自动进行了强制类型转换。
Java 的泛型实现就是如此：在编译期进行泛型检查，编译后的代码擦除了类型信息，所有泛型都使用 Object 代替，并进行了强制转换。
四 类型参数的限定
泛型的类型擦除会把所有类型参数当做 Object，但是我们也可以对参数类型进行上界限定。这样类型擦除就会转换为限定类型。
4.1 上界为某个具体类或接口
[Java] 纯文本查看 复制代码
?
public class Som {
private T value;
public T getValue() {return value;}
public void setValue(T value) {this.value = value;}}
这样使用 Som 类，类型参数只接受 Number 及其子类。
当上界是泛型类或者接口的时候，上界也需要类型参数。如下：
[Java] 纯文本查看 复制代码
?
public class Som> {
private T value;
public T getValue() {return value;}
public void setValue(T value) {this.value = value;}}
4.2 上界为其他类型参数
[Java] 纯文本查看 复制代码
?
public class Som {
private T value;
public T getValue() {return value;}
public void setValue(T value) {this.value = value;}
public void test(E e) {System.out.println("Som test: e");
}}
T 是泛型类 Som 的参数类型，E 的上界是 T，也就是其它类型参数。
五 泛型的通配符
泛型的通配符增强了方法的灵活性但也容易让人困惑。Java 中有无限定通配符, 上界限定通配符, 下界限定通配符这三种通配符。
5.1 无限定通配符
需求：打印 List 中的元素。List 是一个泛型类，有 List,List,List 等可能。使用 List 通配符，可以匹配任意 List 泛型。
代码如下：
[Java] 纯文本查看 复制代码
public static void printList(List list) {
for (int i = 0; i < list.size(); i++) {System.out.println(list.get(i));
}}
看起来很简单，但是此时的 list 是无法进行 add 操作的，因为 List 的类型是未知的。这就是的只读性，稍后会有介绍。
5.2 有限通配符
同样是一个打印 List 元素的例子，但是只接受类型参数是 Number 及其子类。
[Java] 纯文本查看 复制代码
?
public static void printList(List list) {
for (int i = 0; i < list.size(); i++) {System.out.println(list.get(i));
}}
和一样，也具有只读性。
5.3 和的只读性
通配符和具有只读性，即可以对其进行读取操作但是无法进行写入。
[Java] 纯文本查看 复制代码
?
public static void printList(List list) {
for (int i = 0; i < list.size(); i++) {System.out.println(list.get(i));
}
// 一下操作不可以
list.add(1);
list.add("123");}
原因在于：? 就是表示类型完全无知，? extends E 表示是 E 的某个子类型，但不知道具体子类型，如果允许写入，Java 就无法确保类型安全性。假设我们允许写入，如果我们传入的参数是 List，此时进行 add 操作，可以添加任何类型元素，就无法保证 List 的类型安全了。
5.4 超类型
超类型通配符允许写入，例子如下：
[Java] 纯文本查看 复制代码
?
public static void printList(List list) {
for (int i = 0; i < list.size(); i++) {System.out.println(list.get(i));
}
list.add("123");
list.add("456");}
这个很好理解，list 的参数类型是 String 的上界，必然可以添加 String 类型的元素。
六 泛型与数组
Java 不能创建泛型数组，以 Som 泛型类为例，以下代码编译报错：
[Java] 纯文本查看 复制代码
?
Som [] soms = new Som[8];
原因是像 Integer[]和 Number[]之间有继承关系，而 List 和 List 没有，如果允许泛型数组，那么编译时无法发现，运行时也不是立即就能发现的问题会出现。参看以下代码：
[Java] 纯文本查看 复制代码
?
Som[] soms = new Som[3];
Object[] objs = soms;
objs[0] = new Som();
那我们怎么存放泛型对象呢？可以使用原生数组或者泛型容器。
文章转载自：https://juejin.im/entry/57fb5…
