Java 泛型基础:
1、为什么要使用java泛型?
场景分析:写一个排序方法,能够对整型数组、字符串数组甚至其他任何类型的数组进行排序,该如何实现?那么肯定是使用java泛型,也就是写一个泛型方法来对一个对象数组排序。然后,调用该泛型方法来对整型数组、浮点数数组、字符串数组等进行排序。
2、泛型说明
Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
泛型方法
泛型方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型,编译器适当地处理每一个方法调用。
下面是定义泛型方法的规则:
(1)所有泛型方法声明都有一个类型参数声明部分(由尖括号分隔),该类型参数声明部分在方法返回类型之前(在下面例子中的<E>)。
(2)每一个类型参数声明部分包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。
(3)类型参数能被用来声明返回值类型,并且能作为泛型方法得到的实际参数类型的占位符。
(4)泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型,不能是原始类型(像int,double,char的等)。
案例一:无界
/** * 泛型方法测试 */ public class GenericsMethodTest { //泛型方法 public static <E> void printAllArrays(E[] arrays){ //输出数组元素 for (E e : arrays) { System.out.printf("%s ",e); } System.out.println(); } public static void main(String[] args) { //不同类型的数组 Integer[] ints={1,2,3,4,5}; Double[] dous={1.1,2.1,3.4,4.5,5.5}; Character[] chas={'A','B','C','D','E'}; System.out.println("输出整数型数组:"); printAllArrays(ints); System.out.println("输出双精度型数组:"); printAllArrays(dous); System.out.println("输出字符串型数组:"); printAllArrays(chas); /** * 输出结果为: * 输出整数型数组: * 1 2 3 4 5 * 输出双精度型数组: * 1.1 2.1 3.4 4.5 5.5 * 输出字符串型数组: * A B C D E */ } }
案例二:有界
/** * 泛型方法,带有限制边界 * extends(类)或者implements(接口) * 泛型方法返回三个可比较对象的最大值 */ public class GenericsBoundMethodTest { //比较三个值中最大值 public static <T extends Comparable<T>> T maxNum(T x,T y,T z){ T max=x; if(y.compareTo(max)>0){ max=y; }else if(z.compareTo(max)>0){ max=z; } return max; } public static void main(String[] args) { System.out.printf( "%d, %d 和 %d 中最大的数为 %d\n\n",3, 4, 5, maxNum( 3, 4, 5 ) ); System.out.printf( "%.1f, %.1f 和 %.1f 中最大的数为 %.1f\n\n",6.6, 8.8, 7.7, maxNum( 6.6, 8.8, 7.7 ) ); System.out.printf( "%s, %s 和 %s 中最大的数为 %s\n","pear","apple", "orange", maxNum( "pear", "apple", "orange" ) ); /** * 输出结果: * 3, 4 和 5 中最大的数为 4 * 6.6, 8.8 和 7.7 中最大的数为 8.8 * pear, apple 和 orange 中最大的数为 pear */ } }
限制那些被允许传递到一个类型参数的类型种类范围。例如,一个操作数字的方法可能只希望接受Number或者Number子类的实例。这就是有界类型参数的目的。
要声明一个有界的类型参数,首先列出类型参数的名称,后跟extends关键字,最后紧跟它的上界。
注意:"extends"(类)或者"implements"(接口)。
泛型类
泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分。
和泛型方法一样,泛型类的类型参数声明部分也包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数,这些类被称为参数化的类或参数化的类型。
案例一:
/** * 泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分。 */ public class GenericsClassTest<T> { private T t; public void add(T t){ this.t=t; } public T get(){ return t; } public static void main(String[] args) { GenericsClassTest<Integer> ints=new GenericsClassTest<Integer>(); GenericsClassTest<String> strs=new GenericsClassTest<String>(); ints.add(new Integer(10)); strs.add(new String("菜鸟教程")); System.out.printf("整型值为 :%d\n\n", ints.get()); System.out.printf("字符串为 :%s\n", strs.get()); /** * 整型值为 :10 * 字符串为 :菜鸟教程 */ } }
类型通配符
1、类型通配符一般是使用?代替具体的类型参数。例如 List<?> 在逻辑上是List<String>,List<Integer> 等所有List<具体类型实参>的父类。
案例一:
/** * 类型通配符 */ public class GenericsTest { public static void main(String[] args) { List<Integer> ints=new ArrayList<Integer>(); List<String> strs=new ArrayList<String>(); List<Number> nums=new ArrayList<Number>(); strs.add("小李"); ints.add(18); nums.add(321); getFirstData(strs); getFirstData(ints); getFirstData(nums); // getUperNumber(strs); //方法中的参数已经限定了参数泛型上限为Number,所以泛型为String是不在这个范围之内,所以编译时会报错 getUperNumber(ints); getUperNumber(nums); // getSuperNumber(strs); //类型通配符下限通过形如 List<? super Number>来定义,表示类型只能接受Number及其三层父类类型,如Objec类型的实例。 // getSuperNumber(ints); //类型通配符下限通过形如 List<? super Number>来定义,表示类型只能接受Number及其三层父类类型,如Objec类型的实例。 getSuperNumber(nums); /** * 结果: * data:小李 * data:18 * data:321 */ } /** * 无限定通配符 * @param data */ public static void getFirstData(List<?> data){ System.out.println("data:" + data.get(0)); } /** * 参数已经限定了参数泛型上限为Number * <? extends T>表示该通配符所代表的类型是T类型的子类。 * 方法中的参数已经限定了参数泛型上限为Number * @param data */ public static void getUperNumber(List<? extends Number> data) { System.out.println("data :" + data.get(0)); } /** * 参数已经限定了参数泛型下限为Number * <? super T>表示该通配符所代表的类型是T类型的父类。 * 表示类型只能接受Number及其父类类型,如Objec类型的实例。 * @param data */ public static void getSuperNumber(List<? super Number> data) { System.out.println("data :" + data.get(0)); } }
解析: 因为getData()方法的参数是List类型的,所以strs,ints,nums都可以作为这个方法的实参,这就是通配符的作用。