本文包含：

1. 定义泛型方法
2. 泛型方法和类型通配符的区别
3. Java 7 的“菱形”语法与泛型构造器
4. 设定通配符·下限
5. 泛型方法与方法重载
6. Java 8 改进的类型推断

1. 定义泛型方法

假设需要实现这样一个方法：该方法负责将一个 Object 数组的所有元素添加到一个 Collection 集合中。考虑采用如下代码来实现该方法：

上面定义的方法没有任何问题，关键在于方法中的c 参数，它的数据类型是 Collection。正如前面介绍的，Collection 不是 Collection 的子类型—所以这个方法的功能很有限，它只能将 Object[] 数组的元素复制到元素为 Object （Object 的子类不行）的Collection 集合中，即下面代码会引起问题。

可见上面方法的参数类型不可以使用 Collection，
使用通配符 Collection<?> 也不行，因为Java 不允许把对象放进一个未知类型的集合里。
为解决这个问题，可以使用 Java 5 提供的泛型方法，在声明方法时定义一个或多个类型形参。泛型用法格式如下：

该泛型方法的方法签名比普通方法的方法签名多了类型形参声明，类型形参声明以尖括号括起来，多个类型形参直接以逗号（，）隔开，所有的类型形参声明放在方法修饰符和返回值类型之间。
采用支持泛型的方法，就可以将上面的 fromArrayToCollection 方法改写为如下形式：

下面程序示范了完整用法：


上面程序调用了一个泛型方法，该泛型方法中定义了一个 T 类型形参，这个 T 类型形参就可以在该方法内当成普通类型使用。与接口、类声明中定义的类型参数不同的是，方法声明中定义的形参只能在该方法内使用，而接口、类声明中定义的类型形参则可以在整个接口、类中使用。

与类，接口中泛型参数不同的是，方法中的泛型参数无须显式传入实际类型参数，如上面程序所示，当程序调用 fromArrayToCollection() 方法时，无须在调用该方法前传入String、Object 等类型，但系统依然可以知道类型参数的数据类型，因为编译器根据实参推断类型实参的值，它通常推断出最直接的类型参数。例如，下面调用程序：

上面代码中 cs 是一个 Collection 类型，与方法定义时的 fromArrayToCollection(T[] a, Collection c)进行比较—只比较泛型参数，不难发现该 T 类型形参代表的实际类型是 String 类型。
对于如下调用代码：

上面的 cn 是Collection 类型，与此方法的方法签名进行比较—只比较泛型参数，不难发现该T 类型形参代表了 Number 类型。
在下面程序中：

上面程序中定义了 test() 方法，该方法用于将前一个集合中的元素复制到下一个集合中，该方法中的两个形参from、to 的类型都是 Collection，这要求调用该方法时的两个集合实参中的泛型类型相同，否则编译器无法准确地推断出泛型方法中类型形参的类型。

上面程序中定义了 test() 方法，该方法用于将集合中的元素复制到下一个集合中，该方法中的两个形参from、to 的类型都是 Collection，这要求调用该方法时的两个集合实参中的泛型类型相同，否则编译器无法准确地推断出泛型方法中类型形参的类型。

上面程序中调用 test 方法传入两个实际参数，其中 as 的数据类型是 List，而 ao 的数据类型是 List，与泛型方法签名进行对比：test(Collection a,Collection c>，编译器无法正确识别 T 所代表的实际类型。
为了避免此错误，可将方法改为如下：

2. 泛型方法和类型通配符的区别

大多数时候都可以使用泛型方法来代替类型通配符。例如，对于 Java 的Collection 接口中两个方法定义：

上面集合中两个方法的形参都采用了类型通配符的形式，也可以采用泛型方法的形式，如下所示：

上面方法使用了 泛型形式，这时定义类型形参时设定上限（其中 E 是Collection 接口里定义的类型形参，在该接口里 E 可以当成普通类型使用）
上面两个方法中类型形参 T 只使用了一次，类型形参 T 产生的唯一效果是可以在不同的调用点传入不同的实际类型。对于这种情况，应该使用通配符。通配符就是被设计用来支持灵活的子类化的。
泛型方法允许类型形参被用来表示方法的一个或多个参数之间的依赖关系，或者方法返回值与参数之间的类型依赖关系。如果没有这样的类型依赖关系，就不应该使用类型方法。

如果有需要，也可以同时使用泛型方法和通配符，如 Java 的 Collections.copy()方法。

3. Java 7 的“菱形”语法与泛型构造器

泛型构造器可以在构造器签名中声明类型形参，那么在调用构造器时就可以根据数据类型来推断类型形参的类型，程序员也可以显式的为构造器中的类型形参指定实际的类型。

4. 设定通配符下限

假设自己实现一个工具方法：实现将 src 集合里的元素复制到 dest 集合里的功能，因为 dest 集合可以保存 src 集合里的所有元素，所以 dest 集合元素里的类型应该是 src 集合元素类型的父类。为了表示两个参数之间的类型依赖，可以考虑同时使用通配符、泛型参数来实现这些方法。

上面方法实现了前面的类型。现在假设该方法需要一个返回值，返回最后一个被复制的元素，则可以把上面方法改为如下形式：

在遍历 src 集合元素时，src 元素的类型是不确定的（只可以肯定它是 T 的子类），程序只能用 T 来笼统表示各种 src 集合的元素类型。



使用这种语句，可以保证程序的 1 处调用后推断出最后一个被复制的元素类型是 Integer，而不是笼统的 NUmber 类型。
实际上， Java 集合框架中的 TreeSet 有一个构造器也用到了这种设定通配符下限的语句，如下所示：

TreeSet 会对集合中的元素按自然顺序或定制顺序进行排序。如果需要 TreeSet 对集合中的所有元素进行定制排序，则要求 TreeSet 对象有一个与之关联的 Comparator 对象。上面构造器中的参数 c 就是进行定制排序的 Comparator 对象。
Comparator 接口也是一个带泛型声明的接口：

通过这种带下限的通配符的语法，可以在创建 TreeSet 对象时灵活选择合适的 Comparator 。假定需要创建一个 TreeSet 集合，并传入一个可以比较 String 大小的 Comparator，这个 Comparator 既可以是 Comparator，也可以是 Comparator —只要尖括号里传入的类型是String 的父类型（或它本身）即可。

通过使用这种通配符下限的方式来定义 TreeSet 构造器的参数，就可以将所有可用的 Comparator 作为参数传入，从而增加了程序的灵活性。当然，不仅 TreeSet 有这种用法，TreeMap 也有类似的用法。

5. 泛型方法与方法重载

因为泛型既允许设定通配符的上限，也允许设定通配符的下限，从而允许在一个类里包含如下两个方法定义：


上面的 MyUtils 类中包含两个 copy() 方法，这两个方法的参数列表有区别。

6. Java 8 改进的类型推断

类型推断主要有如下两个方面：

1. 可通过调用方法的上下文来推断类型参数的目标参数
2. 可在方法调用链中，将推断得到的类型参数传递到最后一个方法。
   
   上面程序中前两行粗体字代码的作用完全相同，但第一行代码无须在调用 MyUtil 类的 nil()方法时显式指定类型参数为 String ，这是因为程序需要将该方法的返回值赋值给 MyUtil类型，因此系统可以自动推断出此处的类型参数为 String 类型。
   上面程序中第 3 行与第 4 行粗体字代码的作用也完全相同，但第 3 行粗体字代码也无须在调用 MyUtil 类的 nil() 方法时显式指定类型参数为 Integer，这是因为程序将 nil() 方法的返回值作为了 MyUtil 类的 cons() 方法的第二个参数，而程序可以根据 cons() 方法的第一个参数（42）推断出此处的类型参数为 Integer 类型。
   虽然 Java 8 增强了泛型推断的能力，但也不是万能的。下面代码就是错的：
   
   因此，上面这行代码必须显式指定类型参数，即将代码改为如下形式：