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

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

尝试创建一个泛型数组

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

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

泛型与类型擦除

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

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

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

1
2
3
4
5
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,一个是HashSet,输出的结果却是true,这似乎有点匪夷所思。

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

1
2
3
4
5
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一个数组实例,但是却可以创建泛型数组的引用。通过非泛型的数组进行转型也可以赋值给泛型数组的引用。

1
2
3
4
5
6
7
8
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;

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

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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有如此强大的容器类,更多时候应该选择使用容器类,而不是数组。

smartpig wechat
扫一扫关注微信公众号
0%