如何在運行時將類<T>轉換爲類似<Class 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做任何事情。然而，我們作爲一個參數能夠通過classToAnalyse事實測試通過使用反射來看看U instanceof Foo：

if (Foo.class.isAssignableFrom(classToAnalyse)) 

我的問題是，不像instanceof，這種「通過反射的instanceof」不可見Java的類型系統。特別是，直接將classToAnalyse作爲參數傳遞給FooClassAnalyser的構造函數會因類型不匹配而失敗，因爲Java不知道classToAnalyse實際上是Class<U extends Foo>。

到目前爲止，我已經找到了最好的解決方案是使用未經檢查的鑄造，使classToAnalyse一個Class<? extends Foo>（這是實際上檢查，但Java的不知道它的選中）。至少可以將它作爲參數傳遞給new FooClassAnalyser，並獲得返回的對象FooClassAnalyser<?>。然而，問題在於，這不會轉換回ClassAnalyser<U>，因爲Java不承認鑄造classToAnalyse具有不同的泛型綁定，但不會改變對象仍然是相同對象的事實（因此仍然是Class<U>）;換句話說，所有Java可以看到的是它不認可的FooClassAnalyser<?>也是FooClassAnalyser<U>，因此轉換回來需要另一個未檢查的轉換。其結果是編譯和運行的代碼，但有許多關於類型安全性的警告。

我嘗試過的大多數其他事情都是語法錯誤（例如，類型Class<U extends Foo>的變量不能直接聲明; Java不會正確解析）。應該指出，我實際上沒有任何一個類型爲U的對象;我試圖分析課程本身，因此只有Class<U>對象可以使用。

是否有可能以類型安全的方式編寫這樣的代碼？

Answer 1

我的問題是，與instanceof不同，這個「通過反射的instanceof」對Java的類型系統是不可見的。特別是，直接將classToAnalyse作爲參數傳遞給FooClassAnalyser的構造函數會因類型不匹配而失敗，因爲Java不知道classToAnalyse實際上是Class<U extends Foo>。

爲你傳遞一個Class<U>到constructClassAnalyser這隻要發生。你沒有給我們提供太多的代碼，所以我不能爲你寫一個明確的解決方案。然而，如果您能找到一種方法將U傳遞給constructClassAnalyser而不是Class<U>，那將會更加簡單。

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

要檢查它的類，你可以使用objectToAnalyse#getClass;如果objectToAnalyse instanceof Foo返回true，則還可以使用instanceof來驗證U extends Foo，然後在需要時將其轉換爲其各自的類。