gogole_09

浏览: 205568 次
性别:
来自: 杭州

最近访客更多访客>>

hao___feng

sdssdslxy

azraelzxg

sp42

博主相关

博客

微博

相册

留言

关于我

文章分类

社区版块

存档分类

读 IBM中国《Java 理论和实践: 了解泛型》

博客分类：

随笔

了解Java泛型

参考于IBM Developer 中国《Java 理论和实践: 了解泛型》

Java语言的泛型类似于C++中的模板. 但是这仅仅是基于表面的现象。

Java语言的泛型基本上完全在编译器中实现的，由编译器执行类型检查和类型推断，然后生成普通的非泛型的字节码。这种实现称为"擦除"

（编译器使用泛型类型信息保证类型安全，然后在生成字节码之前将其清除）

泛型不是协变的

协变:

Java 语言中的数组是协变的（covariant），也就是说，

如果 Integer 扩展了 Number （事实也是如此），那么不仅 Integer 是 Number ，而且 Integer[] 也是 Number[] ，在要求Number[] 的地方完全可以传递或者赋予 Integer[] 。

（更正式地说，如果 Number 是 Integer 的超类型，那么 Number[] 也是 Integer[] 的超类型）

但是，泛型并不是协变的。如果，List<Number> 是List<Integer> 的超类型，但是，如果需要List<Integer>的时候，并不容许传递List<Number>，它们并不等价。

不允许的理由很简单，这样会破坏要提供的类型安全泛型. 如下代码:

public static void main(String[] args) {

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

List<Number> list2=list;//编译错误.

list2.add(new Float(19.0f));

}

其他协变问题

数组能够协变而泛型不能协变的另外一个问题是：不能实例化泛型类型的数组： (new List<String>[3]是不合法的 ),除非类型参数是一个未绑定类型的通配符(new List<?>[3]是合法的 ).

延迟构造

因为可以擦除功能，所以List<Integer>和List<String>是同一个类，编译器在编译List<V>的时候，只生成一个类。

所以，运行时，不能区分List<Integer>和List<String>(实际上，运行时都是List,类型被擦除了),用泛型类型参数标识类型的变量的构造就成了问题。运行时缺乏类型信息，这给泛型容器类和希望创建保护性副本的泛型类提出了难题。

比如泛型类Foo:

class Foo<T>{

public void dosomething(T param){

T copy=new T(param);//语法错误.

}

因为编译的时候，还不知道要构造T的具体类型，所以也无法调用T的构造函数。

那么，我们是否可以使用克隆来构建呢？

class Foo<T extends Cloneable>{

public void dosomething(T param){

//编译错误，

T copy=(T)param.clone();

}

}

为什么会报错呢？因为clone()在Object类中是受保护的。

所以，不能复制在编译时根本不知道是什么类的类型引用。

构造通配符引用

那么使用通配符类型怎么样呢？假设要创建类型为Set<?>的参数的保护性副本。我们来看看：

class Foo{

public void doSomething(Set<?> set){

//编译出错，你不能用通配符类型的参数调用泛型构造函数

Set<?> copy=new HashSet<?>(set);

}

}

但是下面的方法可以实现：

class Foo{

public void doSomething(Set<?> set){

Set<?> copy=new HashSet<Object>(set);

}

}

构造数组

对于我们常用的ArrayList<V> ，我们需要来探讨一下它的内部实现机制：

假设它内部管理着一个V数组，那么我们希望能在ArrayList<V>的构造函数中来初始化这个数组：

class ArrayList<V>{

V[] content;

private static final int DEFAULT_SIZE=10;

public ArrayList() {

//编译错误。

content=new V[DEFAULT_SIZE];

}

}

但这段代码不能工作，不能实例化用类型参数表示的类型数组。因为编译器不知道V到底是代表什么类型，所以不能实例化V数组。

Java库中的 Collections提供了一种思路，用于实现，但是非常别扭（设置连Collections的作者都这样说过.）在Collections类编译时，会产生警告：

class ArrayList<V> {

private V[] backingArray;

public ArrayList() {

backingArray = (V[]) new Object[DEFAULT_SIZE];

}

因为泛型是通过擦除实现的， backingArray 的类型实际上就是 Object[] ，因为 Object 代替了 V 。

这意味着：实际上这个类期望 backingArray 是一个 Object 数组，但是编译器要进行额外的类型检查，以确保它包含 V 类型的对象。所以这种方法很奏效，但是非常别扭，因此不值得效仿

另外有一种方法是：

声明backingArray为Object数组，并在使用它的各个地方，强转成V[]

其他方法

最好的方法是：向构造方法中，传入类对象，这样，在运行时，就可以知道T的值了。不采用这种方法的原因是，它无法与之前版本的Collections框架相兼容。

比如：

public class ArrayList<V> implements List<V> {

private V[] backingArray;

private Class<V> elementType;

public ArrayList(Class<V> elementType) {

this.elementType = elementType;

backingArray = (V[]) Array.newInstance(elementType, DEFAULT_LENGTH);

}

}

但是，这里还是有地方不是很妥当:

调用 Array.newInstance() 时会引起未经检查的类型转换。为什么呢？同样是由于向后兼容性。 Array.newInstance() 的签名是：

public static Object newInstance(Class<?> componentType, int length)

而不是类型安全的：

public static<T> T[] newInstance(Class<T> componentType, int length)

为何 Array 用这种方式进行泛化呢？同样是为了保持向后兼容。要创建基本类型的数组，如 int[] ，可以使用适当的包装器类中的 TYPE 字段调用 Array.newInstance() （对于 int ，可以传递 Integer.TYPE 作为类文字）。用 Class<T> 参数而不是 Class<?> 泛化 Array.newInstance() ，对于引用类型有更好的类型安全，但是就不能使用 Array.newInstance() 创建基本类型数组的实例了。也许将来会为引用类型提供新的 newInstance() 版本，这样就两者兼顾了。

在这里可以看到一种模式 —— 与泛型有关的很多问题或者折衷并非来自泛型本身，而是保持和已有代码兼容的要求带来的副作用。

擦除的实现

因为泛型基本上都是在JAVA编译器中而不是运行库中实现的，所以在生成字节码的时候，差不多所有关于泛型类型的类型信息都被“擦除”了，换句话说，编译器生成的代码与手工编写的不用泛型、检查程序类型安全后进行强制类型转换所得到的代码基本相同。与C++不同，List<Integer>和List<Number>是同一个类（虽然是不同的类型，但是都是List<?>的子类型。）

擦除意味着，一个类不能同时实现 Comparable<String>和Comparable<Number>,因为事实上，两者都在同一个接口中，指定同一个compareTo()方法。

擦除也造成了上述问题，即不能创建泛型类型的对象，因为编译器不知道要调用什么构造函数。如果泛型类需要构造用泛型类型参数来指定类型的对象，那么构造函数应该传入类对象，并将它们保存起来，以便通过反射来创建实例。

PS :

貌似发布上来格式有问题，

这里放出我整理的Google文档地址，感觉看不清楚的可以去这里看看。

http://docs.google.com/View?id=dgmjz37_7gp8mrjvv

分享到：

我的Google 在线文档地址 | 线程池与工作队列

2010-06-26 02:09
浏览 1311
评论(8)
论坛回复 / 浏览 (8 / 8052)
分类:编程语言
查看更多

8 楼 kimmking 2010-07-07

syntax sugar

7 楼 szcjlssx 2010-07-07

driftcloudy 写道

szcjlssx 写道

我感觉，JAVA中的泛型就是为了解决“类不是对象”这个问题的
因为类不能放到变量中进行传递，所以在动态性方面就捉襟见肘
特别针对容器这样的东西时，由于放入到其中的值类型是运行时决定的，所以对于静态类型的JAVA，需要向上转型，而向上转型则使得对象的使用又出现了问题（又要再向下转型，向下转型容易出错）
而泛型就解决了这个问题，但是我还是希望，将Class也作为对象
像下面的代码

class Demo {
}

public class MainClass {
     public static void main(String args[]) {
          Class d=Demo;//希望这一行代码能够正常运行
     }

}

没明白LS想表达什么意思。我来说点正统的，java泛型的产生一般是认为基于这样两个原因。一是泛型可以提升我们写的代码的复用性，我们希望自己的code可以被更多类型的对象所重用，例如著名的java collection框架。二是泛型带来的好处是将类型强转错误的发现从运行时提前到了编译时。

也就和这意思差不多，就是JAVA想实现一点动态，但JAVA本身的对类的实现就是同一个类不能有不同的名称引用（使用反射API及Class.forName可以达到这个效果，但那样的获得的类仍然不能像原始的类名一样使用，既Class a=Class.forName("org.pl4cj.javademo.Demo");然后new a()是不行的）。另一方面就是，JAVA要实现一点动态但又要保证它的安全，所以引入泛型语法

6 楼 beneo 2010-07-06

在bytecode层面根本没有范型，这就是说范型对性能没有任何变化。

纯粹让你用的舒服

5 楼 driftcloudy 2010-06-29

szcjlssx 写道

class Demo {
}

public class MainClass {
     public static void main(String args[]) {
          Class d=Demo;//希望这一行代码能够正常运行
     }

}

4 楼 szcjlssx 2010-06-29

class Demo {
}

public class MainClass {
     public static void main(String args[]) {
          Class d=Demo;//希望这一行代码能够正常运行
     }

}

3 楼 incredible 2010-06-28

这是为什么啊，刷屏贴啊

2 楼 llfzy 2010-06-28

IBm......哎。。。

1 楼 qiushily2030 2010-06-26

<div class="quote_title">gogole_09 写道</div>
<div class="quote_div">
<p> </p>
<div>
<h1 style="font-size: 18pt; text-align: center;">了解Java泛型</h1>
<p>  参考于IBM Developer 中国《<span style="font-size: 27px; font-weight: bold;"><span style="color: #999999;"><span style="font-weight: normal;"><span style="font-size: small;"><a href="http://www.ibm.com/developerworks/cn/java/j-jtp01255.html" target="_blank">Java 理论和实践: </a></span></span></span><span style="font-weight: normal;"><span style="font-size: small;"><a href="http://www.ibm.com/developerworks/cn/java/j-jtp01255.html" target="_blank">了解泛型</a> </span></span></span>》</p>
<p> </p>
  Java语言的泛型类似于C++中的模板. 但是这仅仅是基于表面的现象。
<div style="margin-top: 0px; margin-bottom: 0px;">
<div style="margin-top: 0px; margin-bottom: 0px;">  Java语言的泛型基本上完全在编译器中实现的，由编译器执行类型检查和类型推断，然后生成普通的非泛型的字节码。这种实现称为"擦除" </div>
<div style="margin-top: 0px; margin-bottom: 0px;"> （编译器使用泛型类型信息保证类型安全，然后在生成字节码之前将其清除）<br><div style="margin-top: 0px; margin-bottom: 0px;">  </div>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">  <strong><span style="font-size: medium;">泛型不是协变的</span> </strong>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   协变:<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   Java 语言中的数组是协变的（covariant），也就是说，</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   如果 <span style="font-family: 'Courier New';">Integer</span> 扩展了 <span style="font-family: 'Courier New';">Number</span> （事实也是如此），那么不仅 <span style="font-family: 'Courier New';">Integer</span> 是 <span style="font-family: 'Courier New';">Number</span> ，而且 <span style="font-family: 'Courier New';">Integer[]</span> 也是 <span style="font-family: 'Courier New';">Number[]</span> ，在要求<span style="font-family: 'Courier New';">Number[]</span> 的地方完全可以传递或者赋予 <span style="font-family: 'Courier New';">Integer[]</span> 。</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   （更正式地说，如果 <span style="font-family: 'Courier New';">Number</span> 是 <span style="font-family: 'Courier New';">Integer</span> 的超类型，那么 <span style="font-family: 'Courier New';">Number[]</span> 也是 <span style="font-family: 'Courier New';">Integer[]</span> 的超类型）</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   </div>
<div style="margin-top: 0px; margin-bottom: 0px;">   但是，<span style="color: #ff0000;">泛型并不是协变的。 </span> 如果，List<Number> 是List<Integer> 的超类型，但是，如果需要List<Integer>的时候，并不容许传递List<Number>，它们并不等价。<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   不允许的理由很简单，这样会破坏要提供的类型安全泛型. 如下代码:<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">       <br><table id="egkt" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">public static void main(String[] args) {</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   List<Integer> list=new ArrayList<Integer>();</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   List<Number> list2=list;<span style="color: #ff0000;">//编译错误.</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">   list2.add(new Float(19.0f));</div>
<div style="margin-top: 0px; margin-bottom: 0px;">}</div>
</td>
</tr></tbody></table>
<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: medium;"><strong>   其他协变问题</strong> </span></div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<strong>   </strong> <span>数组能够协变而泛型不能协变的另外一个问题是：不能实例化泛型类型的数组： (<span style="color: #ff0000;">new List<String>[3]是不合法的</span> ),除非类型参数是一个未绑定类型的通配符(<span style="color: #ff0000;">new List<?>[3]是合法的</span> ).</span> </div>
<span style="font-size: medium;"><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;">   <strong><span style="font-size: medium;"> 延迟构造</span> </strong>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<strong>  <span> </span> </strong><span>因为可以擦除功能，所以List<Integer>和List<String>是同一个类，编译器在编译List<V>的时候，只生成一个类。</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>    所以，运行时，不能区分List<Integer>和List<String>(实际上，运行时都是List,类型被擦除了),用泛型类型参数标识类型的变量的构造就成了问题。运行时缺乏类型信息，这给泛型容器类和希望创建保护性副本的泛型类提出了难题。</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   比如泛型类Foo:</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   <br></span>
<table id="bc2q" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">class Foo<T>{</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   public void dosomething(T param){</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;"><span class=" ">         </span> T copy=new T(param);//语法错误.</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   }</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</td>
</tr></tbody></table>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;">   <span>因为编译的时候，还不知道要构造T的具体类型，所以也无法调用T的构造函数。</span> </span></div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span>   那么，我们是否可以使用克隆来构建呢？</span> <br></span></div>
<table id="k825" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">class Foo<T extends Cloneable>{</span> </div>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">public void dosomething(T param){</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;">   //编译错误，<br></span></div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   T copy=(T)param.clone();</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</blockquote>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</td>
</tr></tbody></table>
<span style="font-size: x-small;">   <span> 为什么会报错呢？ </span> <span> 因为clone()在Object类中是受保护的。</span> <span><br></span></span><span><span style="font-size: x-small;"><br></span>   所以，不能复制在编译时根本不知道是什么类的类型引用。</span> </div>
<span style="font-size: x-small;"><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;">   <strong><span style="font-size: medium;"> 构造通配符引用</span> </strong>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<strong>   </strong> <span>那么使用通配符类型怎么样呢？假设要创建类型为Set<?>的参数的保护性副本。我们来看看：</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   </span> <br><table id="scix" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">class Foo{</span> </div>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">public void doSomething(Set<?> set){</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   //编译出错，你不能用通配符类型的参数调用泛型构造函数</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   Set<?> copy=new HashSet<?>(set);</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</blockquote>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</td>
</tr></tbody></table>
<span style="font-size: x-small;"><br></span>   但是下面的方法可以实现：<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   <br><table id="nm1r" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">class Foo{</div>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">public void doSomething(Set<?> set){</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   Set<?> copy=new HashSet<Object>(set);</div>
<div style="margin-top: 0px; margin-bottom: 0px;">}</div>
</blockquote>
<div style="margin-top: 0px; margin-bottom: 0px;">}</div>
</td>
</tr></tbody></table>
<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   <span style="font-size: medium;"><strong>构造数组</strong> </span>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: medium;"><strong>   </strong> <span>对于我们常用的ArrayList<V> ，我们需要来探讨一下它的内部实现机制：</span> <span><br></span></span></div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span>   假设它内部管理着一个V数组，那么我们希望能在ArrayList<V>的构造函数中来初始化这个数组：</span> <br></span></div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">   <br></span>
<table id="d3m2" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">class ArrayList<V>{</span> </div>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">V[] content;</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">private static final int DEFAULT_SIZE=10;</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">public ArrayList() {</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">       //编译错误。</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">       content=new V[DEFAULT_SIZE];</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</blockquote>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</td>
</tr></tbody></table>
<span style="font-size: x-small;">   <span>但这段代码不能工作，不能实例化用类型参数表示的类型数组。因为编译器不知道V到底是代表什么类型，所以不能实例化V数组。<br></span></span>
</div>
<span><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span>   Java库中的 Collections提供了一种思路，用于实现，但是非常别扭（设置连Collections的作者都这样说过.）在Collections类编译时，会产生警告：</span> <br></span></div>
<table id="uuaw" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">class ArrayList<V> {</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   private V[] backingArray;</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   public ArrayList() {</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   backingArray = (V[]) new Object[DEFAULT_SIZE];</div>
<div style="margin-top: 0px; margin-bottom: 0px;">   }</div>
<div style="margin-top: 0px; margin-bottom: 0px;">}</div>
</td>
</tr></tbody></table>
<span style="font-size: x-small;"><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;">   <span> 因为泛型是通过擦除实现的，</span> <span>backingArray</span> <span> 的类型实际上就是 </span> <span>Object[]</span> <span>，因为 </span> <span>Object</span> <span> 代替了 </span> <span>V</span> <span>。</span> </span></div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span>   这意味着：实际上这个类期望 <span>backingArray</span> 是一个 <span>Object</span> 数组，但是编译器要进行额外的类型检查，以确保它包含 <span>V</span> 类型的对象。所以这种方法很奏效，但是非常别扭，因此不值得效仿<br></span></div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   另外有一种方法是： </span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span>       声明backingArray为Object数组，并在使用它的各个地方，强转成V[]</span> <br></span></div>
<span style="font-size: x-small;"><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span style="font-size: medium;"><strong>   其他方法</strong> </span><br></span></div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: medium;">   <br></span></div>
<span style="font-size: x-small;">  <span> 最好的方法是：向构造方法中，传入类对象，这样，在运行时，就可以知道T的值了。不采用这种方法的原因是，它无法与之前版本的Collections框架相兼容。</span> </span>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   比如：</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;"> <br></span>
<table id="l2l9" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">public class ArrayList<V> implements List<V> {</span> </div>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">private V[] backingArray;</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">private Class<V> elementType;</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">public ArrayList(Class<V> elementType) {</span> </div>
</blockquote>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">this.elementType = elementType;</span> </div>
</blockquote>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">backingArray = (V[]) Array.newInstance(elementType, DEFAULT_LENGTH);</span> </div>
</blockquote>
</blockquote>
<blockquote style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 40px; padding: 10px;">
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</blockquote>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span style="font-size: x-small;">}</span> </div>
</td>
</tr></tbody></table>
<span style="font-size: x-small;"><br></span><span style="font-size: x-small;">   <span> 但是，这里还是有地方不是很妥当: </span> </span>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;"><span style="font-size: x-small;"><span>   调用 </span> <span>Array.newInstance()</span> <span> 时会引起未经检查的类型转换。为什么呢？同样是由于向后兼容性。</span> <span>Array.newInstance()</span> <span> 的签名是：</span> <br></span></div>
<table id="r9l-" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%"><span style="font-size: x-small;"><span style="font-family: 'Courier New';">public static Object newInstance(Class<?> componentType, int length) </span> <br></span></td>
</tr></tbody></table>
<span style="font-size: x-small;">   而不是类型安全的：</span> <br><table id="pb_n" style="font-size: 1em; line-height: inherit; border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3" width="100%"><tbody><tr style="text-align: left;">
<td width="100%"><span style="font-size: x-small;"><span style="font-family: 'Courier New';">public static<T> T[] newInstance(Class<T> componentType, int length) </span> <br></span></td>
</tr></tbody></table>
<span style="font-size: x-small;"><br></span>
<p style="margin: 0px;"><span style="font-size: x-small;"> <span>为何 </span> <span>Array</span> <span> 用这种方式进行泛化呢？同样是为了保持向后兼容。要创建基本类型的数组，如 </span> <span>int[]</span> <span>，可以使用适当的包装器类中的 </span> <span>TYPE</span> <span> 字段调用 </span> <span>Array.newInstance()</span> <span>（对于 </span> <span>int</span> <span>，可以传递 </span> <span>Integer.TYPE</span> 作为类文字）。用 <span>Class<T></span> <span> 参数而不是 </span> <span>Class<?></span> <span> 泛化 </span> <span>Array.newInstance()</span> <span>，对于引用类型有更好的类型安全，但是就不能使用 </span> <span>Array.newInstance()</span> <span> 创建基本类型数组的实例了。也许将来会为引用类型提供新的 </span> <span>newInstance()</span> <span> 版本，这样就两者兼顾了。</span> </span></p>
<p style="margin: 0px;"><span>在这里可以看到一种模式 —— 与泛型有关的很多问题或者折衷并非来自泛型本身，而是保持和已有代码兼容的要求带来的副作用。</span> </p>
<span>   </span>
<div style="margin-top: 0px; margin-bottom: 0px;">   <strong><span style="font-size: medium;">擦除的实现</span> </strong>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<strong>   </strong> <span>因为泛型基本上都是在JAVA编译器中而不是运行库中实现的，所以在生成字节码的时候，差不多所有关于泛型类型的类型信息都被“擦除”了，换句话说，编译器生成的代码与手工编写的不用泛型、检查程序类型安全后进行强制类型转换所得到的代码基本相同。与C++不同，List<Integer>和List<Number>是同一个类（虽然是不同的类型，但是都是List<?>的子类型。）</span> </div>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   擦除意味着，一个类不能同时实现 Comparable<String>和Comparable<Number>,因为事实上，两者都在同一个接口中，指定同一个compareTo()方法。</span> </div>
<span><br></span>
<div style="margin-top: 0px; margin-bottom: 0px;">
<span>   擦除也造成了上述问题，即不能创建泛型类型的对象，因为编译器不知道要调用什么构造函数。如果泛型类需要构造用泛型类型参数来指定类型的对象，那么构造函数应该传入类对象，并将它们保存起来，以便通过反射来创建实例。</span> <span><br></span>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;"><br></div>
<div style="margin-top: 0px; margin-bottom: 0px;">PS : </div>
<div style="margin-top: 0px; margin-bottom: 0px;">   貌似发布上来格式有问题，</div>
<div style="margin-top: 0px; margin-bottom: 0px;"> 这里放出我整理的Google文档地址，感觉看不清楚的可以去这里看看。</div>
<div style="margin-top: 0px; margin-bottom: 0px;"> <a href="http://docs.google.com/View?id=dgmjz37_7gp8mrjvv">http://docs.google.com/View?id=dgmjz37_7gp8mrjvv</a> </div>
</div>
</div>
<p> </p>

发表评论

您还没有登录,请您登录后再发表评论

最近访客更多访客>>

博主相关

文章分类

社区版块

存档分类

最新评论

读 IBM中国《Java 理论和实践: 了解泛型》

了解Java泛型

评论

发表评论

相关推荐

最近访客 更多访客>>

博主相关

文章分类

社区版块

存档分类

最新评论

读 IBM中国 《Java 理论和实践: 了解泛型》

了解Java泛型

评论

发表评论

相关推荐

博客停止更新

JProfile初步使用图解

J2EE简单性的红利

读《Unix编程艺术》 第四章：模块化、保持清晰、保持简洁

阿里巴巴电面整理(二)

阿里巴巴电面整理

我的Google 在线文档地址

世界杯期间离职……

MD5验证文件

超棒的验证码生成组件---Jcaptcha

web服务器工作方式

开源UML项目Udoc简介

非常不错的Struts2教程

VC++之 Windows进程篇

eclipse 配置C/C++开发环境

RBAC权限涉猎之关系处理

重装XP以后修复Ubuntu引导

Ant创建项目模版Demo

Ant+Freemarker+xml 生成Html

HSQLDB的简单使用

最近访客更多访客>>

读 IBM中国《Java 理论和实践: 了解泛型》

读《Unix编程艺术》第四章：模块化、保持清晰、保持简洁