Java unchecked：为 varargs 参数创建未经检查的泛型数组答案

【问题标题】：Java unchecked: unchecked generic array creation for varargs parameterJava unchecked：为 varargs 参数创建未经检查的泛型数组
【发布时间】：2014-02-03 15:25:37
【问题描述】：

我已将 Netbeans 设置为在我的 Java 代码中显示未经检查的警告，但我无法理解以下几行中的错误：

private List<String> cocNumbers;
private List<String> vatNumbers;
private List<String> ibans;
private List<String> banks;
...
List<List<String>> combinations = Utils.createCombinations(cocNumbers, vatNumbers, ibans);

给予：

[unchecked] unchecked generic array creation for varargs parameter of type List<String>[]

方法来源：

/**
 * Returns a list of all possible combinations of the entered array of lists.
 *
 * Example: [["A", "B"], ["0", "1", "2"]]
 * Returns: [["A", "0"], ["A", "1"], ["A", "2"], ["B", "0"], ["B", "1"], ["B", "2"]]
 *
 * @param <T> The type parameter
 * @param elements An array of lists
 * @return All possible combinations of the entered lists
 */
public static <T> List<List<T>> createCombinations(List<T>... elements) {
    List<List<T>> returnLists = new ArrayList<>();

    int[] indices = new int[elements.length];
    for (int i = 0; i < indices.length; i++) {
        indices[i] = 0;
    }

    returnLists.add(generateCombination(indices, elements));
    while (returnLists.size() < countCombinations(elements)) {
        gotoNextIndex(indices, elements);
        returnLists.add(generateCombination(indices, elements));
    }

    return returnLists;
}

究竟出了什么问题，我将如何解决它，因为我认为在代码中留下未经检查的警告不是一个好主意？

忘了提，但我使用的是 Java 7。

编辑：我现在还看到该方法具有以下内容：

[unchecked] Possible heap pollution from parameterized vararg type List<T>
  where T is a type-variable:
    T extends Object declared in method <T>createCombinations(List<T>...)

【问题讨论】：

不管你做什么，在Java中你不需要用0初始化一个新创建的int数组...
@ThomasMueller 好收获

标签： java generics variadic-functions

【解决方案1】：

正如上面提到的 janoh.janoh，Java 中的 varargs 只是数组的语法糖加上在调用站点隐式创建的数组。所以

List<List<String>> combinations =
    Utils.createCombinations(cocNumbers, vatNumbers, ibans);

其实是

List<List<String>> combinations =
    Utils.createCombinations(new List<String>[]{cocNumbers, vatNumbers, ibans});

但您可能知道，new List<String>[] 在 Java 中是不允许的，原因在许多其他问题中已经介绍过，但主要与数组在运行时知道其组件类型并在运行时检查这一事实有关添加的元素是否与其组件类型匹配，但对于参数化类型无法进行此检查。

无论如何，编译器仍然会创建数组，而不是失败。它做了类似的事情：

List<List<String>> combinations =
    Utils.createCombinations((List<String>[])new List<?>[]{cocNumbers, vatNumbers, ibans});

这可能不安全，但不一定不安全。大多数可变参数方法只是遍历可变参数元素并读取它们。在这种情况下，它不关心数组的运行时类型。您的方法就是这种情况。由于您使用的是 Java 7，因此您应该将 @SafeVarargs 注释添加到您的方法中，您将不会再收到此警告。这个注解基本上说，这个方法只关心元素的类型，而不关心数组的类型。

但是，有一些可变参数方法确实使用了数组的运行时类型。在这种情况下，它可能是不安全的。这就是警告存在的原因。

【讨论】：

感谢您不仅提到 SafeVarags，还告诉我们何时可以使用它。
如果对任何人都不是很明显（就像对我来说不是），@SafeVarargs 的 Javadocs 有一个不安全的方法示例 docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html
所以@SafeVarargs 可以在您的方法仅使用数组元素并且不（也永远不会）产生元素时使用放入数组？如果您将数组参数分配给可能被其他方法操作的字段，则必须特别小心，因为确定没有对其执行的不安全操作可能并非易事。

【解决方案2】：

因为 java 编译器对 varargs 使用隐式数组创建，而 java 不允许创建泛型数组（因为类型参数不可具体化）。

下面的代码是正确的（数组允许这些操作），所以需要未经检查的警告：

public static <T> List<List<T>> createCombinations(List<T> ... lists) {
    ((Object[]) lists)[0] = new ArrayList<Integer>();
    // place your code here
}

看综合解释here

【讨论】：