Java未选中:为varargs参数创建未经检查的通用数组

Question

我已将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>...)

Answer 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});

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

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

Answer 2

因为java编译器为varargs使用隐式数组创建,并且java不允许创建泛型数组(因为类型参数不可再生).

下面的代码是正确的(数组允许这些操作),因此需要取消选中警告:

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

请在此处查看详细说明