泛型

泛型(Generic)—泛形的作用

JDK5以前，对象保存到集合中就会失去其特性，取出时通常要程序员手工进行类型的强制转换，这样不可避免就会引发程序的一些安全性问题。例如：

ArrayList list = new ArrayList();

list.add("abc");

Integer num = (Integer) list.get(0); //运行时会出错，但编码时发现不了

list.add(new Random());

list.add(new ArrayList());

for(int i=0;i<list.size();i++){

      (?)list.get(i);          //此处取出来的对象应转换成什么类型

}

JDK5中的泛形允许程序员在编写集合代码时，就限制集合的处理类型，从而把原来程序运行时可能发生问题，转变为编译时的问题，以此提高程序的可读性和稳定性(尤其在大型程序中更为突出)。

注意：泛型是提供给javac编译器使用的，它用于限定集合的输入类型，让编译器在源代码级别上，即挡住向集合中插入非法数据。但编译器编译完带有泛形的java程序后，生成的class文件中将不再带有泛形信息，以此使程序运行效率不受到影响，这个过程称之为“擦除”。

泛形的基本术语，以ArrayList<E>为例：<>念着typeof

ArrayList<E>中的E称为类型参数变量

ArrayList<Integer>中的Integer称为实际类型参数

整个称为ArrayList<E>泛型类型

整个ArrayList<Integer>称为参数化的类型ParameterizedType

使用迭代器迭代泛形集合中的元素。

使用增强for循环迭代泛形集合中的元素。

存取HashMap中的元素。

使用泛形时的几个常见问题：

使用泛形时，泛形类型须为引用类型，不能是基本数据类型

ArrayList<String> list = newArrayList<Object>(); //错

ArrayList<Object> list = newArrayList<String>(); //错

ArrayList<String> list = newArrayList ();              //行

ArrayList list = newArrayList<String>();              //行

注:使用泛型

       * 两边的类型必须一致

             ArrayList<String> list =new ArrayList<String>();

       * 两边只有一边用泛型(为了保持兼容性)

             ArrayList<String> list =new ArrayList ();

             ArrayList list = newArrayList<String>();

自定义泛形——泛型方法

Java程序中的普通方法、构造方法和静态方法中都可以使用泛型。方法使用泛形前，必须对泛形进行声明，语法：<T>，T可以是任意字母，但通常必须要大写。<T>通常需放在方法的返回值声明之前。例如：

      publicstatic <T> void method(T t);

注意：

只有对象类型才能作为泛型方法的实际参数。

在泛型中可以同时有多个类型，例如：

            

如果一个类多处都要用到同一个泛型，这时可以把泛形定义在类上（即类级别的泛型），语法格式如下：

      publicclass GenericDao<T> {

             privateT field1;

             publicvoid save(T obj){}

             publicT getId(int id){}

      }

注意

   * 在类级别上定义的泛型,只对类的非静态成员有效

   * 静态方法不能使用类定义的泛形，而应单独定义泛形。

泛型的高级应用——通配符

定义一个方法，接收一个集合，并打印出集合中的所有元素，如下所示：

  void print (Collection<String>c) {

          for (String e : c) {

                System.out.println(e);

          }

}

问题：该方法只能打印保存了String对象的集合，不能打印其它集合。通配符用于解决此类问题，方法的定义可改写为如下形式：

void print (Collection<?> c) {　　　//Collection<?>(发音为:"collection ofunknown")

for (Object e : c) {

      System.out.println(e);

}

}

此种形式下需要注意的是：由于print方法c参数的类型为Collection<?>，即表示一种不确定的类型，因此在方法体内不能调用与类型相关的方法，例如add()方法。

      但可以调用与类型无关的方法，例如size()方法

总结：使用?通配符主要用于引用对象，使用了?通配符，就只能调对象与类型无关的方法，不能调用对象与类型有关的方法。

泛型的高级应用——有限制的通配符

限定通配符的上边界(?的类型必须是Number的子类)

限定通配符总是包括自己。

正确：Vector<?extends Number> x = new Vector<Integer>();

错误：Vector<?extends Number> x = new Vector<String>();

限定通配符的下边界(?的类型必须是Integer的父类)

正确：Vector<?super Integer> x = new Vector<Number>();

错误：Vector<?super Integer> x = new Vector<Byte>();

问题：以下代码行不行？(如果是Byte类型不可以)

public void add(List<? extendsNumber> list){

      list.add(1000);

}