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

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

尝试创建一个泛型数组

如果你使用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