Jdk5.0新特性——Generic Types （泛型） /第3章

3. 泛型通配符
首先，下面是一个例子，作用是打印出一个集合中的所有元素，我们首先用老版本jdk1.4的编码规则，代码如下：

void printColleciton(Collection c){

iterator i = c.iterator();

for (k = 0; k < c.size();k++){

System.out.pritnln(i.next();

}

然后，我们用jdk5.0泛型来重写上面这段代码（循环的语法是新版本的语法）：

void printCollection(Colleciton<Object> c){

for(Object  e : c){

System.out.print(e);

}

}

      这个新版本并不比老版本的好多少，老版本可以用任意一种集合类型作为参数来调用，而新版本仅仅持有Collection<Object>类型，Colleciton<Object>并不是任意类型的Collection的超类。

    那么什么是所有Colleciton类型的超类型呢？它是Collection<?>这样一个类型，读作“未知Colleciton”。它的意思是说Colleciton的元素类型可以匹配任意类型，我们把它称作通配符类型，我们这样写：

    void printCollection(Colleciton<?> c){

       for (Object e: c){

          System.out.println(e);

        }

     }

   现在我们用任意类型的集合来调用它了，需要注意的是内部方法printColleciton(),我们任可以从c中来读出元素，并且这些元素是Object类型，而且是安全的，因为无论集合中是什么类型，它总包括Object，但是将任意对象加到集合中是不安全的：

     Colleciton<?> c = new ArrayList<String>();

     c.add(new Object());//编译时错误

   由于我们不知道c持有的是什么类型的元素，我们不能加object到集合中去。add()方法用类型E作为参数，（集合的元素类型）当真正的参数类型是？的时候，它代表的是一些未知类型。任何传递给add()方法的参数必须是这个未知类型的子类型。由于我们不知道未知类型，所以我们传递给它任何东西。主要的例外是null,它是每一个类型的成员。

   另一方面，假定给一个List<?>，我们调用get()并且充分利用结果。结果类型是未知类型。但是我总是知道它是一个Object，因此分配一个从get()取出来的结果到一个object的变量是安全的，或者作为一个参数传递到一个需要object类型的地方。

3.1有限制的通配符

考虑一个画图的应用程序，这个程序能够画长方形、圆等类型，为了在程序中表示这样的图形，你可以定义一个类型的层次结构：

public abstract class Shape{

         public abstract void draw(Canvas c);

 }

public class Circle extends Shape{

         private int x,y,radius;

         public void draw(Canvas c){}

}

public class Rectangle extends Shape{

         private int x,y,width,height;

         public void draw(Canvas c){

}

}

//这些类能被画在画布上：

public class Canvas{

       public void draw(Shape s){

                s.draw(this);

       }

}

 

任何画图的动作的都包含一些图形，假设他们被表示在一个list中，在Canvas中它将会有一个很方便的方法来画他们：

   public void drawAll(List<Shape> shapes){

             for(Shape s :shapes){

               s.draw(this);

              }

   }

    现在类型规则说，方法drawAll()只能在真正的Shape类型的List上被调用，而它的子类无法调用，例如List<Circle>上被调用。这是很不幸的。由于所有的方法确实从List中读出Shape，所以它仅能在List<Object>上被调用，下面我们改后的代码可以在任意类型的Shape上被调用：

public void drawAll(List< ? extends Shape>{ }

这里有一个很小的不同是，我们已经用List<? extends Shape>替换了List<Object>，现在drawAll()方法可以接受任意的Shape的子类了，我们当然可以在List<Circle>上调用。  

   <? extends Class>是一种限制通配符类型，它可以接受所有<Class>以及Class的子类型。然而调用代价是，只读访问，无法向shapes中添加元素。像通常一样，使用通配符带来的灵活性将付出代价，例如，下面是不允许的：

   public void addRectangle(List<? extends Shape> shapes){

     shapes.add(0,new Rectangle());//编译时错误

   }

    限制性通配符的一个例子是，是一个人口普查的例子，我们假设数据是由一个名字映射一个人，名字是字符串，人（可以是Person,或是它的子类Driver）,Map<k,v>是一个泛型的例子，它拥有两个参数，表示为一个KEY和value的映射MAP

   再次注意正规参数的命名规则，K代表key,V代表value

     public class Census{

        public static void addRegistry(Map<String ? extends Person> Registry){ }

     }

    Map<String,Driver>  allDrivers =;

    census.addResigtry(allDrivers);

编写泛型类要注意：
　　 1) 在定义一个泛型类的时候，在 “<>”之间定义形式类型参数，例如：“class TestGen<K,V>”，其中“K” , “V”不代表值，而是表示类型。
　　 2) 实例化泛型对象的时候，一定要在类名后面指定类型参数的值（类型），一共要有两次书写。例如：
TestGen<String,String> t=new TestGen<String,String>()；
　　 3) 泛型中<K extends Object>,extends并不代表继承，它是类型范围限制。