クラス<T>を実行時にクラス<T extends Foo>のように動作させるにはどうすればよいですか？

Question

私は次のようなクラスがあります

class FooClassAnalyser<T extends Foo> extends ClassAnalyser<T> 

（ClassAnalyserは、具体的な実装の数の抽象基底クラスであり、FooClassAnalyserがTはFooを拡張する場合に特化しています具体的な実装であるが）。それはこのようになりますコンストラクタがあります別のクラスにおいて

FooClassAnalyser(Class<T> classToAnalyse) 

を、私はclassToAnalyseの種類に応じて適切なコンストラクタを呼び出しClassAnalyserのための静的なファクトリメソッドを持っている：

static <U> ClassAnalyser<U> constructClassAnalyser(Class<U> classToAnalyse) 

機能私は、U instanceof Fooかどうかを確認し、FooClassAnalyserを作成して返します。

しかし、私はこれをJavaの型システム内に収める方法を見つけることができません。タイプ消去とは、Uで直接賢明なことを行うことはできないということです。

if (Foo.class.isAssignableFrom(classToAnalyse)) 

私の問題はinstanceofとは違って、これは「instanceofの反射を経て」には見えないということです。しかし、我々は引数が、それを可能にするようにclassToAnalyseを渡すことは、リフレクションを使用して経由U instanceof FooかどうかをテストしますJavaの型システム。特に、classToAnalyseが実際にClass<U extends Foo>であることをJavaが知らないため、FooClassAnalyserのコンストラクタへの引数として直接classToAnalyseを渡すと型の不一致が発生します。

私がこれまでに見つけた最良の解決策はclassToAnalyseClass<? extends Foo>を作るために未チェックのキャストを使用することです（それが確認さ実際ですが、Javaの気づいていないことが確認されていますということ）。少なくともそれをnew FooClassAnalyserの引数として渡して、FooClassAnalyser<?>オブジェクトを返すことが可能です。しかし、この問題は、ClassAnalyser<U>に変換されません。なぜなら、Javaでは、classToAnalyseに汎用バインディングが異なることを認識しないため、Classオブジェクトがまだ同じオブジェクトであるという事実は変わりませんしたがって、依然としてClass<U>である）。言い換えれば、Javaが認識できるすべてのFooClassAnalyser<?>もまたFooClassAnalyser<U>であるため、変換後に別のチェックされていないキャストが必要です。結果はコンパイルされて実行されるコードですが、型の安全性に関する多数の警告があります。

私が試みた他の多くのものは、構文エラーです（たとえば、Class<U extends Foo>の変数は直接宣言できません; Javaでは正しく解析されません）。私は実際にはいずれの時点でもタイプUのオブジェクトを持っていないことに注意してください。私はクラス自体を分析しようとしているので、作業するオブジェクトはClass<U>しかありません。

タイプセーフな方法でこのようなコードを書くことは可能ですか？

Answer 1

私の問題は、instanceofとは異なり、この「インスタンス反映」はJavaのタイプシステムには見えません。特に、classToAnalyseが実際にClass<U extends Foo>であることをJavaが知らないため、FooClassAnalyserのコンストラクタへの引数として直接classToAnalyseを渡すと型の不一致が発生します。

これは、Class<U>をconstructClassAnalyserに渡す限り発生します。あなたは多くのコードを私たちに提供していないので、私はあなたに明白な解決策を書くことはできません。しかし、UをClass<U>の代わりにconstructClassAnalyserに渡す方法を見つけることができれば、もっと簡単になります。

static <U> ClassAnalyser<U> constructClassAnalyser(U objectToAnalyse)

そのクラスをチェックするには、objectToAnalyse#getClassを使用することができます。 instanceofを使用してU extends Fooを確認し、objectToAnalyse instanceof Fooがtrueを返す場合は、必要に応じてそれぞれのクラスにキャストしてください。