Java定义泛型方法

一点睛

1 如果定义类、接口是没有使用类型形参，但定义方法时想自己定义类型形参，这也是可以的，JDK1.5还提供了泛型方法的支持。

2 泛型方法的语法格式为：

修饰符 <T , S> 返回值类型方法名(形参列表)

{

//方法体...

}

3 泛型方法的方法签名比普通方法的方法签名多了类型形参声明，类型形参声明以尖括号括起来，多个类型形参之间以逗号（,）隔开，所有类型形参声明放在方法修饰符和方法返回值类型之间。

4 与类、接口中使用泛型参数不同的是，方法中的泛型参数无需显式传入实际类型参数，因为编译器根据实参推断类型形参的值。它通常推断出最直接的类型参数。

5 大时候都可以使用泛型方法来代替类型通配符。

6 泛型方法允许类型形参被用来表示方法的一个或多个参数之间的类型依赖关系，或者方法返回值与参数之间的类型依赖关系。如果没有这样的类型依赖关系，不应该使用泛型方法。

二实战

import java.util.*;

public class GenericMethodTest
{
   // 声明一个泛型方法，该泛型方法中带一个T类型形参，
   static <T> void fromArrayToCollection(T[] a, Collection<T> c)
   {
      for (T o : a)
      {
         c.add(o);
      }
   }
   public static void main(String[] args)
   {
      Object[] oa = new Object[100];
      Collection<Object> co = new ArrayList<>();
      // 下面代码中T代表Object类型
      fromArrayToCollection(oa, co);
      String[] sa = new String[100];
      Collection<String> cs = new ArrayList<>();
      // 下面代码中T代表String类型
      fromArrayToCollection(sa, cs);
      // 下面代码中T代表Object类型
      fromArrayToCollection(sa, co);
      Integer[] ia = new Integer[100];
      Float[] fa = new Float[100];
      Number[] na = new Number[100];
      Collection<Number> cn = new ArrayList<>();
      // 下面代码中T代表Number类型
      fromArrayToCollection(ia, cn);
      // 下面代码中T代表Number类型
      fromArrayToCollection(fa, cn);
      // 下面代码中T代表Number类型
      fromArrayToCollection(na, cn);
      // 下面代码中T代表Object类型
      fromArrayToCollection(na, co);
      // 下面代码中T代表String类型，但na是一个Number数组，
      // 因为Number既不是String类型，
      // 也不是它的子类，所以出现编译错误
//    fromArrayToCollection(na, cs);
   }
}

三错误用法

import java.util.*;

public class ErrorTest
{
   // 声明一个泛型方法，该泛型方法中带一个T类型形参,两个参数类型必须一致
   static <T> void test(Collection<T> from, Collection<T> to)
   {
      for (T ele : from)
      {
         to.add(ele);
      }
   }
   public static void main(String[] args)
   {
      List<Object> as = new ArrayList<>();
      List<String> ao = new ArrayList<>();
      // 下面代码将产生编译错误，传参类型不一致，编译器迷惑了
      // test(as , ao);
   }
}

四正确用法

import java.util.*;

public class RightTest
{
   // 声明一个泛型方法，该泛型方法中带一个T形参
   static <T> void test(Collection<? extends T> from , Collection<T> to)
   {
      for (T ele : from)
      {
         to.add(ele);
      }
   }
   public static void main(String[] args)
   {
      List<Object> ao = new ArrayList<>();
      List<String> as = new ArrayList<>();
      // 下面代码完全正常,因为前一个集合的元素类型是后一个集合元素类型的子类型
      test(as , ao);
   }
}

猜你喜欢