Java未检查:varargs参数的未检查通用数组创建


111

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

17
无论做什么,在Java中,您都不需要使用0s初始化新创建的int数组...
Thomas Mueller 2014年

1
@ThomasMueller好去那里
skiwi 2014年

Answers:


165

如上面的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方法确实使用了数组的运行时类型。在这种情况下,这可能是不安全的。这就是警告出现的原因。


16
感谢您不仅提到SafeVarags,而且还告诉我们何时可以使用它。
KitsuneYMG 2014年

12
如果不是所有人都能立即发现它(就像对我而言不是),那么Javadocs for会@SafeVarargs提供不安全的方法示例docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs .html
michiakig,2015年

3
所以,@SafeVarargs当你的方法可以使用仅消耗数组的元素,并不会(也永远不会)生产要素投入的阵列?如果将数组参数分配给可能由其他方法操纵的字段,则必须格外小心,因为确定对数组字段未执行任何不安全的操作可能并不容易。
neXus

13

因为Java编译器对varargs使用隐式数组创建,并且Java不允许通用数组创建(因为type参数是不可更改的)。

下面的代码是正确的(数组允许这些操作),因此需要未经检查的警告:

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

在这里查看全面的解释

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.