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 文件中了,我们可以通过反射来获取到具体的存放的信息,要获取到动态的传入的信息就不行了。
如下所示:
定义一个超类:
再定义一个子类:
那么我们只能够获得我们实现定义好的要传入到 SuperClass 类中的 Integer 类型的范型信息,而不能得到我们在程序中传入的 Shit 类的类型信息,因为 java 范型的信息不记录的实例中,仅仅在类中进行了记录(这点感觉 java 的范型还不够成熟,可能因为要向后兼容等原因吧)。
参考资料:
http://www.duduwolf.com/wiki/2006/51.html
http://calvin.javaeye.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.javaeye.com/blog/22020 范型的实现原理,讲的比较清楚