|
|
java为什么不支持泛型数组？
关注者
274
被浏览
117,330
13 个回答
更新：目前Project Valhalla的Model 3方案里，如果泛型类型参数T是原始类型（没错，T可以是原始类型了！），那么new T[size]就是可以支持的；如果T是引用类型则跟Java 5开始的规定一样，还是不能new T[size]。
至于为什么这么设计，那还是得追溯到擦除法实现泛型。这是Java 5的时候为了最大限度兼容老的API（特别是collections API），以及减少对VM的修改而做的设计。
=============== 以下2015-02-18原答案 ===============
题主的疑问和Java未来的发展方向都在下面链接的文档里有详尽描述，包括：
You can instantiate an array of T with new T[size] . The behavior of this is to instantiate an Object[] when T is instantiated with a reference type and the correct value array when T is specialized to a value type.
文档：
State of the Specialization, December 2014: Proto Edition
http:// cr.openjdk.java.net/~br iangoetz/valhalla/specialization.html<- 这篇文档主要讨论的是原本Java泛型的设计取舍以及当前在实验中的改进思路。注意这篇文档里的“未来版本Java”的语法都是为了实现原型而随便选用的语法，不是经过彻底设计调整后的语法；请不要对原型的语法吐槽，语法是最表面最容易变的部分。
Java的reified generics目标是在Java 10推出。目前有原型可以玩：
OpenJDK: Project Valhalla
因为这样做会破坏类型安全。核心的问题在于Java范型和C#范型存在根本区别：Java的范型停留在编译这一层，到了运行时，这些范型的信息其实是被抹掉的；而C#的范型做到了MSIL这一层。Java的做法不必修改JVM，减少了潜在的大幅改动和随之而来的风险，也许同时也反映出Java Bytecode规范在设计之初的先天不足；C#则大刀阔斧，连CLR一起改以支持更彻底的范型，换句话说，在范型这一点上，感觉C#更C++一点。
在Java中，Object[]数组可以是任何数组的父类，或者说，任何一个数组都可以向上转型成它在定义时指定元素类型的父类的数组，这个时候如果我们往里面放不同于原始数据类型 但是满足后来使用的父类类型的话，编译不会有问题，但是在运行时会检查加入数组的对象的类型，于是会抛 ArrayStoreException ：
String[] strArray = new String[20];
Object[] objArray = strArray;
objArray[0] = new Integer(1); // throws ArrayStoreException at runtime因为Java的范型会在编译后将类型信息抹掉，这样如果Java允许我们使用类似
Map<Integer, String>[] mapArray = new Map<Integer, String>[20];这样的语句的话，我们在随后的代码中可以把它转型为Object[]然后往里面放Map<Double, String>实例。这样做不但编译器不能发现类型错误，就连运行时的数组存储检查对它也无能为力，它能看到的是我们往里面放Map的对象，我们定义的<Integer, String>在这个时候已经被抹掉了，于是而对它而言，只要是Map，都是合法的。想想看，我们本来定义的是装Map<Integer, String>的数组，结果我们却可以往里面放任何Map，接下来如果有代码试图按原有的定义去取值，后果是什么不言自明。
PS:另外问技术问题最好还是去相关的技术社区。。。知乎==段子手。。。