Java unchecked：varargsパラメータの未チェックのジェネリック配列の作成

Javaコードでチェックされていない警告を表示するようにNetbeansを設定しましたが、次の行のエラーを理解できません。

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のように、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メソッドがあります。この場合、それは潜在的に安全ではありません。それが警告が出ている理由です。

Javaコンパイラはvarargsに暗黙的な配列の作成を使用し、javaは一般的な配列の作成を許可しないためです（型の引数がreifiableでないため）。

以下のコードは正しい（これらの操作は配列で許可されている）ため、チェックされていない警告が必要です。

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

ここで包括的な説明を参照してください