void printCollection(Colleciton c){

       for (Object e: c){

          System.out.println(e);

        }

     }

     Colleciton c = new ArrayList();

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

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中它将会有一个很方便的方法来画他们：

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

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

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

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

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

  public class Census{

        public static void addRegistry(Map Registry){ }

     }

    Map  allDrivers =;

    census.addResigtry(allDrivers);

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

4.泛型与数据类型转换
4.1. 消除类型转换
　　上面的例子大家看到什么了，数据类型转换的代码不见了。在以前我们经常要书写以下代码，如：

　　这个我们做了类型转换，是不是感觉很烦的，并且强制类型转换会带来潜在的危险，系统可能会抛一个ClassCastException异常信息。在JDK5.0中我们完全可以这么做，如：

　　这里我们使用泛化版本的HashMap,这样就不用我们来编写类型转换的代码了，类型转换的过程交给编译器来处理，是不是很方便，而且很安全。上面是String映射到String，也可以将Integer映射为String，只要写成HashTable h=new HashTable();h.get(new Integer(0))返回value。果然很方便。
4.2 自动解包装与自动包装的功能
　　从上面有没有看到有点别扭啊，h.get(new Integer(123))这里的new Integer(123);好烦的，在JDK5.0之前我们只能忍着了，现在这种问题已经解决了，请看下面这个方法。我们传入一个int这一基本型别，然后再将i的值直接添加到List中，其实List是不能储存基本型别的，List中应该存储对象，这里编译器将int包装成Integer，然后添加到List中去。接着我们用List.get(0);来检索数据，并返回对象再将对象解包装成int。恩，JDK5.0给我们带来更多方便与安全。

4.3 限制泛型中类型参数的范围
　　也许你已经发现在TestGen这个泛型类,其中K,V可以是任意的型别。也许你有时候呢想限定一下K和V当然范围，怎么做呢？看看如下的代码：

　　上边K的范围是<=String ，V的范围是<=Number，注意是“<=”,对于K可以是String的，V当然也可以是Number，也可以是Integer,Float,Double,Byte等。看看下图也许能直观些请看上图A是上图类中的基类，A1，A2分别是A的子类，A2有2个子类分别是A2_1，A2_2。

　　然后我们定义一个受限的泛型类class MyGen,这个泛型的范围就是上图中兰色部分。

　　这个是单一的限制，你也可以对型别多重限制，如下：

class C & Serializable>
　　我们来分析以下这句，T extends Comparable这个是对上限的限制，Comparable< super T>这个是下限的限制，Serializable是第2个上限。一个指定的类型参数可以具有一个或多个上限。具有多重限制的类型参数可以用于访问它的每个限制的方法和域。

5.泛型方法

考虑写一个持有数组类型对象和一个集合对象的方法，把数组里的所有对象都放到

集合里。第一个程序为：

到现在为止，你可能学会避免开始的错误而去使用Collection< Object >作为集合参数的类型，你可能会意识到使用Colleciton< ? >将不会工作。

解决这个问题的方法是使用泛型方法，GENERIC METHODS，就像类型声明、方法声明一样，就是被一个或更多的类型参数参数化。

 static void fromArrayToCollection(T[]a,Collection c){

        for(T o :a){

             c.add(o);//正确

            }

   }

    我们可以用任意类型的集合调用这个方法，他的元素类型是数组元素类型的超类型。

Object[] oa = new Object[100];

    Collection < Object > co = new ArrayList< Object >();

    fromArrayToCollection(oa,co);//T 被认为是Object类型

    String[] sa = new String[100];

    Colleciton< String > cs = new ArrayList< String >();

    fromArrayToCollection(sa,cs);//T被认为是String类型

    fromArrayToCollection(sa,co);//T 被认为是Object类型

    Integer[] is = new Integer[100];

    Float[] fa = new Float[100];

    Number[] na = new Number[100];

    Collection< Number > cn = new ArrayList< Number >(); 

    fromArrayToCollection(is,cn);//Number

    fromArrayToCollection(fa,cn);//Number

    fromArrayToCollection(na,cn);//Number

    fromArrayToCollection(na,co);//Object

    fromArrayToCollection(na,cs);//编译时错误

我们不必给一个泛型方法传递一个真正的类型参数,编译器会推断类型参数.一个问题出现了,什么时候使用泛型方法,什么时候使通配符类型,为了回答这些问题,我们从Colleciton库中看一下几个方法：

    使用泛型方法的形式为：

   无论如何，在ContainAll和addAll中，类型参数T仅被使用一次。返回类型不依赖于类型参数，也不依赖方法中的任何参数。这告诉我类型参数正被用于多态，它的影响仅仅是允许不同的实参在不同的调用点被使用。

   泛型方法允许类型参数被用于表达在一个或更多参数之间或者方法中的参数、返回类型的依赖。如果没有如此依赖，泛型方法就不能被使用。可能一前一后来联合使用泛型和通配符，这里有个例子：

    注意两个参数之间的依赖，任何从原list的对象复制，必须分配一个目标LIST元素的类型T,于是Src的元素类型可能是任何T的子类型。我们不必在意在COPY的表达中，表示依赖使用一个类型参数，但是是使用一个通配符。

    下面我们不使用通配符来重写上面的方法：

  class Collections{

       public static <  T，S extends T  >

       void copy(List< T > dest,List<  S  > src){

     }

  }

这非常好，但是第一个类型参数既在dst中使用，也在第二个类型参数中使用，S本身就被使用了一次。在类型src中,没有什么类型依赖它。这是一个标志我们可以用通配符来替换它。使用通配符比显示的声明类型参数更加清楚和精确。所以有可能推荐使用通配符。

   通配符也有优势，可以在方法之外来使用，作为字段类型、局部变量和数组。

这里有一个例子。

   返回到我们画图的例子，假设我们要保持一个画图请求的历史，我们可以在Shape类内部用一个静态变量来保持历史。用drawAll()存储它到来的参数到历史字段。

 static List<  List < ? extends Shape >  > history =

     new ArrayList  <  List  <  ? extends Shape  >  >();

     public void drawAll(List shapes){

   history.addLast(shapes