Java泛型5——泛型通配符

注：以下内容基于Java 8，所有代码都已在Java 8环境下测试通过

目录：

• Java泛型1——概述
• Java泛型2——泛型类
• Java泛型3——泛型接口
• Java泛型4——泛型方法
• Java泛型5——泛型通配符
• Java泛型6——类型擦除

1. 什么是通配符

在Java中，类与类之间是有继承关系的。例如，Integer 类继承自 Number 类，因此Integer 类的对象可以赋值给 Number 类的引用（即向上转型，这是可以实现多态性的一个重要因素）。但集合之间没有这种关系，也就是 LinkedList 和 LinkedList之间并没有继承关系，它们都是LinkedList 类。因此 LinkedList 的集合并不能存放Integer 类型的变量（虽然Integer 类继承自 Number 类）。

比如下面这段代码：

public class Main {
    private static void dealTest(Test<Father> test) {
        System.out.println(test.getClass());
    }

    public static void main(String[] args) {
        Test<Father> tesF = new Test<>();
        Test<Child> testC = new Test<>();

        Main.dealTest(tesF);
        Main.dealTest(testC);//编译器报错
    }
}

class Father {

}

class Child extends Father {

}

class Test<T> {

}

这段代码定义了一个泛型类 Test ，并定义了一个处理该类的静态方法 dealTest()，该类接受一个 Test 对象作为参数。根据上面的介绍可以知道，虽然Child 是 Father 的子类，但Test 和 Test 之间并没有继承关系，因此静态方法 dealTest()不能接受一个 Test 对象。因此，若想让静态方法 dealTest()处理Test 对象，还需对其进行重载：

private static void dealTest(Test<Child> test) {
    
}

但这显然违背了多态性的设计理念，而且这是编译器不允许的做法。如果能让 dealTest()方法不只接受Test对象，而是让其接受Test对象，其中XXX代表某一类型内的类型参数，那么上面这个问题就可以解决了。

这就是泛型通配符的作用：泛型通配符用于限制类型参数的范围。

泛型通配符有 3 种形式：

• ：无界通配符
• ：有上界的通配符
• ：有下界的通配符

2. 无界通配符

2.1 无界通配符的定义和使用

无界通配符：，其中 ? 代表了任意一种数据类型。比如，下面这段代码：

public class Main {
    private static void dealTest(Test<?> test) {//?代表可以使用任意一种数据类型
        System.out.println(test.getClass());
    }

    public static void main(String[] args) {
        Test<Father> tesF = new Test<>();
        Test<Child> testC = new Test<>();
        Test<Integer> testI = new Test<>();

        Main.dealTest(tesF);
        Main.dealTest(testC);
        Main.dealTest(testI);
    }
}

class Father {

}

class Child extends Father {

}

class Test<T> {

}

由于使用了无界通配符，dealTest()方法可以接受具有不同泛型参数的泛型类 Test的对象。

2.2 无界通配符注意事项

• 不要混淆 Test