Я установил 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>...)
Ответы:
Как упоминалось выше в janoh.janoh, varargs в Java - это просто синтаксический сахар для массивов плюс неявное создание массива на вызывающем сайте. Так
на самом деле
Но, как вы, возможно, знаете,
new List<String>[]
это запрещено в Java по причинам, которые были рассмотрены во многих других вопросах, но в основном связаны с тем фактом, что массивы знают свой тип компонента во время выполнения и проверяют во время выполнения, соответствуют ли добавленные элементы его компоненту. type, но эта проверка невозможна для параметризованных типов.В любом случае, вместо того, чтобы дать сбой, компилятор по-прежнему создает массив. Он делает что-то похожее на это:
Это потенциально небезопасно, но не обязательно. Большинство методов varargs просто перебирают элементы varargs и читают их. В этом случае тип массива во время выполнения не имеет значения. Так обстоит дело с вашим методом. Поскольку вы используете Java 7, вам следует добавить
@SafeVarargs
аннотацию к своему методу, и вы больше не получите это предупреждение. Эта аннотация в основном говорит, что этот метод заботится только о типах элементов, а не о типе массива.Однако есть некоторые методы varargs, которые используют тип массива во время выполнения. В этом случае это потенциально небезопасно. Вот почему есть предупреждение.
источник
@SafeVarargs
есть пример небезопасного метода docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs .html@SafeVarargs
может ли использоваться, когда ваш метод потребляет только элементы массива и не (и никогда не будет) создавать элементы для помещения в массив? Следует проявлять особую осторожность, если вы назначаете аргумент массива полю, которым можно манипулировать другими методами, поскольку определение того, что с ним не выполняются небезопасные операции, может быть нетривиальным.Поскольку компилятор java использует неявное создание массива для varargs, а java не допускает создание универсального массива (поскольку аргумент типа не может быть повторен).
Код ниже верен (эти операции разрешены с массивами), поэтому необходимо непроверенное предупреждение:
См. Подробное объяснение здесь
источник