Java5范型研究

1、  java 范型的实现原理： Java 语言中的泛型基本上完全在编译器中实现，由编译器执行类型检查和类型推断，然后生成普通的非泛型的字节码。这种实现技术称为擦除（ erasure ）（编译器使用泛型类型信息保证类型安全，然后在生成字节码之前将其清除），所以说其实 java 的所谓的范型知识形式上的，仅仅是在编译期做了手脚，生成了一些标明范型的变量，应为这些都是编译期的行为，那么引用 buaawhl 的一句话就是说： java 只能支持 Field, Method 的 generic type 信息，这些信息存放在 class 文件的 contant pool 中，作为字符串常量出现，标志是 signature 。

2、  由于 Java 范型的实现采用的是 Erasure 方式，仅仅是在编译期进行检查，所以在运行过程中我们就不能进行范型的实例化，因为我们不知道到底要实例化什么类型的对象，与原来我们手动进行强制类型转换的一样，我们如果知道我们能够转换成什么对象，那么我们就可以将我们知道的类型的信息传递过去，也就是吧 XX.class 传递过去，这样 jvm 就知道我们要实例化什么样的对象了。
 

3、  原来 Class<T> 表示的是一个范型的 Class 类啊，为什么搞的像 List<T> 样式的范型声明呢？搞得我迷糊了好长时间，一致以为是一个类似容器的东西呢，这个语法感觉到有些奇怪，见笑了：），这个类一般用来接受 XX.class 返回的对象。

4、  要想在 java 中范型用得爽，还得配合使用反射才行啊。由于 Java 采用了擦拭法进行范型的支持，所以我们依旧不能在运行期获取到具体的类型的信息，而至能够在我们进行设计的时候对其类型信息进行指定，那么我们指定的类型的信息就可以存放在编译后生成的 class 文件中了，我们可以通过反射来获取到具体的存放的信息，要获取到动态的传入的信息就不行了。

如下所示：

定义一个超类：
 

 

1 public   class  SuperClass < T  extends  Number >   { 
2 }  
3

 

再定义一个子类： <o:p> </o:p>

<o:p> </o:p>

import  java.lang.reflect.ParameterizedType; 

  

public   class  MyTest < T >   extends  SuperClass < Integer >   { 

     private  Class clazz  =   null  ; 

     public   void  printClassInf() { 

       System. out .println(  this  .getClass().getName()); 

       System. out .println(  this  .getClass().getTypeParameters()[ 0 ].getName()); 

       System. out .println(  this  .getClass().getSuperclass().getTypeParameters()[ 0 ].getName()); 

       clazz  = (Class) ((ParameterizedType)  this  .getClass().getGenericSuperclass()).getActualTypeArguments()[ 0 ]; 

       String out  =  clazz .getName(); 

       System. out .println(out); 

    }  

     public   static   void  main(String[] args) { 

       MyTest test  =   new  MyTest < > (); 

       test.printClassInf(); 

    }  

}  

 

那么我们只能够获得我们实现定义好的要传入到 SuperClass 类中的 Integer 类型的范型信息，而不能得到我们在程序中传入的 类的类型信息，因为 java 范型的信息不记录的实例中，仅仅在类中进行了记录（这点感觉 java 的范型还不够成熟，可能因为要向后兼容等原因吧）。

<o:p> </o:p>

参考资料：

http://www.duduwolf.com/wiki/2006/51.html

http://calvin.iteye.com/blog/33139    白衣的 SpringSide 中对范型使用的说明

http://www-128.ibm.com/developerworks/cn/java/j-jtp01255.html   Java 理论和实践关于范型的讲解

http://www.nirvanastudio.org/java/dont-repeat-the-dao.html   范型实现可重用 DAO 的文章

http://gceclub.sun.com.cn/Java_Docs/html/zh_CN/api/java/lang/reflect/ParameterizedType.html#getActualTypeArguments()

http://buaawhl.iteye.com/blog/22020   范型的实现原理，讲的比较清楚

<o:p> </o:p>