玩转范型——高级篇.docVIP

JDK6新特性系列——玩转范型(高级篇) 范型的语法元素其实是很基本的，只不过将这种语法来回扩展以后，可以编写出相当复杂的范型定义，然而无论再怎么复杂的写法，基本语法大致不变：限制范型可用类型、使用类型通配符，以及范型的扩充与继承几个语法。 限制范型可用类型 在定义范型类时，默认可以使用任何的类型来实例化范型类中类型持有者，但假设想要限制使用范型类时，如何用某个特定类型或其子类来实例化类型持有者呢？ 可以在定义类型持有者时，同时使用extends指定这个类型持有者实例化，实例化的对象必须是扩充自某个类型或实现某接口 ListGenericFoo在声明类型持有者时，一并指定这个持有者实例化的对象，必须是实现java.util.List接口的类。在限定持有者时，无论要限定的对象是接口或类，都是使用extends关键词。程序中使用extends限定类型持有者实例化的对象，必须是实现List接口的类，象java.util.LinkedList与java.util.ArrayList就实现了List接口，那么如下代码片段是合法的使用方式： 但如果不是实现List的类，编译时就会发生错误。例如下面的程序片段通不过编译： 因为java.util.HashMap并没有实现List接口(事实上HashMap实现了Map接口)，编译器会在编译时检查出这个错误： type parameter java.util.HashMap is not within its bound ListGenericFooHashMap foo1=new ListGenericFooHashMap(); HashMap并没有实现List接口，所以无法作为实例化类型持有者的对象，事实上，当没有使用extends关键字限定类型持有者时，默认是Object下的所有子类都可以实例化类型持有者。也就是说，在定义范型类时如果只写以下代码： 其实就相当于以下的定义方法： 类型通配符 假设使用GenericFoo类来像下面这样声明名称： GenericFooInteger foo1=null; GenericFooBoolean foo2=null; 那么名称foo1就只能参考GenericFooInteger类型的实例，而名称foo2就只能参考GenericFooBoolean类型的实例。也就是说，下面的方式的可行的： foo1=new GenericFooInteger(); foo2=new GenericFooBoolean(); 现在有一个要求，希望有一个参考名称foo可以像下面这样接受所指定的实例： foo1=new GenericFooArrayList(); foo2=new GenericFooLinkedList(); 简单的说，如果想要一个foo名称可以参考的对象，其类型持有者实例化的对象是实现List接口的类或其子类。要声明这么一个参考名称，可以使用?(通配符)。?代表未知类型，并使用extends关键字来作限定。例如： GenericFoo? extends List foo=null; foo=new GenericFooArrayList(); … foo=new GenericFooLinkedList(); … ? extends List表示类型未知，只知道是实现List接口的类，所以如果类型持有者实例化的对象不是实现List接口的类，则编译器会报告错误。例如以下这行无法通过编译： GenericFoo? extends List foo=new GenericFooHashMap(); 因为HashMap没有实现List接口，所以建立的GenericFooHashMap实例不能指定给foo名称来参考，编译器会报告以下的错误： incompatible types found:GenericFoojava.util.HashMap required:GenericFoo? extends java.util.List GenericFoo? extends List foo=new GenericFooHashMap(); 使用?来作限定有时是很有用的，例如若想要自定义一个showFoo()方法，方法的内容实现是针对String或其子类的实例而定制的。例如： public void showFoo(GenericFoo foo){ //针对String或其子类而指定的内容 } 如果只作以上的声明，那么像GenericFooInteger、GenericFooBoolean等类型都可以传入至方法汇总。如果不希望任何类型都可以传入showFoo()方法中，可以使用以下的方式来限制： public void showFoo(Ge