1700446922
编写高质量代码:改善Java程序的151个建议 建议93:Java的泛型是类型擦除的
1700446923
1700446924
Java泛型(Generic)的引入加强了参数类型的安全性,减少了类型的转换,它与C++中的模板(Templates)比较类似,但是有一点不同的是:Java的泛型在编译期有效,在运行期被删除,也就是说所有的泛型参数类型在编译后都会被清除掉,我们来看一个例子,代码如下:
1700446925
1700446926
public class Foo{
1700446927
1700446928
//arrayMethod接收数组参数,并进行重载
1700446929
1700446930
public void arrayMethod(String[]strArray){
1700446931
1700446932
}
1700446933
1700446934
public void arrayMethod(Integer[]intArray){
1700446935
1700446936
}
1700446937
1700446938
//listMethod接收泛型List参数,并进行重载
1700446939
1700446940
public void listMethod(List<String>stringList){
1700446941
1700446942
}
1700446943
1700446944
public void listMethod(List<Integer>intList){
1700446945
1700446946
}
1700446947
1700446948
}
1700446949
1700446950
程序很简单,编写了4个方法,arrayMethod方法接收String数组和Integer数组,这是一个典型的重载,listMethod接收元素类型为String和Integer的List变量。现在的问题是,这段程序是否能编译?如果不能,问题出在什么地方?
1700446951
1700446952
事实上,这段程序是无法编译的,编译时报错信息如下:
1700446953
1700446954
Method listMethod(List<Integer>)has the same erasure listMethod(List<E>)as
1700446955
1700446956
another method in type Foo
1700446957
1700446958
此错误的意思是说listMethod(List<Integer>)方法在编译时擦除类型后的方法是listMethod(List<E>),它与另外一个方法重复,通俗地说就是方法签名重复。这就是Java泛型擦除引起的问题:在编译后所有的泛型类型都会做相应的转化。转换规则如下:
1700446959
1700446960
List<String>、List<Integer>、List<T>擦除后的类型为List。
1700446961
1700446962
List<String>[]擦除后的类型为List[]。
1700446963
1700446964
List<?extends E>、List<?super E>擦除后的类型为List<E>。
1700446965
1700446966
List<T extends Serializable&Cloneable>擦除后为List<Serializable>。
1700446967
1700446968
明白了这些擦除规则,再看如下代码:
1700446969
1700446970
public static void main(String[]args){
[
上一页 ]
[ :1.700446921e+09 ]
[
下一页 ]