Java程序设计及应用 李宗军 04新.ppt

第9讲： 泛型 内容提要 为什么要引入泛型 定义简单的泛型 泛型和子类继承 泛型的通配符 泛型方法和类型推断 为什么要引入泛型 从JDK 1.5开始引入了Generics（泛型）。这是因为在对实例对象作向下类型强制转换时，存在潜在的类型不匹配的问题。尤其在使用集合（详见第8章）对象时，更是如此。 为了解决这样的问题，Java引入了泛型。简言之，引入泛型是为了提高代码的安全性和编程的简单性。 定义简单的泛型 泛型，就是把引用类型进行参数化，注意是引用类型，不是基本类型。在定义一个泛型类的时候，在“”之间定义泛型参数。 例程 泛型参数不能用于使用static修饰的成员变量、成员方法。这是因为泛型参数是属于动态的，与static不相容。 泛型和子类继承 如果Foo是Bar的一个子类型（子类或者子接口），而G是某种泛型声明，那么GFoo是GBar的子类型并不成立。 泛型参数可以继承其他的类和接口，如果有多个接口或类可以用符号连接（包括三种情况：多个纯接口、多个纯类、多个接口和类混合），是“和”、“并且”的意思。通过extends限制了泛型参数的范围。 注意：这里泛型的extends与Java接口或类的extends不是一个概念，泛型中的extends的含义是左边的操作数或者是右边的类型或是右边的子孙类型，即右边的类型是左边类型的上界。 泛型的通配符 List? extends Number 表示类型变量是Number或者Number的子类。这个就是所谓的上界通配符，同样，如果要表示类型变量是Number或者Number的super类型，可以使用下界通配符： List? super Number 通配符 List? 等价于：List? extends Object 通配符只能用于成员变量、局部变量、参数类型和返回类型，不能用于命名类和接口。 泛型方法和类型推断 泛型方法就是把方法的参数或返回值的类型进行参数化，声明一个泛型方法的方式如下： 修饰符 T T func(T obj) {  return obj; } 修饰符 T extends A T method(T obj) {  return obj; } 小结 泛型给实际编程带来了简便，泛型的类型参数只能是引用类型，不能是基本类型。本章从定义简单的泛型、泛型和子类继承、泛型的通配符、泛型方法和类型推断4个部分阐述了泛型的基本使用。 作业 习题 4 1-6 LOGO 在线教务辅导网： 更多课程配套课件资源请访问在线教务辅导网