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讲义》。

©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页