本文主要是介绍java7新特性 当使用可变并且非具体类型形式化参数的方法时候，改进警告与报错的提示，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
原文
本页涵盖以下主题：
- Heap Pollution
- 带可变参数方法与非具体化参数
- 安全漏洞可变的非具体化参数的方法
- 对可变的非具体化参数消除提示警告
Heap Pollution
像ArrayList<Number>,ArrayList<String>被参数化类型是非具体化类型。一个非具体化类型在运行时完全是不可以用的。在编译的时候，编译器经历一个类型擦除过程，在这个过程中，会擦除参数类型类型被参数化信息，这样保证在泛型出现之前应用程序和java库能够很好的二进制兼容。
当一个被参数化变量指向一个非参数化对象的时候，Heap Pollution就发生了，
List l = new ArrayList<Number>();
List<String> ls = l; // unchecked warning
l.add(0, new Integer(42)); // another unchecked warning
String s = ls.get(0); // ClassCastException is thrown在类型擦除过程中，类型ArrayList<Number>和List<String>分别成为ArrayList和List
这个变量ls被参数化List<String>，当l引用赋给它，编译器生成了未检查警告？
编译时，在add语句里编译器生成另一个未检查警告，因为编译器无法知道变量l参照ArrayList<Number>类型还是List<String>类型，可是在get语句里编译器没能产生警告或者错误，在调用get方法，本想取到一个String对象，结果抛出aClassCastException异常
当静态类型List<Number> l赋给静态类型List<String>的时候，Heap Pollution发生了，但为什么这样赋呢？主要是因为保护不支持泛型javaSE版本向后兼容
另外，当add方法调用时，and方法形式参数是String，实际参数是Integer,因此，Heap Pollution 也发生了，编译器仍然允许这个方法调用，是因为类型擦除时，and方法第二个形式参数变成了Object,Integer是Object子类型，因此编译器允许这样做。
可变参数方法和非具体形式参数
看看下面这个方法ArrayBuilder.addToList 的例子，这是个可变的参数的方法，主要将T类型的对象放入ListlistArg
import java.util.*;
public class ArrayBuilder {
public static <T> void addToList (List<T> listArg, T... elements) {
for (T x : elements) {
listArg.add(x);
}
}
public static void faultyMethod(List<String>... l) {
Object[] objectArray = l; // Valid
objectArray[0] = Arrays.asList(new Integer(42));
String s = l[0].get(0); // ClassCastException thrown here
}
}
import java.util.*;
public class HeapPollutionExample {
public static void main(String[] args) {
List<String> stringListA = new ArrayList<String>();
List<String> stringListB = new ArrayList<String>();
ArrayBuilder.addToList(stringListA, "Seven", "Eight", "Nine");
ArrayBuilder.addToList(stringListA, "Ten", "Eleven", "Twelve");
List<List<String>> listOfStringLists = new ArrayList<List<String>>();
ArrayBuilder.addToList(listOfStringLists, stringListA, stringListB);
ArrayBuilder.faultyMethod(Arrays.asList("Hello!"), Arrays.asList("World!"));
}
}javaSE 7的编译器对这个方法ArrayBuilder.addToList 生成下面的警告
warning: [varargs] Possible heap pollution from parameterized vararg type T当编译器遇到可变的方法，它将可变的形式参数为数组，在java语言里，不允许参数化数组的创建，对这ArrayBuilder.addToList方法，编译器将可变形式参数T... elements转化为形式参数T[] elements数组。因为类型擦涂的原因，编译器最终转化为形式参数Object[] elements，因此，Heap Pollution是有可能的。更多信息，请看下一节。
带有潜在安全漏洞可变的非具体化形式参数的方法
该方法arraybuilder.faultymethod表明为什么编译器警告您对这几种方法
这个方法把一个可变的非具体形式参数赋给了一个Object类型数组objectArgs：
Object[] objectArray = l;
这个语句潜伏了一个Heap Pollution问题
在这个语句编译器不生成未检查警告，在List<String>... l转化为List[] l.的时候已经提示未检查警告，这个l是这个List[]类型，是Object[]子类型，因此这句是对的。
因此，当你赋任意类型List对象到objectArray数组的元素，如下所示：
objectArray[0] = Arrays.asList(new Integer(42));编译器不会警告或者报错
假设你用用下面的语句调用ArrayBuilder.faultyMethod
ArrayBuilder.faultyMethod(Arrays.asList("Hello!"), Arrays.asList("World!"));在运行时，JVM在下面语句抛出a ClassCastException异常String s = l[0].get(0); // ClassCastException thrown here可变的非具体化形式参数的方法消除警告
如果你定义了可变的参数化方法，并且能保证该方法体不会抛出ClassCastException异常，你可以通过下面一些选项来消除警告
- 添加下面的注解
@SafeVarargs
- 添加下面的注解
@SuppressWarnings({"unchecked", "varargs"})
- 使用编译选项
-Xlint:varargs
例如：下面ArrayBuilder类有两个另外的addToList2 and addToList3方法
public class ArrayBuilder {
public static <T> void addToList (List<T> listArg, T... elements) {
for (T x : elements) {
listArg.add(x);
}
}
@SuppressWarnings({"unchecked", "varargs"})
public static <T> void addToList2 (List<T> listArg, T... elements) {
for (T x : elements) {
listArg.add(x);
}
}
@SafeVarargs
public static <T> void addToList3 (List<T> listArg, T... elements) {
for (T x : elements) {
listArg.add(x);
}
}
// ...
}public class HeapPollutionExample {
// ...
public static void main(String[] args) {
// ...
ArrayBuilder.addToList(listOfStringLists, stringListA, stringListB);
ArrayBuilder.addToList2(listOfStringLists, stringListA, stringListB);
ArrayBuilder.addToList3(listOfStringLists, stringListA, stringListB);
// ...
}
}
在这个例子，编译器生成下面警告：
addToList:
在方法定义：[unchecked] Possible heap pollution from parameterized vararg type T
在方法调用：[unchecked] unchecked generic array creation for varargs parameter of type List<String>[]
addToList2:
在方法调用：[unchecked] unchecked generic array creation for varargs parameter of type
在方法定义：没有警告
addToList3:
在方法定义和调用都没有警告
注意：在java SE 5和6，程序员保证他调用的方法不会Heap Pollution发生，如果这个方法不是这个程序员写的，程序员很难保证，在java SE 7中，写这个方法程序员保证没有Heap Pollution发生
这篇关于java7新特性 当使用可变并且非具体类型形式化参数的方法时候，改进警告与报错的提示的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
