79、Java泛型类与方法中的通配符详解

Java泛型类与方法中的通配符详解

1. 泛型方法概述

泛型方法和泛型类是Java中非常强大的特性。泛型方法允许我们用一个方法声明来指定一组相关的方法，而泛型类和接口则能让我们指定一组相关的类型。

在Java编程中，当我们需要对不同类型的数据执行相似操作时，通常会使用重载方法。但如果这些操作对于每个参数类型都是相同的，那么使用泛型方法会更加简洁和方便。一个泛型方法声明可以接受不同数据类型的参数，编译器会根据传递给泛型方法的参数类型来正确处理每个方法调用。

所有泛型方法声明都有一个类型参数部分，用尖括号 <> 分隔，该部分位于方法返回类型之前。类型参数部分包含一个或多个用逗号分隔的类型参数，类型参数是指定泛型类型名称的标识符，它可以用作泛型方法声明中的返回类型、参数类型和局部变量类型，并且作为传递给泛型方法的参数类型的占位符，这些参数类型被称为实际类型参数。需要注意的是，类型参数只能表示引用类型。

2. 泛型方法的编译时转换

当编译器遇到方法调用时，它会确定参数类型，并尝试找到一个名称和参数与方法调用中的参数类型兼容的方法声明。如果没有这样的方法，编译器会搜索具有相同名称和兼容参数的方法以及匹配的泛型方法。

在编译泛型方法时，编译器会执行类型擦除操作，即移除类型参数部分，并将类型参数替换为实际类型。默认情况下，每个类型参数会被替换为其上限类型，除非另有指定，否则上限类型为 Object 。当对返回类型变量的方法执行类型擦除时，编译器会在每个方法调用前插入显式强制类型转换，以确保返回值具有调用者期望的类型。

3. 泛型方法的重载