Java 泛型 泛型方法

Java 泛型 泛型方法

@author ixenos

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

---

• 类型变量放在修饰符（如public static）后面，返回类型的前面
• 一个static方法无法访问泛型类的类型参数，所以，如果static方法需要使用泛型能力，自己必须成为泛型方法，无论在普通类还是泛型类中

  • public static <T> T getMiddle(T...a) {...}

　　

泛型方法的调用

---

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

  • String middle = ArrayAlg.<String>getMiddle("I'm","ixenos");

• 大多数情况下，方法调用可以省略<T>，编译器有足够信息推断出调用的方法，这里利用形参的类型String[]与泛型类型T[]匹配，推断出T是String，故可以调用：

  • String middle = ArrayAlg.getMiddle("I'm","ixenos");

有时候形参会判断失误

---

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

• 编译器会先自动打包一个Double对象和两个Integer对象，然后寻找这些类的共同超类型，找到Number和Comparable接口，这两个也是泛型类型（如Number<T>），故无法确定，这种情况下补救措施是将所有参数写为double值
• 如果想知道编译器对一个泛型方法调用最终判断出哪些类型，可以有目的地引入一个错误参数，根据错误消息得到，，如

• found:
  java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>

  • 大致意思：可以将结果赋给Object、Serializable或Comparable