第01-1章_泛型.pptVIP

泛型(Generics) 集合类中的数据类型 集合类中可以存储各种数据，数据一旦存入，其类型均会转化为Object类型。 从集合类中取出数据时，一般均需要将Object类型转换回存入之前的实际类型 Vector v=new Vector(); v.add(张三); //存入字符串 String name=(String)v.get(0); //强制类型转换，OK v.add(new Date()); //存入当前时间对象，OK /* 由于Date类型不能转换为String，下面语句会在运行时发生错误，但这种错误在编译时不会被检查出来 */ String date=(String)v.get(1); //编译器不会发现这里有问题 强类型集合 传统的集合类的实例中可以存储任意类型数据，这种集合类称为弱类型集合类。 JDK1.5以后，引入了强类型集合类 强类型集合类中，只能存储指定类型的数据 在强类型集合类中取出数据时，无需进行类型转换处理，如果数据类型不配备，编译时会直接报错 强类型集合并没有引入新的类名，只需在定义原有集合对象时，用尖括号()指明其存储的数据类型名称即可。 强类型集合示例 //下面的向量类的实例中只能存储字符串类型数据 VectorString v=new VectorString(); v.add(张三); //加入的是字符串，OK String name=v.get(0); //取出时，无需做类型转换 /* 如果想在这种强类型集合中加入日期数据，在编译时就会报告错误 */ v.add(new Date()); //编译器会直接报告类型不匹配错误 定义泛型(Generics)类 强类型集合采用了JDK1.5引入的泛型语法。 泛型相当于类中一种特殊的类型，这种类型的特点是在实例化该类时可指定为某个具体的实际类型。 声明包含泛型的类的格式如下： [访问修饰符] class 类名泛型1,泛型2,…{ 泛型1 泛型成员1; 泛型2 泛型成员2; //.... } 声明中的泛型1、泛型2等等泛型符号可以是任意合法的Java标识符。 泛型类的声明示例 泛型类的实例化 创建泛型类的实例时，可以使用一对尖括号指定泛型的真正类型 实例化时的泛型的默认类型 泛型类实例化时，并不一定要指明泛型对应的实际类型，此时会使用Object作为泛型的默认类型 编译时编译器会发出警告： 建立类型为泛型类的数组 如果要建立泛型类的数组，需要注意new关键字后面不要加入泛型的实际类型名，如下所示： 包含多个泛型的类定义示例 包含有两个泛型定义的类声明和实例化： 泛型成员的使用 在泛型类中的泛型成员不能直接实例化，其实例必须要通过方法的参数传递给泛型成员： 泛型成员实例化示例 通过方法的泛型参数，将数组的实例传递给类中的泛型数组： 泛型成员的可用方法 由于泛型类型只有在类实例化后才能确定，类中的泛型成员只能使用Object类型中的方法： 限制泛型上限类型 extends关键字用来指定泛型的上限，在实例化泛型类时，为该泛型指定的实际类型必须是指定类的子类或指定接口的子接口 在限定泛型的类型时，无论要限定的是接口或是类，都要使用extends关键词 限制泛型上限类型的示例 默认的泛型限制类型 定义泛型类别时，如果只写以下代码： 相当于下面的定义方式 限定泛型上限后的成员可用方法 泛型类型的上限一经限定，类中的泛型成员就可使用上限类型中的方法和其他可用成员： 泛型类实例之间的赋值 同一泛型类，如果实例化时给定的实际类型不同，则这些实例的类型是不兼容的，不能相互赋值。 泛型中的Object类型兼容性 Object是所有类的父类，因此，所有的类型的实例都可赋值给声明为Object类型的变量 在实例化泛型类时，将泛型指定为Object类型却不存在着和其他类型之间的兼容性： 泛型通配字符（Wildcard） 泛型类实例之间的不兼容性会带来使用的不便。 使用泛型通配符(?)声明泛型类的变量可以解决这个问题 通配符用作方法的参数 通配符也可以用于方法的参数类型的声明，表示该参数可接受对应泛型类型的任意实例。 以下类定义中的printCollection方法可以打印任意强类型集合中的内容 为通配符指定匹配上限 和限制泛型的上限相似，同样可以使用extends关键字限定通配符匹配类型的上限： 限定通配符匹配类型的下限 还可以使用super关键词将通配符匹配类型限定为某个类型及其父类型 通配符对泛型成员的影响 一旦对象使用通配字符声明，就无法利用它为类中的泛型成员传入新的实例，这时只能读取其中的泛型成员或者移除泛型成员存储的