CoreJava系列讲坐之泛型.pptVIP

Core Java系列讲座之泛型 泛型的定义 定义 泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 泛型的规则和限制 规则和限制 泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。 泛型的类型参数可以有多个。 泛型的参数类型可以使用extends语句，例如T extends superclass。习惯上称为“有界类型”。 泛型的参数类型还可以是通配符类型。例如Class? classType = Class.forName(java.lang.String); 例子//注意，JRE用的是5.0，类型参数一般大写，与普通形参区分 import java.util.HashMap; public class TestK,V{ public HashMapK,V h = new HashMapK,V(); public void put(K k,V v){ h.put(k,v); } public V get(K k){ return h.get(k); } public static void main(String args[]){ TestString,Integer t=new TestString,Integer(); t.put(key,10089); int i=t.get(key); System.out.println(i); TestInteger,Doublet2=new TestInteger, Double(); t2.put(12,12.24); double j = t.get(12.24); System.out.println(j); } } 在定义一个泛型类是，在“”之间定义形式类型参数，如class TestK,V中的“K”,”V”不代表制，而是表示类型 实例化泛型对象是，一定要在类名后指定类型参数的值，一共要写两次。如：TestString,Integert=new TestString,Integer(); 泛型中K extends Object,extends并不代表继承，而是类型范围限制。 当一个泛型声明被调用，实际类型参数取代形式类型参数。 限制泛型的可用类型 class GenericsFooT extends Collection，这样类中的泛型T只能是Collection接口的实现类，传入非Collection接口编译会出错。 注意：T extends Collection这里的限定使用关键字 extends，后面可以是类也可以是接口。但这里的extends已经不是继承的含义了，应该理解为T类型是实现Collection接口的类型，或者T是继承了XX类的类型。 通配符泛型 为了解决类型被限制死了不能动态根据实例来确定的缺点，引入了“通配符泛型”，针对上面的例子，使用通配泛型格式为? extends Collection，“？”代表未知类型。 1、如果只指定了?，而没有extends，则默认是允许Object及其下的任何Java类了。也就是任意类。 2、通配符泛型不单可以向下限制，如? extends Collection，还可以向上限制，如? super Double，表示类型只能接受Double及其上层父类类型，如Number、Object类型的实例。 泛型类定义可以有多个泛型参数，中间用逗号隔开，还可以定义泛型接口，泛型方法。这些都泛型类中泛型的使用规则类似。