CSDN博客

img icecloud

泛型(Generics Types)学习笔记<一>

发表于2004/2/23 14:29:00  3545人阅读

Generics Types 泛型学习笔记 1

作者:冰云 icecloud(AT)sina.com
BLOG: http://icecloud.51.net

时间:2004.02.15

 

版权声明:

本文由冰云完成,首发于CSDN,作者保留中文版权。
未经许可,不得使用于任何商业用途。
欢迎转载,但请保持文章及版权声明完整。
如需联络请发邮件:icecloud(AT)sina.com

Java 1.5 提供了泛型支持。前几天,Sun发布了一篇tutorial。以下是对该tutorial的学习笔记。

http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf

Generics in the Java Programming Language

Gilad Bracha

Febrary 16, 2004.

 

1 泛型编译后实际上会产生不同的类型声明

 

 

    public interface List<E> {

       void add(E x);

       Iterator<E> iterator();

    }

    public interface Iterator<E> {

       E next();

       boolean hasNext();

    }

   

 

基本的调用

 

    List<Integer> myIntList = new LinkedList<Integer>();

    myIntList.add(new Integer(0));

    Integer x = myIntList.iterator().next();

 

 

 

Note 1: 每个泛型声明仅编译一次,并且为每个不同类型产生一个单独的文件。就像旧的类一样。比如,可能会有List<Integer>类和List<Boolean>类被产生。

原文:A generic type declaration is compiled once and for all, and turned into a single class file, just like an ordinary class or interface declaration.

 

编译后,相当于产生了下面的类

 

    public interface IntegerList {

       void add(Integer x);

       Iterator<Integer> iterator();

    }

 

 

 

 

2 List<String>不是List<Object>的子类型

 

以下语句将无法通过编译,出现错误在第2行,因为lo不是ls的父类型。

 

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

    List<Object> lo = ls;

   

    lo.add(new Object();

    String s = ls.get(0);

 

 

Note 2: 一般来说,如果FooBar的子类型,G是泛型类型,那么G<Foo>不是G<Bar>的子类型。书上说这是泛型学习的最大难点。

原文:In general, if Foo is a subtype (subclass or subinterface) of Bar, and G is som generic type declaration, it is not the case that G<Foo> is a subtype of G<Bar>.

 

3泛型的父类型是<?>,通配符类型。

一个用到Collection的泛型方法如下,其中for循环用了新式的方法:

 

    void printCollection(Collection<?> c){

       for (Object e:c)

           System.out.println(e);

    }

 

其中,Collection<?>表示其可以是任何类型。如Collection<Integer>Collection<String>Collection<?>是他们的父类型。

 

Note 3:Collection<?>是所有种类的子类。而不是Collection<Object>。这叫做“wildcard type”通配符类型。

原文:What is the supertype of all kinds of collections? It’s written Collection<?> (pronounced “collection of unknown”), that is, a collection whose element type matches anything. It’s called a wildcard type for obvious reason.

 

4 Bounded wildcards.有限制的通配符类型

 

很不幸,下面的方法调用无法成功。虽然List<Circle>中的每个对象都是Shape类型。

 

    public void drawAll(List<Shape> shapes) {

       for(Shap s:shapes)s.deaw();

    }

    drawAll(List<Circle> circles);

 

 

通过bounded wildcard可以解决:然而这样做会带来一点代价。即,它是只读的,你不能再向List中添加新元素。

 

 

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

       // 下面的调用是错误的,只能读

       shapes.add(0,new Circle());

    }  

 

 

Note 4: <? extends Class>是一种限制通配符类型,它可以接受所有<Class>以及Class的子类型。然而调用代价是,只读访问。

原文:We have replaced the type List<Shape> with List<? extends Shape>. Now drawAll() will accept lists of any subclass of Shape. It is an example of a bounded wildcard. It is now illegal to write into shapes in the body of the method.

这是三分之一左右,地铁上看的,后面的还没看。

阅读全文
0 0

相关文章推荐

img
取 消
img