Java为什么不能创建泛型数组？
近期看《Java核心技术 卷I》，看到其中有一页说不能创建泛型数组。情形如下：
public class Pair<T> {
public void info( )
{
System.out.println("I am Pair");
}
}
Pair<String>[] p=new Pair<String>[10];//该句编程环境eclipse会提示错误，连编译都不能通过
为什么Java不允许创建泛型数组？看核心技术里的讲解看不懂，又翻开《疯狂Java讲义》，两本书拼凑，终于看懂了。也曾查阅网上资料，但大都抄来抄去，也是说不明白。
首先，从一个问题讲起——Java为什么使用泛型？引入泛型的目的之一就是为了提高程序的安全性，减少错误发生，还是用一段更形象的代码来讲吧。请看下面代码
public class Test {
public static void main(String[] args) {
ArrayList list=new ArrayList();
list.add(new Pair());
//list.add(5);
Pair p=(Pair)list.get(0);
p.info();
}
}
运行上面代码是不会有任何问题的，但是我们稍加改动，即放开被注释掉的那行代码，并将索引改为1，即变为如下代码
public class Test {
public static void main(String[] args) {
ArrayList list=new ArrayList();
list.add(new Pair());
list.add(5);
Pair p=(Pair)list.get(1);
p.info();
}
}
程序将发生java.lang.ClassCastException，很显然，是因为我们把int类型强制转为Pair类型发生的。以上代码是用引入泛型代码之前的方式写的，在引入泛型后，java集合都已经重写以迎合泛型。引入泛型的目的之一就是为了消除这种隐患，于是，泛型的一个原则被引了出来——如果一段代码在编译时没有提出“未经检查的转换”警告，则程序在运行时不会引发ClasscastException异常。
我们再用泛型的方式来重写一遍上面的代码，如下
编译环境会提示错误，编译都通不过，于是这便在编译阶段就避免了这种隐患的发生。泛型能够保证类型的统一。
接下来讲本篇博客的重点——为什么不能创建泛型数组？
这跟数组的一个特点有关，看代码
public class Father {
}
public class Son extends Father{
}
public class Test {
public static void main(String[] args) {
Father[] son=new Son[10];
}
}数组是允许把一个子类数组赋给一个父类数组变量的！这会发生什么！？
public class Test {
public static void main(String[] args) {
Pair<String>[] p=new Pair<String>[10];//实际这句是不能通过编译的，eclipse会提示错误
Object[] oj=p;
}
}如果允许创建泛型数组，将能在数组p里存放任何类的对象，并且能够通过编译，因为在编译阶段p被认为是一个Object[ ]，也就是p里面可以放一个int，也可以放一个Pair，当我们取出里面的int，并强制转换为Pair，调用它的info（）时会怎样？java.lang.ClassCastException！这就违反了泛型引入的原则。所以，Java不允许创建泛型数组。
有人可能会说，即使我用泛型ArrayList<Pair> list=new ArrayList<Pair>( )，我不是照样可以取出里面的对象，使用显式的强制类型转换吗?比如，Father f=(Father)list.get(0)，实际操作你将会发现，你依旧会被提示错误，编译不过，这并不违背泛型引入的原则。
最后，感谢《Java核心技术 卷I》和《疯狂Java讲义》。
上一篇：
IDEA上Java项目控制台中文乱码