corejava辅导（16--3）

java5.0中的泛型

 

说明

 

增强了java的类型安全，可以在编译期间对容器内的对象进行类型检查，在运行期不必进行类型的转换。而在java se5.0之前必须在运行期动态进行容器内对象的检查及转换，泛型是编译时概念，运行时没有泛型

 

减少含糊的容器，可以定义什么类型的数据放入容器

 

 

  List<Integer> aList = new ArrayList<Integer>();

 

    aList.add(new Integer(1));

 

    // ...

 

    Integer myInteger = aList.get(0);

支持泛型的集合，只能存放制定的类型，或者是指定类型的子类型。

 

我们可以看到，在这个简单的例子中，我们在定义aList的时候指明了它是一个只接受Integer类型的ArrayList，当我们调用aList.get(0)时，我们已经不再需要先显式的将结果转换成Integer，然后再赋值给myInteger了。而这一步在早先的Java版本中是必须的。也许你在想，在使用Collection时节约一些类型转换就是Java泛型的全部吗？远不止。单就这个例子而言，泛型至少还有一个更大的好处，那就是使用了泛型的容器类变得更加健壮：早先，Collection接口的get()和Iterator接口的next()方法都只能返回Object类型的结果，我们可以把这个结果强制转换成任何Object的子类，而不会有任何编译期的错误，但这显然很可能带来严重的运行期错误，因为在代码中确定从某个Collection中取出的是什么类型的对象完全是调用者自己说了算，而调用者也许并不清楚放进Collection的对象具体是什么类的；就算知道放进去的对象“应该”是什么类，也不能保证放到Collection的对象就一定是那个类的实例。现在有了泛型，只要我们定义的时候指明该Collection接受哪种类型的对象，编译器可以帮我们避免类似的问题溜到产品中。我们在实际工作中其实已经看到了太多的ClassCastException。

 

用法

 

声明及实例化泛型类：

 

HashMap<String,Float> hm = new HashMap<String,Float>();

编译类型的泛型和运行时类型的泛型一定要一致。没有多态。

不能使用原始类型

 

GenList<int> nList = new GenList<int>(); //编译错误

 

Java SE 5.0目前不支持原始类型作为类型参数(type parameter)

 

定义泛型接口：

 

public interface GenInterface<T> {

    void func(T t);

}

 

定义泛型类：

 

public class ArrayList<ItemType> { ... }

 

public class GenMap<T, V> { ... }

 

例1：

 

public class MyList<Element> extends LinkedList<Element>

{

    public void swap(int i, int j){

        Element temp = this.get(i);

        this.set(i, this.get(j));

        this.set(j, temp);

    }

 

    public static void main(String[] args){

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

        list.add("hi");

        list.add("andy");

        System.out.println(list.get(0) + " " + list.get(1));

        list.swap(0,1);

        System.out.println(list.get(0) + " " + list.get(1));

    }

 

}

 

泛型的通配符"?"

 

? 是可以用任意类型替代。

<?>泛型通配符表示任意类型

<? extends 类型>表示这个类型是某个类型的子类型，或是某个接口的实现类

<? super 类型>表示这个类型是某个类型的父类型。

例：泛型通配符、带范围的泛型通配符

import java.util.*;

import static java.lang.System.*;

public class TestTemplate {

 

     /**

      * @param args

      */

     public static void main(String[] args) {

         List<String> l1=new ArrayList<String>();

         l1.add("abc");

         l1.add("def");

         List<Number> l2=new ArrayList<Number>();

         l2.add(1.3);

         l2.add(11);

         List<Integer> l3=new ArrayList<Integer>();

         l3.add(123);

         l3.add(456);

        

     //  print(l1);

         print(l2);

         print(l3);

     }

 

     static void print(List<?> l//泛型通配符){

//所有Comparable接口的实现类可以作为泛型参数

         for(Object o:l){

              out.println(o);

         }

     }

 

     static void print(List<? extends Number> l//带范围的泛型通配符){

//所有Number的子类可以作为泛型参数

         for(Object o:l){

              out.println(o);

         }

     }

     static void print(List<? extends Comparable> l){

//所有Comparable接口的实现类可以作为泛型参数

         for(Object o:l){

              out.println(o);

         }

     }

 

static void print(List<? super Number> l){

//所有Number的父类可以作为泛型参数

         for(Object o:l){

              out.println(o);

         }

     }

 

}

 

"?"可以用来代替任何类型, 例如使用通配符来实现print方法。

 

public static void print(GenList<?> list) {})