前言

在上一篇文章中，给大家讲解了泛型的概念、作用、使用场景，以及泛型集合、泛型接口和泛型类的用法，但受限于篇幅，并没有把泛型的内容讲解完毕。所以今天我们会继续学习泛型方法、泛型擦除，以及通配符等的内容，希望大家继续做好学习的准备哦。

全文大约【4600】 字，不说废话，只讲可以让你学到技术、明白原理的纯干货！本文带有丰富的案例及配图视频，让你更好地理解和运用文中的技术概念，并可以给你带来具有足够启迪的思考...

一. 泛型方法

1. 简介

我们可以在定义接口和类时使用泛型，这样该接口和类中的所有方法及成员变量等处，也都可以使用该泛型。但其实泛型可以应用在整个类上，也可以只应用在类中的某个方法上。也就是说，方法所在的类可以是泛型类，也可以不是泛型类。方法中是否带有泛型，与其所在的类有没有泛型没有关系。

泛型方法是在调用方法时才确定类型的方法，泛型可以使得该方法独立于类而产生变化。另外，static静态方法无法访问泛型类的类型参数，因此，如果想让一个static方法具有泛型能力，就必须使该静态方法成为泛型方法。

2. 语法

我们在定义泛型方法时，需要在方法名的前面添加类型参数。定义泛型方法的语法格式如下：

[访问权限修饰符] [static] [final] <类型参数列表> 返回值类型 方法名([形式参数列表])

例如：

public static <T> List showInfo(Class<T> clazz,int userId){}

一般情况下，我们编写泛型方法时，必须在该方法的名称前声明要使用的泛型，并且可以同时声明多个泛型，中间也是用逗号分割。接下来就定义一个泛型方法，给大家具体介绍一下泛型方法的创建和使用。

3. 代码案例

这里我们定义一个泛型方法，用于对数组排序后再遍历元素输出，代码如下：

import java.util.Arrays;

public class Demo04 {
	
	//定义了一个静态的泛型方法，遍历数组中的每个元素
	public static <T> void printArray(T[] arr) {
		//先对数组进行排序
		Arrays.sort(arr);
		//再遍历数组元素
	    for (T t : arr) {
	        System.out.print(t + " ");
	    }
	    System.out.println();
	}
	
	public static void main(String[] args) {
		Integer[] nums= {100,39,8,200,65};
		//调用泛型方法
		printArray(nums);
	}
}

在上面的代码中，printArray()就是一个泛型方法，该方法中使用了类型参数T。并且我们在方法的参数中，使用类型参数T定义了一个泛型数组T[]，接着对该数组进行排序和遍历。这样以后无论我们传入任何类型的数组，都可以在不进行类型转换的前提下，轻松实现排序等功能了，这样我们之前提的需求也就很容易实现了。

二. 通配符

除了以上这些用法之外，泛型中还有一个很重要的通配符功能，接下来我们就来看看它是怎么回事。

1. 简介

泛型中的通配符其实也是一种特殊的泛型类型，也称为通配符类型参数。利用通配符类型参数，可以让我们编写出更通用的代码，甚至可以在不知道实际类型的情况下使用它们。我们一般是使用 ? 来代替具体的类型参数，例如 List<?> 在逻辑上可以等同于 List、List 等所有 List<具体类型实参> 的类。

对此，有的小伙伴可能会很好奇，我们为什么需要通配符呢？其实之所以会出现通配符，主要是在开发时，有时候我们需要一个泛型类型，但我们却不知道该使用哪个具体的类型。在这种情况下，我们就可以使用通配符类型参数，让代码更加地通用。比如，我们想编写一个可以接受任何类型的集合，并返回其中最大的元素时，此时我们可能并不确定到底该传入哪个具体的集合，那使用通配符就会更好一些。

2. 通配符的形式

泛型通配符在具体使用时，有如下三种实现形式：

• 未限定通配符(?) ： ?表示未知类型的通配符；
• 上限通配符(? extends T) ： ?表示类型上限的通配符，T是一个类或接口；
• 下限通配符(? super T) ： ?表示类型下限的通配符，T是一个类或接口。

接下来我们针对以上这三种形式，分别通过几个案例来给大家讲解其用法。

3. 未限定通配符(?)

未限定通配符(?)是一种表示未知类型的通配符，它可以在需要一个类型参数的情况下使用。但由于没有限制，因此它只能用于简单的情况，例如集合中的迭代器或者返回类型是泛型的方法等。下面是一个简单的例子：

import java.util.ArrayList;
import java.util.List;

public class Demo05 {

	public static void main(String[] args) {
		List<String> names = new ArrayList<String>();
		List<Integer> ages = new ArrayList<Integer>();
		List<Number> numbers = new ArrayList<Number>();

		names.add("一一哥");
		names.add("秦始皇");
		ages.add(28);
		ages.add(50);
		ages.add(28);
		numbers.add(100);
		numbers.add(800);

		printElement(names);
		printElement(ages);
		printElement(numbers);
	}

	//未限定通配符的使用
	public static void printElement(List<?> data) {
		for(int i=0;i<data.size();i++) {
			//data.getClass().getSimpleName():用于获取某个类的类名
			System.out.println(data.getClass().getSimpleName()+"--data: " + data.get(i));
		}
	}

}

在这个例子中，printElement()方法就接受了一个未知类型的List集合，所以names，ages，numbers都可以作为这个方法的实参，这就是未限定通配符的作用。

4. PECS原则

PECS是Producer Extends Consumer Super的缩写，这是关于Java泛型的一种设计原则。该原则表示，如果我们需要返回T，它是生产者(Producer)，要使用extends通配符；如果需要写入T，它就是消费者(Consumer)，要使用super通配符。该原则可以指导我们在使用泛型时，该如何定义类型参数的上限和下限。

当我们使用泛型时，可能需要定义类型参数的上限和下限。

例如，我们想要编写一个方法来处理一些集合类型，但我们不知道这些集合中到底有什么类型的元素，此时我们就可以定义一个类型参数来处理所有的集合类型。一般我们可以利用extends来设置泛型上限，利用super来设置泛型下限。接下来会在下面的第5和第6小结中，给大家讲解泛型的上限和下限具体该如何实现，请大家继续往下学习。

5. 上限通配符(? extends T)

上限通配符(？extends T)是一种表示类型上限的通配符，其中T是一个类或接口，泛型类的类型必须实现或继承 T这个接口或类。它指定了可以使用的类型上限，主要是用于限制输入的参数类型。

import java.util.ArrayList;
import java.util.List;

/**
 * @author 一一哥Sun 
 */
public class Demo06 {

	public static void main(String[] args) {
		List<String> names = new ArrayList<String>();
		List<Integer> ages = new ArrayList<Integer>();
		List<Number> numbers = new ArrayList<Number>();

		names.add("一一哥");
		names.add("秦始皇");
		ages.add(28);
		ages.add(50);
		ages.add(28);
		numbers.add(100);
		numbers.add(800);
		
		//String等非Number类型就不行
		//printElementUpbound(names);
		
		//泛型值只能是Number及其子类类型,所以Integer/Double/Float等类型都可以，但String就不行
		printElementUpbound(ages);
		printElementUpbound(numbers);
	}

	//上限通配符的使用，这里的泛型值只能是Number及其子类类型
	public static void printElementUpbound(List<? extends Number> data) {
		for(int i=0;i<data.size();i++) {
			//data.getClass().getSimpleName():用于获取某个类的类名
			System.out.println(data.getClass().getSimpleName()+"--data: " + data.get(i));
		}
	}
}

在这个例子中，printElementUpbound方法中的集合泛型，可以是Number类或其子类，除此之外的其他类型都不行。也就是说，我们只能使用Number或其子类作为类型参数，泛型类型的上限是Number，这就是上限通配符的含义。

6. 下限通配符(? super T)

下限通配符(？super T)是一种表示类型下限的通配符，其中T是一个类或接口。它指定了可以使用的类型下限，主要用于限制输出的参数类型。下面是一个简单的例子：

import java.util.ArrayList;
import java.util.List;

public class Demo07 {

	public static void main(String[] args) {
		List<String> names = new ArrayList<String>();
		List<Integer> ages = new ArrayList<Integer>();
		List<Double> numbers = new ArrayList<Double>();

		names.add("一一哥");
		names.add("秦始皇");
		ages.add(28);
		ages.add(50);
		ages.add(28);
		numbers.add(100.0);
		numbers.add(800.9);
		
		//String等非Number类型就不行
		//printElementUpbound(names);
		
		//此时Double类型也不行
		//printElementDownbound(numbers);
		
		//泛型值只能是Integer及其父类类型,所以Double/Float/String等类型都不可以
		printElementDownbound(ages);
		
	}

	//下限通配符的使用，这里的泛型值只能是Integer及其父类类型
	public static void printElementDownbound(List<? super Integer> data) {
		for(int i=0;i<data.size();i++) {
			System.out.println(data.getClass().getSimpleName()+"--data: " + data.get(i));
		}
	}
}

在这个例子中，printElementDownbound方法中的集合泛型，可以是Integer或其父类型，即类型下限是Integer，除此之外的其他类型都不行。也就是说，我们只能使用Integer或其父类作为类型参数，泛型类型的下限是Integer，这就是下限通配符的含义。

7. <? extends T>和<? super T>的区别

在这里，要给大家再总结一下<? extends T>和<? super T>的区别：

• <? extends T> 允许调用 T get()这样的 读方法来获取 T对象 的引用，但不允许调用 set(T)这样的 写方法来传入 T 的引用(传入 null 除外)；
• <? super T> 允许调用 set(T)这样的 写方法传入 T对象 的引用，但不允许调用 T get()这样的 读方法来获取 T对象 的引用(获取 Object 除外)。
• 即 <? extends T> 允许读不允许写， <? super T> 允许写不允许读。

大家注意，无论是未限定通配符、上限通配符还是下限通配符，我们既可以在方法中使用，也可以在类或接口中使用。

三. 泛型擦除

我们在学习泛型时，除了要掌握上面这些泛型类、泛型接口、泛型方法以及通配符等内容之外，还要学习泛型擦除的相关内容。那么什么是泛型擦除呢？我们继续往下学习吧。

1. 简介

所谓的泛型擦除(Type Erasure)，就是指在编译时，JVM编译器会将所有的泛型信息都擦除掉，变成原始类型，一般是将泛型的类型参数替换成具体类型的上限或下限(如果没有指定上界，则默认为Object)。

换句话说，虽然我们在代码中使用了泛型，但在编译后，所有的泛型类型都会被擦除掉，转而使用其对应的原始类型。这就是Java泛型的底层实现原理。这样设计的目的是为了兼容旧的JDK版本，使得Java具有了较好的向后兼容性，旧的非泛型代码可以直接使用泛型类库，而不需要进行任何修改。同时，Java也提供了反射机制来操作泛型类型，使得泛型类型在某些情况下还是可以被获取到的，所以即使有泛型擦除，仍然也不会太影响Java虚拟机的运行时效率。

比如，在我们定义一个泛型类时，我们会使用泛型类型参数来代替具体的类型，好比下面这个例子：

2. 泛型擦除带来的限制

在编译之后，这个泛型类的类型参数T就会被擦除，成为其对应的原始类型Object。

这也意味着，我们无法在运行时获取到泛型的实际类型参数，所以泛型擦除的使用会有一些限制。首先由于泛型类型参数被擦除了，因此我们在运行时就无法获得泛型类型参数的信息。例如，如果我们有一个List类型的变量，在运行时我们就无法获得这个List集合中的元素类型是Integer。另一个限制是在使用泛型类型时，还需要注意类型安全性。在编译阶段，编译器会检查泛型类型的类型安全性；但在运行阶段，由于泛型类型参数被擦除了，因此就无法保证类型安全性了。泛型擦除的限制，主要表现在以下几个方面：

无法使用基本类型实例化类型参数；

无法在运行时获取泛型类型信息；

泛型类型参数不能用于静态变量或静态方法；

不能实例化T类型。

接下来再给大家具体分析一下这些限制

2.1 无法使用基本类型实例化类型参数

Java泛型中的类型参数不能是基本类型，只能是类或接口类型。例如，以下代码在编译阶段会出错，无法通过编译：

List<int> list = new ArrayList<int>();

正确的写法是使用基本类型对应的包装类型，如下所示：

List<Integer> list = new ArrayList<Integer>();

2.2 无法在运行时获取泛型类型信息

由于泛型擦除的存在，导致我们在程序运行时无法获取泛型类型的信息。例如，以下代码在运行时就无法获取List的元素类型：

List<String> list = new ArrayList<String>(); 
Class<?> clazz = list.getClass(); 
Type type = clazz.getGenericSuperclass(); 
// 输出：class java.util.ArrayList<E>
System.out.println(type); 

在输出的结果中，我们只能得到ArrayList的类型信息，而无法获取到集合中具体的泛型类型信息，也就是获取不到String的信息。但如果我们就是想在运行时获取到泛型的实际类型参数，其实可以参考以下方式进行实现：

public class Box<T> {
    private T content;

    public Box(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }

    public void setContent(T content) {
        this.content = content;
    }

    public Class<?> getContentType() {
        return content.getClass();
    }
}

在上面的代码中，我们新增了一个方法 getContentType()，该方法用于返回泛型类型参数的实际字节码类型，以后我们通过调用这个方法，就可以间接地获取到泛型类型的信息了。

2.3 泛型类型参数不能用于静态变量或静态方法

由于泛型类型参数是在实例化对象时才被确定的，因此不能在静态变量或静态方法中使用泛型类型参数。例如，以下代码是无法编译通过的：

public class MyClass<T> {   
    //这样的代码编译不通过
    private static T value;   
    
    public static void setValue(T value) {        
        MyClass.value = value;     
    } 
}

正确的写法是使用一个实际类型来代替泛型类型参数：

public class MyClass {     
    private static String value;          
    public static void setValue(String value) {         
        MyClass.value = value;     
    } 
}

2.4 不能实例化T类型

比如在下面的案例中：

public class MyClass<T> {
    private T first;
    private T last;
    
    public MyClass() {
        first = new T();
        last = new T();
    }
}

上述代码无法通过编译，因为构造方法的两行语句：

first = new T(); 
last = new T(); 

擦拭后实际上变成了：

first = new Object(); 
last = new Object(); 

这样一来，创建new MyClass<String>()和创建new MyClass<Integer>()就变成了Object，编译器会阻止这种类型不对的代码。如果我们想对泛型T进行实例化，需要借助Class< T >参数并集合反射技术来实现，且在使用时也必须传入Class< T >。

四. 结语

不过，尽管泛型擦除有一些限制，但泛型仍然不失为一种强大的编程工具，它可以提高代码的可读性和可维护性。通过合理地使用泛型，我们可以在编译时进行类型检查，避免类型转换的错误和运行时异常，从而提高了代码的安全性和可靠性。同时，我们也需要了解Java泛型擦除的限制，以便在实际应用中做出正确的决策。

视频教程：视频教程，戳我直达