java中的泛型

泛型（Generic type 或者generics）是对 Java 语言的类型系统的一种扩展，以支持创建可以按类型进行参数化的类。可以把类型参数看作是使用参数化类型时指定的类型的一个占位符，就像方法的形式参数是运行时传递的值的占位符一样。

1、限制泛型的可用类型
　　由于没有限制class GenericsFoo<T>类型持有者T的范围，实际上这里的限定类型相当于Object，这和“Object

泛型”实质是一样的。限制比如我们要限制T为集合接口类型。只需要这么做：
　　class GenericsFoo<T extends Collection>，这样类中的泛型T只能是Collection接口的实现类，传入非Collection接口编译会

出错。
　　注意：<T extends Collection>这里的限定使用关键字 extends，后面可以是类也可以是接口。但这里的extends已经不是继承的

含义了，应该理解为T类型是实现Collection接口的类型，或者T是继承了XX类的类型。
　　下面继续对上面的例子改进，我只要实现了集合接口的类型：

[java] view plaincopy

1. public class CollectionGenFoo<T extends Collection> {  
2. private T x;  
3. public CollectionGenFoo(T x) {  
4. this.x = x;  
5. }  
6. public T getX() {  
7. return x;  
8. }  
9. public void setX(T x) {  
10. this.x = x;  
11. }  
12. }  
13. 实例化的时候可以这么写：  
14. public class CollectionGenFooDemo {  
15. public static void main(String args[]) {  
16. CollectionGenFoo<ArrayList> listFoo = null;  
17. listFoo = new CollectionGenFoo<ArrayList>(new ArrayList());  
18. //出错了,不让这么干。  
19. // CollectionGenFoo<Collection> listFoo = null;  
20. // listFoo=new CollectionGenFoo<ArrayList>(new ArrayList());  
21. System.out.println("实例化成功!");  
22. }  
23. }  

　　当前看到的这个写法是可以编译通过，并运行成功。可是注释掉的两行加上就出错了，因为<T extends Collection>这么定义类

型的时候，就限定了构造此类实例的时候T是确定的一个类型，这个类型实现了Collection接口，但是实现 Collection接口的类很多

很多，如果针对每一种都要写出具体的子类类型，那也太麻烦了，我干脆还不如用Object通用一下。别急，泛型针对这种情况还有更

好的解决方案，那就是“通配符泛型”。
2、通配符泛型
　　为了解决类型被限制死了不能动态根据实例来确定的缺点，引入了“通配符泛型”，针对上面的例子，使用通配泛型格式为<? 

extends Collection>，“？”代表未知类型，这个类型是实现Collection接口。那么上面实现的方式可以写为：

[java] view plaincopy

1. public class CollectionGenFooDemo {  
2. public static void main(String args[]) {  
3. CollectionGenFoo<ArrayList> listFoo = null;  
4. listFoo = new CollectionGenFoo<ArrayList>(new ArrayList());  
5. //现在不会出错了  
6. CollectionGenFoo<? extends Collection> listFoo1 = null;  
7. listFoo=new CollectionGenFoo<ArrayList>(new ArrayList());  
8. System.out.println("实例化成功!");  
9. }  
10. }  

　　注意：
　　1、如果只指定了<?>，而没有extends，则默认是允许Object及其下的任何Java类了。也就是任意类。
　　2、通配符泛型不单可以向下限制，如<? extends Collection>，还可以向上限制，如<? super Double>，表示类型只能接受

 

3、泛型方法

是否拥有泛型方法，与其所在的类是否泛型没有关系。要定义泛型方法，只需将泛型参数列表置于返回值前。如:

[java] view plaincopy

1. public class ExampleA {  
2. public <T> void f(T x) {  
3. System.out.println(x.getClass().getName());  
4. }  
5. public static void main(String[] args) {  
6. ExampleA ea = new ExampleA();  
7. ea.f(" ");  
8. ea.f(10);  
9. ea.f('a');  
10. ea.f(ea);  
11. }  
12. }  

　　输出结果：
　　java.lang.String
　　java.lang.Integer
　　java.lang.Character
　　ExampleA
　　使用泛型方法时，不必指明参数类型，编译器会自己找出具体的类型。泛型方法除了定义不同，调用就像普通方法一样。
　　需要注意，一个static方法，无法访问泛型类的类型参数，所以，若要static方法需要使用泛型能力，必须使其成为泛型方法。