[解決済み] Java unchecked: 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;
}

具体的に何が問題で、どのように修正すればいいのでしょうか。コードにチェックされていない警告をそのままにしておくのは良くないと思うのですが。

書き忘れましたが、Java7を使用しています。

編集 : また、今見ると、このメソッドには以下のようなものがあるようです。

[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さんが前述したように、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>[] その理由は、他の多くの質問でも取り上げられましたが、主に、配列は実行時にその要素型を知り、追加された要素がその要素型に一致するかどうかを実行時にチェックしますが、パラメータ化された型ではこのチェックができないという事実に関係するものだからです。

とにかく、コンパイラは失敗するどころか、まだ配列を作成しているのです。これと似たようなことをするのです。

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

これは潜在的に安全ではありませんが、必ずしも安全であるとは限りません。ほとんどの varargs メソッドは単に varargs 要素を反復して読み取るだけです。この場合、配列の実行時の型は気にしません。これはあなたのメソッドの場合です。あなたがJava 7を使用していることから、あなたはJava 7に対応するために @SafeVarargs というアノテーションを付けると、この警告は出なくなります。このアノテーションは基本的に、このメソッドは配列の型ではなく、要素の型だけを気にしますよ、ということを表しています。

しかし、配列の実行時型を使用するような varargs メソッドもあります。この場合、安全でない可能性があります。そのため、警告が表示されるのです。