1 泛型编译后实际上会产生不同的类型声明
|
public interface List void add(E x); Iterator } public interface Iterator E next(); boolean hasNext(); }
|
基本的调用
|
List myIntList.add(new Integer(0)); Integer x = myIntList.iterator().next();
|
Note 1: 每个泛型声明仅编译一次，并且为每个不同类型产生一个单独的文件。就像旧的类一样。比如，可能会有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 }
|
2 List
以下语句将无法通过编译，出现错误在第2行，因为lo不是ls的父类型。
|
List List lo = ls;
lo.add(new Object(); String s = ls.get(0);
|
Note 2: 一般来说，如果Foo是Bar的子类型，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
3泛型的父类型是，通配符类型。
一个用到Collection的泛型方法如下，其中for循环用了新式的方法：
|
void printCollection(Collection c){ for (Object e:c) System.out.println(e); }
|
其中，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
|
public void drawAll(List for(Shap s:shapes)s.deaw(); } drawAll(List
|
通过bounded wildcard可以解决：然而这样做会带来一点代价。即，它是只读的，你不能再向List中添加新元素。
|
public void drawAll(List extends Shape> shapes){ // 下面的调用是错误的，只能读 shapes.add(0,new Circle()); }
|
Note 4: 是一种限制通配符类型，它可以接受所有
原文：We have replaced the type List
发表于:2004.12.24 13:43
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/12476590/viewspace-133983/ ，如需转载，请注明出处，否则将追究法律责任。
