Java泛型解析(02)：通配符限定

Java泛型解析(02)：通配符限定

     考虑一个这样的场景，计算数组中的最大元素。

[code01]

    public class ArrayUtil {
           public static <T> T max(T[] array) {
                    if (array == null || 0 == array.length) { return null ;}
                   T max = array[0];
                    for (int i = 1; i < array.length; i++) {
                              if (max.compareTo(array[i]) < 0) {max = array[i];}
                   }
                    return max;
          }
     }

     仔细看看code01里面的代码(代码不完整)，使用类型参数T定义一个max局部变量，这几意味着这个max可以是任意的类型，那么max.compareTo(array[i]) 方法的调用的前提是T所属的类中有compareTo方法，怎么能做到这一点呢？别着急，让我们来看看如何给类型参数进行限定，现在来对code01中的代码进行完善。

[code02]

    public class ArrayUtil {
           public static <T extends Comparable<T>> T max(T[] array) {
                    if (array == null || 0 == array.length) { return null ;}
                   T max = array[0];
                    for (int i = 1; i < array.length; i++) {
                              if (max.compareTo(array[i]) < 0) {max = array[i];}
                   }
                    return max;
          }
     }

     注意看，我们定义类型参数的变化：<T extends Comparable<T>>，这里将T类型限定在Comparable及其所有的子类。是不是很好奇Comparable明明是一个interfacce，根据所学知识判断，实现interface用的关键字是implements，为什么呢？
     <T extends Bounding Type>，表示T类型应该是绑定类型及其子类型(subType)，T和绑定类型可以是类或者接口，使用extends关键字因为它更接近于子类的概念，另外Java设计者并不打算为Java添加新的关键字如：sub

     如果给T限定多个类型，则需要使用符号"&"，如下面格式

[code03]

     <T extends Runnable & Serializable>

     细心的读者可能会发现，这里限定的都是interface，如果限定为class是不是也这么自由的呢？先不急着回答这个问题，我们知道Java中可以实现多个接口，而继承只能是单继承，可想而知，当我们给T限定类型的时候，限定为某个class的时候是有限制的，看看下面几组泛型限定的代码

[code04]

     <T extends Runnable & Serializable & ArrayList> // 错误
     <T extends Runnable & ArrayList & Serializable> // 错误
     <T extends ArrayList & LinkedList & Serializable> // 错误
     <T extends ArrayList & Runnable& Serializable> // 正确

     不难看出，如果要限定T为class的时候，就有一个非常严格的规则，这个class只能放在第一个，最多只能有一个class。其实很容易理解&#x