Ява бесконтрольно: незарегистрированный создание общего массива для параметр varargs

Я установил 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.

Edit: также теперь я вижу, что метод имеет следующее:

[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>...)
3 74
javascript generics variadic-functions

3 ответа:

как янох.janoh упоминалось выше, varargs в Java-это просто синтаксический сахар для массивов плюс неявное создание массива на вызывающем сайте. Так что

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, которые используют тип времени выполнения массива. В этом случае это потенциально небезопасно. Вот почему предупреждение есть.

121

потому что компилятор java использует неявное создание массива для varargs, а java не позволяет создавать общий массив (потому что аргумент типа не поддается повторению).

приведенный ниже код корректен (эти операции разрешены с массивами), поэтому требуется непроверенное предупреждение:

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

смотрите исчерпывающее объяснение здесь

12

Как насчет подавления предупреждения?

@SuppressWarnings("unchecked")
0