「Tの一般的な配列はvarargsパラメーターに対して作成されます」コンパイラー警告を解決することは可能ですか？

これは問題のコードの簡略化されたバージョンです。あるジェネリッククラスはジェネリック型パラメーターを持つ別のクラスを使用し、varargsパラメーターを持つメソッドにジェネリック型の1つを渡す必要があります。

class Assembler<X, Y> {
    void assemble(X container, Y... args) { ... }
}

class Component<T> {
    void useAssembler(T something) {

        Assembler<String, T> assembler = new Assembler<String, T>();

        //generates warning:
        // Type safety : A generic array of T is
        // created for a varargs parameter
        assembler.assemble("hello", something);
    }

}

この警告に遭遇することなく、ジェネリックパラメーターをvarargsメソッドに渡す正しい方法はありますか？

もちろんのようなもの

assembler.assemble("hello", new T[] { something });

汎用配列を作成できないため、機能しません。

を追加する以外@SuppressWarnings("unchecked")、私はそうは思いません。

このバグレポートには詳細情報がありますが、結局のところ、コンパイラはジェネリック型の配列を好まないのです。

Tom Hawtinはコメントでこれを指摘しましたが、より明確にするために：はい、（（潜在的に多くの）呼び出しサイトではなく）宣言サイトでこれを解決できます：JDK7に切り替えます。

Joseph Darcyのブログ投稿でわかるように、Java 7のいくつかの小さな言語改善を選択するためのプロジェクトコイン演習では、メソッド側のようなものがこの警告を解消することを許可されている状況で許可するというBob Leeの提案を受け入れ@SuppressWarnings("varargs")ました安全。

これは、このコミットでOpenJDKに実装されました。

これはプロジェクトに役立つ場合もあればそうでない場合もあります（多くの人は、JVMのプレリリース版の不安定バージョンに切り替えて喜んでいません！）おそらくそうです—あるいは、後でこの質問を見つけた人（JDK7のリリース後） ）は便利だと思います。

流暢なタイプのインターフェースが必要な場合は、ビルダーパターンを試すことができます。可変引数ほど簡潔ではありませんが、タイプセーフです。

静的な総称型メソッドは、型の安全性を維持しながら、ビルダーの使用時に定型文の一部を排除できます。

ビルダー

public class ArgBuilder<T> implements Iterable<T> {

    private final List<T> args = new ArrayList<T>();

    public ArgBuilder<T> and(T arg) {
        args.add(arg);
        return this;
    }

    @Override
    public Iterator<T> iterator() {
        return args.iterator();
    }

    public static <T> ArgBuilder<T> with(T firstArgument) {
        return new ArgBuilder<T>().and(firstArgument);
    }
}

それを使う

import static com.example.ArgBuilder.*;

public class VarargsTest {

    public static void main(String[] args) {
        doSomething(new ArgBuilder<String>().and("foo").and("bar").and("baz"));
        // or
        doSomething(with("foo").and("bar").and("baz"));
    }

    static void doSomething(Iterable<String> args) {
        for (String arg : args) {
            System.out.println(arg);
        }
    }
}

varargメソッドの呼び出しでパラメーターをObjectに明示的にキャストすると、@ SuppressWarningsに頼らずにコンパイラーを満足させることができます。

public static <T> List<T> list( final T... items )
{
    return Arrays.asList( items );
}

// This will produce a warning.
list( "1", 2, new BigDecimal( "3.5" ) )

// This will not produce a warning.
list( (Object) "1", (Object) 2, (Object) new BigDecimal( "3.5" ) )

// This will not produce a warning either. Casting just the first parameter to 
// Object appears to be sufficient.
list( (Object) "1", 2, new BigDecimal( "3.5" ) )

ここでの問題は、コンパイラーが作成する配列の具体的なタイプを理解する必要があることだと思います。メソッドがジェネリックでない場合、コンパイラはメソッドからの型情報を使用できます。メソッドがジェネリックの場合、呼び出し時に使用されたパラメーターに基づいて配列タイプを把握しようとします。パラメータタイプが同種である場合、その作業は簡単です。それらが異なる場合、コンパイラーは私の考えでは賢すぎようとし、共用体型の汎用配列を作成します。それからそれについてあなたに警告することは強いられます。より簡単な解決策は、型をより適切に絞り込むことができない場合にObject []を作成することでした。上記のソリューションはそれを強制します。

これをよりよく理解するには、次のlist2メソッドと比較して、上記のlistメソッドの呼び出しをいじってください。

public static List<Object> list2( final Object... items )
{
    return Arrays.asList( items );
}

Java 7以降では@SafeVarargsをメソッドに追加でき、クライアントコードに注釈を付ける必要はありません。

class Assembler<X, Y> {

    @SafeVarargs
    final void assemble(X container, Y... args) {
        //has to be final...
    }
}

メソッドをオーバーロードすることができます。これはあなたの問題を解決しませんが、警告の数を最小限に抑えます（そしてはい、それはハックです！）

class Assembler<X, Y> {
  void assemble(X container, Y a1) { ... }
  void assemble(X container, Y a1, Y a2) { ... }
  void assemble(X container, Y a1, Y a2, Y a3) { ... }
  void assemble(X container, Y a1, Y a2, Y a3, Y a4) { ... }
  void assemble(X container, Y... args) { ... }
}

解決するのは非常に簡単な問題List<T>です。

参照型の配列は避けてください。

現在のバージョンのJava（1.7）では@SafeVargs、呼び出し元から警告を削除するメソッドにマークを付けることができます。ただし、これには注意してください。レガシーアレイがなくても、作業は簡単です。

参照してください可変引数メソッドと非Reifiable仮パラメータ使用時の改善されたコンパイラの警告とエラーにテクニカルノートを。

ジェネリック型の配列を操作するとき、ジェネリック型への参照を渡す必要があります。これで、java.lang.reflect.Arrayを使用して、実際に汎用コードを実行できます。

http://java.sun.com/javase/6/docs/api/java/lang/reflect/Array.html