创建一个泛型数组会发生什么?

数组的使用频率非常高,我们经常会创建一个数组,无论是基本类型还是引用类型的数组;但是你尝试创建过泛型数组吗?又会发什么什么?


尝试创建一个泛型数组

如果你使用Java语言,并且尝试创建一个泛型数组;好吧,其实你会发现根本无法创建一个泛型数组,编译器在编译阶段就制止了你的这一行为。

数组与泛型不能很好的结合,也不能创建具有泛型类型的数组。其中的原因与泛型的实现机制有关。

泛型与类型擦除

Java引入泛型的目的之一是指定容器要装载的对象的类型,由编译器来保证类型的正确性。这样能一定程度保证代码的安全性。

	public static void main(String[] args) {
		List<Integer> list=new ArrayList<>();
		list.add(new Integer(1));  //OK
		//list.add("hello");   //Error
	}

虽然泛型功能强大并且能够方便编程,但是它并不像我们想的那么友好。亲手编写的代码有时并不如你意,比如下面的例子:

	public static void main(String[] args) {
		Class ca=new HashSet<Integer>().getClass();
		Class cb=new HashSet<String>().getClass();
		System.out.println(ca==cb);  //true
	}

一个是HashSet< Integer>,一个是HashSet< String>,输出的结果却是true,这似乎有点匪夷所思。

Java的泛型的实现依赖于 类型擦除 ,所谓擦除,就是在使用泛型时,类型参数(正如上面的Integer和String)会被自动忽略,因此,在真正运行泛型代码的时候,ca和cb都是原生的HashSet类型,或者你可以认为它们都是HashSet< Object>类型(这种只包含类型< T>的泛型会被擦除为最大的父类Object)

	public static void main(String[] args) {
		Class ca=new HashSet<Integer>().getClass();
		Class cb=new HashSet<String>().getClass();
		System.out.println(ca);  //class java.util.HashSet
	}

因此,当你编写类似上面的泛型代码时,你必须深刻的知道,你能这么写只是告诉编辑器将来要将Integer作用于HashSet,而它本质上只是一个Object。

数组与泛型

由于擦除的存在,会掩盖泛型数组的类型,而数组必须要知道确定的类型才可以使用,要不然会出现[1,“hello”,2.0]这样的数组,当然是不允许的。

或许你有疑惑,根据擦除,上面的List[] ints=new List[5]实际上是List,这不也是确切的类型吗?可是Integer,String都是Object,所以是不能这样创建的。

虽然不能创建new一个数组实例,但是却可以创建泛型数组的引用。通过非泛型的数组进行转型也可以赋值给泛型数组的引用。

	public static void main(String[] args) {
		List<Integer>[] ints;  //泛型数组引用
		List[] ls=new List[5]; //非泛型数组
		ints=ls;               //赋值,会自动转型
		for(List l:ints) {
			l=new ArrayList<>();
		}
	}

上面是一个List这样的泛型,不能直接创建;那么可以T[]的数组可以实现吗?答案是可以的。

当然你肯定不能直接T[] t;

	public static void main(String[] args) {
	    T[] t=new T[5]; //T cannot be resolved to a type
	    //error
	}

你可以像下面这样对数组本身类型进行实例化:

	public static void main(String[] args) {
		Integer[] intA= {1,2,3,4};
		ArraryT<Integer> arrayT=new ArraryT<>();
		Integer[] ints=arrayT.getArrayT(intA);
		for(Integer i:ints) {
			System.out.print(i);  //1234
		}
	}

	//ArrayT类
	public class ArraryT<T> {
		public T[] getArrayT(T[] t) {
			return t;
		}
	}

所以,某种意义上说,不能创建泛型数组的说法并不准确。
不过Java有如此强大的容器类,更多时候应该选择使用容器类,而不是数组。




个人博客:http://smartpig612.club
微信公众号:SmartPig

©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页