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.pdfGenerics in the Java Programming LanguageGilad BrachaFebrary 16, 2004.
1 泛型编译后实际上会产生不同的类型声明 public interface List { void add(E x); Iterator iterator(); } public interface Iterator { E next(); boolean hasNext(); } |
基本的调用
List myIntList = new LinkedList(); myIntList.add(new Integer(0)); Integer x = myIntList.iterator().next(); |
Note 1:每个泛型声明仅编译一次,并且为每个不同类型产生一个单独的文件。就像旧的类一样。比如,可能会有List类和List类被产生。原文: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 iterator(); } |
2 List不是List的子类型 以下语句将无法通过编译,出现错误在第2行,因为lo不是ls的父类型。
List ls = new ArrayList(); List lo = ls; lo.add(new Object(); String s = ls.get(0); |
Note 2:一般来说,如果
Foo是
Bar的子类型,
G是泛型类型,那么
G不是
G的子类型。书上说这是泛型学习的最大难点。原文: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 is a subtype of
G.
3泛型的父类型是>,通配符类型。一个用到Collection的泛型方法如下,其中for循环用了新式的方法:
void printCollection(Collection> c){ for (Object e:c) System.out.println(e); } |
其中,Collection>表示其可以是任何类型。如Collection,Collection,Collection>是他们的父类型。
Note 3:Collection>是所有种类的子类。而不是Collection。这叫做“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中的每个对象都是Shape类型。
public void drawAll(List shapes) { for(Shap s:shapes)s.deaw(); } drawAll(List circles); |
通过bounded wildcard可以解决:然而这样做会带来一点代价。即,它是只读的,你不能再向List中添加新元素。
public void drawAll(List extends Shape> shapes){ // 下面的调用是错误的,只能读 shapes.add(0,new Circle()); } |
Note 4: extends Class>是一种限制通配符类型,它可以接受所有以及Class的子类型。然而调用代价是,只读访问。原文:We have replaced the type List 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.这是三分之一左右,地铁上看的,后面的还没看。