Java核心技术卷I：基础知识(原书第8版):12.3 泛型方法

铁文整理

12.3 泛型方法

    前面已经介绍了如何定义一个泛型类，实际上，还可以定义一个带有类型参数的简单方法。

    public static <T> T getMiddle(T[] a) {

        return a[a.length / 2];

    }

    这个方法是在普通类中定义的，而不是在泛型类中定义的。然而，这是一个泛型方法，可以从尖括号和类型变量看出这一点。注意，类型变量放在修饰符（这里是public static）的后面，返回类型的前面。

    泛型方法可以定义在普通类中，也可以定义在泛型类中。

    当调用一个泛型方法时，在方法名前的尖括号中放入具体的类型：

        String[] names = { "John", "Q.", "Public" };

        String middle = ArrayAlg.<String> getMiddle(names);

    在这种情况（实际也是大多数情况）下，方法调用中可以省略<String>类型参数。编译器有足够的信息能够推断出所调用的方法。它用name的类型（即String[]）与泛型类型T[]进行匹配并推断出T一定是String。也就是说，可以调用

        String middle = ArrayAlg.getMiddle(names);

    在大多数情况下，对于泛型方法的类型引用没有问题。偶尔，编译器也会提示错误，此时需要解译错误报告。看一看下面这个示例：

        double middle = ArrayAlg.getMiddle(3.14, 1729, 0);

    错误消息是“foudn: java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Compable<?>>, required:double”。在本章稍后将学习如何解译“found”类型的声明。简单地说，编译器将会自动打包参数为1个Double和2个Integer对象，而后寻找这些类的共同超类型。事实上，找到2个这样的超类型：Number和Comparable接口，其本身也是一个泛型类型。在这种情况下，可以采取的补救措施是将所有的参数写为double值。

    提示：如果想知道编译器对一个泛型方法调用最终推断出哪种类型，Peter von der Ah e推荐了这样一个窍门：有目的地引入一个错误，并研究所产生的错误消息。例如，看一下调用ArrayAlg.getMiddle("Hello", 0, null)。将结果赋给JButton，这不可能是正确的。将会得到一个错误报告“found:java.lang.Object&java.io.Serializable&java.lang.Compable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>.”大致的意思是：可以将结果赋给Object、Serializable或Comparable。

    C++注释：在C++中将类型参数放在方法名后由，有可能会导致语法分析的歧义。例如，g(f<a, b>(c))可以理解为“用f<a, b>(c)的结果调用g”或者理解为“用两个布尔值f<a和b>(c) 调用g”。