変数の型引数を持つジェネリック

Question

私は私のバウンドの実装で使用するタイプの配列を取得するために

public interface Foo<R, P...> { 
    public R bar(P...) {/*misc*/} 
} 

のような何かをしたいです。これはJavaで可能ですか？

Varargsは、指定されたクラスの引数をいくつでも持つことができるように設計されています。

私のメソッドがいくつかの引数を受け取り、それぞれが与えられた異なるクラスのメンバであるようにするには、それを使用したいと思うでしょう。これらのクラスは、ジェネリックがバインドされるときに定義されます。

回避策がありますが、これを行うにはタイプセーフな方法がありますか？

Answer 1

あなたは明らかにbarが異なる種類（何かがをするために使用さでない可変引数）の複数のパラメータを取る作ることができるようにしたいので、私はそれではなく、単一のパラメータを取る作ることをお勧めしたいです。その単一のパラメータを、使用する個々の「パラメータ」を保持するコンテナにすることができます。

一般に、このメソッドで使用するパラメータのセットごとにクラスを作成して、そのクラスに含まれる各オブジェクトに適切な名前を付けるのが最適です。ただし、ホルダーとして使用する一連のタプルタイプ（Pairなど）を作成するようなこともできます。ここで

は例です：

public class Foo<R, P> { 
    /* 
    * Not sure how you intend to provide any kind of implementation 
    * here since you don't know what R or P are. 
    */ 
    public R bar(P parameters) { ... } 
} 

public class SomeFoo extends Foo<SomeResult, Pair<Baz, Bar>> { 
    public SomeResult bar(Pair<Baz, Bar> parameters) { ... } 
} 

SomeFoo foo = ... 
SomeResult result = foo.bar(Pair.of(baz, bar)); 

Answer 2

あなたが書いた：

を私はのメンバーである、それぞれが、私の方法は、いくつかの引数を受け入れる持っていること（または同様のもの）を使用したいですある異なるクラス。

私はそれはオブジェクトと一緒にクラスのインスタンスを含むように、いくつかの醜いハックせずに、タイプセーフな方法でこれを行うことは可能だとは思いません。

問題は、VarArgsでは実際に配列に渡されていることです。しかし、その中に異なるタイプのオブジェクトを持つ配列を持つことはできません。それらはすべて同じでなければなりません（またはサブクラスなので、X [] yなら各要素はXのサブクラスでなければなりません）

Ifあなたの関数は実際には、Tのインスタンスと一緒にClassのインスタンスを格納するクラスのようなものを作成することができる複数の型を扱うことができ、パスはそのコンテナのvar argsリストに入れます。

したがって、たとえば、あなたは

class TypedInstance<T>{ 
    Class<T> type; 
    T instance; 
} 

を持つことができ、その後

public whatever(TypedInstance<? extends Object>... whatever){ 
    ... 
    doSomethingWith(whatever[0].type, whatever[0].instance); 
    ... 
} 

ハックのこれらの種類があるため、Javaの型消去の必要があるようになります機能を持っています。ジェネリックパラメータは実行時に削除されるため、使用する場合は元に戻す必要があります。