汉码未来

1. 什么是泛型

泛型不只是 Java 语言所特有的特性，泛型是程序设计语言的一种特性。允许程序员在强类型的程序设计语言中编写代码时定义一些可变部分，那些部分在使用前必须做出声明。

我们在上一小节已经了解到，Java 中的集合类是支持泛型的，它在代码中是这个样子的：

代码中的<Integer>就是泛型，我们把类型像参数一样传递，尖括号中间就是数据类型，我们可以称之为实际类型参数，这里实际类型参数的数据类型只能为引用数据类型。

那么为什么需要泛型呢？我们马上就见分晓。

2. 为什么需要泛型

上一节中，我们在使用ArrayList实现类的时候，如果没有指定泛型，IDEA会给出警告，代码似乎也是可以顺利运行的。请看如下实例：

import Java.util.ArrayList;public class GenericsDemo1 {

    public static void main(String[] args) {
        ArrayList arrayList = new ArrayList();
        arrayList.add("Hello");
        String str = (String) arrayList.get(0);
        System.out.println("str=" + str);
    }}
代码块
1
2
3
4
5
6
7
8
9
10
11
12

运行结果：

str=Hello
代码块
1

虽然运行时没有发生任何异常，但这样做有两个缺点：

1. 需要强制类型转换： 由于ArrayList内部就是一个Object[]数组，在get()元素的时候，返回的是Object类型，所以在ArrayList外获取该对象，需要强制类型转换。其它的Collection、Map如果不使用泛型，也存在这个问题；
2. 可向集合中添加任意类型的对象，存在类型不安全风险。例如如下代码中，我们向列表中既添加了Integer类型，又添加了String类型：

import Java.util.ArrayList;public class GenericsDemo2 {
    public static void main(String[] args) {
        ArrayList arrayList = new ArrayList();
        arrayList.add(123);
        arrayList.add("Hello");
        String str = (String) arrayList.get(0);
        System.out.println("element=" + str);
    }}
代码块
1
2
3
4
5
6
7
8
9
10
11

运行结果：

Exception in thread "main" Java.lang.ClassCastException: class Java.lang.Integer cannot be cast to class Java.lang.String (Java.lang.Integer and Java.lang.String are in module Java.base of loader 'bootstrap')
	at GenericsDemo2.main(GenericsDemo2.Java:8)
代码块
1
2

由于我们的“疏忽”，列表第 1 个元素实际上是整型，但被我们强制转换为字符串类型，这是行不通的，因此会抛出ClassCastException异常。

使用泛型可以解决这些问题。泛型有如下优点：

1. 可以减少类型转换的次数，代码更加简洁；
2. 程序更加健壮：只要编译期没有警告，运行期就不会抛出ClassCastException异常；
3. 提高了代码的可读性：编写集合的时候，就限定了集合中能存放的类型。

3. 如何使用泛型

3.1 泛型使用

在代码中，这样使用泛型：

List<String> list = new ArrayList<String>();// Java 7 及以后的版本中，构造方法中可以省略泛型类型：List<String> list = new ArrayList<>();
代码块
1
2
3

要注意的是，变量声明的类型必须与传递给实际对象的类型保持一致，下面是错误的例子：

List<Object> list = new ArrayList<String>();List<Number> numbers = new ArrayList(Integer);
代码块
1
2

3.2 自定义泛型类

3.2.1 Java 源码中泛型的定义

在自定义泛型类之前，我们来看下Java.util.ArrayList是如何定义的：

类名后面的<E>就是泛型的定义，E不是 Java 中的一个具体的类型，它是 Java 泛型的通配符（注意是大写的，实际上就是Element的含义），可将其理解为一个占位符，将其定义在类上，使用时才确定类型。此处的命名不受限制，但最好有一定含义，例如Java.lang.HashMap的泛型定义为HashMap<K,V>，K表示Key，V表示Value。

3.2.2 自定义泛型类实例1

下面我们来自定义一个泛型类，自定义泛型按照约定俗成可以叫<T>，具有Type的含义，实例如下：

运行结果：

integerNumber=123
longNumber=20
doubleNumber=4000.0
代码块
1
2
3

我们在类的定义处也定义了泛型：NumberGeneric<T>；在类内部定义了一个T类型的number变量，并且为其添加了setter和getter方法。

对于泛型类的使用也很简单，在主方法中，创建对象的时候指定T的类型分别为Integer、Long、Double，类就可以自动转换成对应的类型了。

3.2.3 自定义泛型类实例2

上面我们知道了如何定义含有单个泛型的类，那么对于含有多个泛型的类，如何定义呢？

我们可以看一下HashMap类是如何定义的。如下是 Java 源码的截图：

参照HashMap<K,V>类的定义，下面我们来看看如何定义含有两个泛型的类，实例如下：

运行结果：

key=200
value=300
key=0.5
value=零点五
代码块
1
2
3
4

3.3 自定义泛型方法

前面我们知道了如何定义泛型类，在类上定义的泛型，在方法中也可以使用。下面我们来看一下如何自定义泛型方法。

泛型方法不一定写在泛型类当中。当类的调用者总是关心类中的某个泛型方法，不关心其他属性，这个时候就没必要再整个类上定义泛型了。

请查看如下实例：

运行结果：

Java222222.0222
代码块
1
2
3
4

实例中，使用<T>来定义show方法的泛型，它接收一个泛型的参数变量并在方法体打印；调用泛型方法也很简单，在主方法中实例化对象，调用对象下的泛型方法，可传入不同类型的参数。

4. 泛型类的子类

泛型类也是一个 Java 类，它也具有继承的特性。

泛型类的继承可分为两种情况：

1. 子类明确泛型类的类型参数变量；
2. 子类不明确泛型类的类型参数变量。

下面我们来分别看一下这两种情况。

4.1 明确类型参数变量

例如，有一个泛型接口：

public interface GenericInterface<T> { // 在接口上定义泛型
    void show(T t);}
代码块
1
2
3

泛型接口的实现类如下：

public class GenericInterfaceImpl implements GenericInterface<String> { // 明确泛型类型为String类型
    @Override
    public void show(String s) {
        System.out.println(s);
    }}
代码块
1
2
3
4
5
6

子类实现明确了泛型的参数变量为String类型。因此方法show()的重写也将T替换为了String类型。

4.2 不明确类型参数变量

当实现类不确定泛型类的参数变量时，实现类需要定义类型参数变量，调用者使用子类时，也需要传递类型参数变量。

如下是GenericInterface接口的另一个实现类：

public class GenericInterfaceImpl1<T> implements GenericInterface<T> { // 实现类也需要定义泛型参数变量
    @Override
    public void show(T t) {
        System.out.println(t);
    }}
代码块
1
2
3
4
5
6

在主方法中调用实现类的show()方法：

    public static void main(String[] args) {
        GenericInterfaceImpl1<Float> floatGenericInterfaceImpl1 = new GenericInterfaceImpl1<>();
        floatGenericInterfaceImpl1.show(100.1f);
    }
代码块
1
2
3
4

5. 类型通配符

我们先来看一个泛型作为方法参数的实例：

import Java.util.ArrayList;import Java.util.List;public class GenericDemo3 {
    /**
     * 遍历并打印集合中的每一个元素
     * @param list 要接收的集合
     */
    public void printListElement(List<Object> list) {
        for (Object o : list) {
            System.out.println(o);
        }
    }}
代码块
1
2
3
4
5
6
7
8
9
10
11
12
13
14

观察上面的代码，参数list的限定的泛型类型为Object， 也就是说，这个方法只能接收元素为Object类型的集合，如果我们想传递其他元素类型的集合，是行不通的。例如，如果传递装载Integer元素的集合，程序在编译阶段就会报错：Tips： 泛型中的List<Object>并不是List<Integer>的父类，它们不满足继承关系。

5.1 无限定通配符

想要解决这个问题，使用类型通配符即可，修改方法参数处的代码，将<>中间的Object改为?即可：

public void printListElement(List<?> list) {
代码块
1

此处的?就是类型通配符，表示可以匹配任意类型，因此调用方可以传递任意泛型类型的列表。

完整实例如下：

运行结果：

1
2
3
Hello汉码未来
代码块
1
2
3
4
5

5.2 extends 通配符

extends通配符用来限定泛型的上限。什么意思呢？依旧以上面的实例为例，我们来看一个新的需求，我们希望方法接收的List 集合限定在数值类型内（float、integer、double、byte 等），不希望其他类型可以传入（比如字符串）。此时，可以改写上面的方法定义，设定上界通配符：

public void printListElement(List<? extends Number> list) {
代码块
1

这样的写法的含义为：List集合装载的元素只能是Number自身或其子类（Number类型是所有数值类型的父类），完整实例如下：

运行结果：

1
2
3
代码块
1
2
3

5.3 super 通配符

既然已经了解了如何设定通配符上界，也就不难理解通配符的下界了，可以限定传递的参数只能是某个类型的父类。

语法如下：

<? super Type>
代码块
1

6. 小结

通过本小节的学习，我们知道了使用泛型可以避免强制类型转换，也可以避免运行期就抛出的ClassCastException异常。在使用泛型时，要注意变量声明的泛型类型要匹配传递给实际对象的类型， Java 7 及以后的版本中，构造方法中可以省略泛型类型，推荐直接省略。
我们也学习了如何自定义泛型类和泛型方法，在实际的开发中，我们想要编写比较通用的代码就避免不了使用泛型，大家可以在以后的开发中慢慢体悟。
另外，泛型也是可以继承的。
最后，我们还讲解了类型通配符的概念和使用场景。