好还是坏-JDK5对泛型的引入

最近在开发中遇到一个现象，就是在编译时整个代码中使用了泛型，并没有出现任何类型转换上的问题。代码如下：

void foo(List<ADto> res) {
	if(res != null) {
		List<Integer> resIds = new ArrayList<Integer>();
	        for (ADto a : res) {//在这一行报java.lang.ClassCastException
        	    resIds.add(a.getId());
	        }
	}    	
	
	//do sth
    }

然而程序在运行时，总是在for循环处报java.lang.ClassCastException，也就是类型转换异常。根据Java的语义来讲，这是一个不应该发生的错误异常。

因为这是一个高并发程序，使用了Memcached等缓存，所以根据经验，很容易能够判断出来，无论如何，res都是从缓存中取出来的旧的集合数据，而非其他可能。幸好我还记得几天前的代码中的res中放置的是其他类型的数据。so，开始清除缓存，之后再也未出现ClassCastException这个异常报错了。

通过这个案例，使我们认识到，泛型仅仅是JDK5之后引入的一个编译时级别上的判断和支持。进入运行时，如果方法中传入的实参并未遵循泛型的约束，程序默认不会报错，只有运行到实际类型转换时，才会抛出或者捕获这个异常，然后导致程序在运行时失败。由于泛型仅仅是编译时级别上的支持，就非常容易在程序运行时造成更大的困惑。

从这个层面来看，泛型的引入，并未很好的解决java运行时所带来的类型转换问题，或者说，泛型的引入，并不是为了解决整个程序从编译时到运行时的全部类型转换的问题，泛型仅仅是为了解决编译时的类型转换而生。那么这样的做法，对于java从1.4版就已经比较成型的语言，到jdk5的引入泛型后的彻底类库大翻新，到底是利大于弊，还是弊大于利呢？

评论

25 楼 ak_2005 2011-05-24  

LZ对泛型还理解不到位。。。

24 楼 imacback 2011-05-24  

存在即合理，泛型还是有好多好处的， 这个例子本身不能说明问题

ps:我们不能根据某个问题就得出一个定论：）

23 楼 mercyblitz 2011-05-24  

哥们，你的代码有问题，即使是强制转型也会报错的。远程方法调用时，或者反射调用是，Class文件中是没有泛型的特征的。

22 楼 captmjc 2011-05-24  

那是因为lz调用了foo(List)而不是foo(List<ADto>)吧，这个会编译警告的，你选择忽略这个警告，就不能怪别人了。

21 楼 cosmo1987 2011-05-24  

java的泛型怎么说呢...觉得还是比不上C++的功能吧，使用了泛型之后，类型擦拭后的对象还是不能在运行时自动确定对象类型。如果可以进步到在运行时确定类型，并能即时调用类型中的方法的话，就真的如了泛型，这个名字的意义：实现广泛的类型

20 楼 ahaqi110 2011-05-24  

此错误与泛型无关。JDK5引入泛型 不用怀疑 一定是进步的。我觉得用了泛型让编程变的更简单了，让我们看程序一目了然，并不像楼主说的那么复杂。

19 楼 chenenbang 2011-05-24  

这个题目太大了，看这个例子，我觉得不能说明问题！

18 楼 yizhilong28 2011-05-24  

sharong 写道

ironsabre 写道

lz举例不当，你强转一样报错。

问题是强转报错很容易看出来，用泛型之后，很多人会觉得那一行不应该出错。。。
但实际只是个编译时约束

泛型的引入是一种进步，这点不需要质疑。
出现lz所说的情形，只能说写程序的人本身没搞清楚状况，如同空指针一样。

17 楼 advantech 2011-05-24  

这个错误分析不出来，我觉得还是回家种红薯吧，还做什么程序员。

16 楼 useryouyou 2011-05-23  

jdk 5 出了 泛型 ，数组用的就比较少了。

15 楼 zean 2011-05-23  

jdk确实越来复杂，1.4的功能已经差不多了，我觉得java应该把主要精力放在开发工具上，比起微软的开发工具相差还挺远，老折腾语言层，难道又要整一个C++出来？

14 楼 chunquedong 2011-05-23  

这个真不好说。但增加的复杂性很明显，什么协变逆变的。

13 楼 ironsabre 2011-05-23  

sharong 写道

ironsabre 写道

lz举例不当，你强转一样报错。

问题是强转报错很容易看出来，用泛型之后，很多人会觉得那一行不应该出错。。。
但实际只是个编译时约束

那么明显的的报错你看不出来？

12 楼 xijieqjx 2011-05-23  

类型擦除就相当于把强制类型转换的代码用编译器实现了。代码规范了一些。但对我来说确实不好理解，感觉不是泛型，是一层强制转换披了张泛型的皮。

11 楼 nobody2008 2011-05-23  

题目大了！


再说，java.lang.ClassCastException是运行时异常，也就是说是你自己把代码写错了，与泛型无关。

10 楼 KimHo 2011-05-23  

sharong 写道

ironsabre 写道

lz举例不当，你强转一样报错。

问题是强转报错很容易看出来，用泛型之后，很多人会觉得那一行不应该出错。。。
但实际只是个编译时约束

也只能是个编译时约束
难道jdk能智能到知道你代码实际运行的所有可能情况？（超前预知？）

9 楼 jackerxff 2011-05-23  

有可能 是在不同的classLoader 中完成 写入  和  读出的

8 楼 sharong 2011-05-23  

ironsabre 写道

lz举例不当，你强转一样报错。

问题是强转报错很容易看出来，用泛型之后，很多人会觉得那一行不应该出错。。。
但实际只是个编译时约束

7 楼 ironsabre 2011-05-23  

lz举例不当，你强转一样报错。

6 楼 skycray 2011-05-23  

LZ喜欢强转?