2014年chap122011 java 课件.pptVIP

Java程序设计(第2版);12.1 泛型 泛型允许在普通类型（类和接口）的基础上做进一步的抽象，为程序代码提供了更容易在编译时检测出错误的能力，并可改善程序的可读性和健壮性。 ;12.1.1 泛型定义 定义泛型时，类型名后多了一对尖括号。尖括号内包括一个或多个类型参数(类型变量、类型形参)。 类型参数能像普通类型一样被用于整个泛型的定义中(有一定的限制)。 使用泛型类时，则需要为类型形参指定一个具体的类型，称为类型实参。 类型参数不是类型本身，也不是类名称的一部分。 ;12.1.2 约束类型参数 约束类型参数可以限制传递给类型参数的类型种类： 类型参数 extends 上限类型[接口类型]… ;12.1.3 泛型与子类型化 一般来说，如果Sub是Super的子类型，G是某种泛型，那么GSub并不是GSuper的子类型。 例子：BoxInteger iBox = new BoxInteger();BoxNumber nBox = iBox; // Compile ErrornBox.set(new Double(10.0));Integer i = iBox.get(); ;12.1.4 通配符(1) public static void print(BoxObject b) { Object o = b.get(); System.out.println(o);};12.1.4 通配符(2) public static void print(Box? b) { Object o = b.get(); System.out.println(o);};12.1.4 通配符(3) 比较：Box?与Box Box? box = integerBox; box.set(new Integer(20)); // Compile Error Box box = integerBox;box.set(new Integer(20)); // Compile Warn;12.1.5 约束通配符(1) public void set(BoxT b) { T o = b.get(); t = o;} 假设当前实例对象的类型为：BoxNumber;12.1.5 约束通配符(2) public void set(Box? extends T b) { T o = b.get(); t = o;} 假设当前实例对象的类型为：BoxNumber;12.1.5 约束通配符(3) ? extends 类型上限例子：? extends Number，指Number类型或其某种子类型。 ? super 类型下限例子：? super Number，指Number类型或其某种超类型。 ;12.1.6 泛型方法 就如在类定义中可以指定类型参数，在方法定义时也可以加入类型参数。加入了类型参数的方法称???泛型方法。 类型参数一般指定在方法修饰符和方法返回类型之间。 声明在方法中的类型参数仅在声明它的方法内有效。 ;12.1.7 类型参数的使用限制(1) (1) 静态上下文中不能使用泛型的类型参数，否则导致编译错。 (2) 不能创建对象，其类型指定为类型参数，否则导致编译错。 (3) 不能创建数组对象，其元素类型指定为类型参数或者参数化类型（除非类型实参是无约束的通配符），否则导致编译错。 ;12.1.7 类型参数的使用限制(2) (4) 不能判断一个实例对象是否为类型参数或参数化类型的对象（除非类型实参是无约束的通配符），否则导致编译错。 (5) 用类型参数或参数化类型作为强制转换的目标类型是没有意义的，此时编译器会给出警告信息。 ;12.1.7 类型参数的使用限制(3) 例子： class BoxT { … public static void m1(T t){} // Compile Error public void m2(Object o) { T obj = new T(); // Compile Error T[] ta = new T[10]; // Compile Error boolean f = o instanceof T; // Compile Error T item = (T)o; // Compile Warn } …} ;12.1.7 类型参数的使用限制(4)