Java程序设计基础(第2版) 课件 第8章 范型(第2版)

泛型Generics1

泛型接口的名字List后面用尖括号括起来的“E”称为类型形式参数，用以指定元素的类型。2publicinterfaceList<E>extendsCollection<E>{booleanadd(Eo);voidadd(intindex,Eelement);booleanaddAll(Collection<?extendsE>c);booleancontainsAll(Collection<?>c);......}动机在JavaSE没有泛型之前，集体对象中元素的类型只能是Object。可以向线性表中添加任意类型的对象：String类型的对象，或者Integer类型的对象等对于无元素类型约束的添加对象，直到程序在运行时刻才能发现问题如果使用泛型，则可以把问题的发现提前到编译时刻，以语法错误的形式解决NoGenericsDemo.java3使用范型使用newArrayList<Integer>创建线性表，并且指定元素Integer类型这样的语句就告诉编译器，线性表中仅运行存放Integer类型的对象GenericsDemo.java4使用范型通过泛型，编译器就可以通过参数检查保证类型兼容，从而保证了类型安全。如果希望线性表中存放任意数值对象，而不仅仅存放整数对象。也就是说，也允许Float类型、Double类型的对象作为元素GenericsNumberDemo.java58.2范型类声明了类型参数的类称为泛型类类型参数声明在类名后面一对尖括号中MyGenericDemo.java68.3泛型接口含类型参数的接口称作泛型接口例栈接口6个抽象方法，分别完成压栈push弹栈pop查看栈顶元素top判断栈满isFull判断栈空isEmpty清空clearIStack.java7实现类MyStack<E>是IStack<E>的一种基于定长容量线性表的实现。范型接口IStack及其实现类范型栈MyStack的使用MyStack.javaMyStackTest.java88.4泛型方法泛型方法在调用方法的时候指明类型参数的具体类型例：调用范型方法从一个整型线性表中查找首个元素；再从另外一个字符串线性表中查找首个元素该方法的第一个形式参数的类型是List<?extendsNumber>GenericMethodDemo.java9类型记号的约定10<?>通配符（?）表示任意类型。比如在下面的方法的形式参数中，使用通配符把线性表元素声明为任意类型：

publicstaticvoidprintList(List<?>aList){for(Objecto:aList)System.out.println(o);}11<?extendsNumber>而<?extendsNumber>表示任意Number类型的子类型，所以就可以使用Number类型作为元素的类型进行遍历：

publicstaticvoidprintList(List<?extendsNumber>aList){for(Numbero:aList)System.out.println(o);}

12注意List<?extendsNumber>类型的接受Number子类型的对象，如Integer类型的对象或者Double类型的对象。类型List<Integer>和List<?extendsNumber>是兼容类型但是，类型List<Integer>和List<Number>却不是兼容类型。下面的对象创建是错误的：List<Number>list=newArrayList<Integer>();下面对voidprintList(List<Number>aList)的调用是错误的：List<Integer>alist=newArrayList<>();

printList(aList)13类型推理List<Integer>a=newArrayList<>();ArrayList后的<>中省略了Integer。这是因为编译器通过类型推理能够知道ArrayList后的<>中是Integer。14声明类型参数可在泛型方法头部返回值类型之前声明类型参数。例如：public<T>List<T>toListFromArray(T[]a){returnArrays.stream(a).collect(Collectors.toList());}方法头部中的<T>表示该方法将处理泛型T，这个声明是必须的，即使方法的返回值类型为void。15声明多个类型参数例如：publicstatic<T,G>List<G>toListFromArray(T[]a,Function<T,G>mapperFunction){returnArrays.stream(a).map(mapperFunction).collect(Collectors.toList());}16方法头部中声明的mapperFunction函数把元素类型T的数组转换为元素类型G的列线性表。下面的代码片段

Integer[]intArray={1,2,3,4,5};