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