提供使用classManifest綁定類型上限的Class對象

Question

假設我需要提供一個方法，其中包含代表某個父類A的子類的java.lang.Class對象。我需要從另一個具有綁定到A的上限類型的泛型參數的方法來完成此操作。

我想這可能工作：

class A 
def f(clazz: java.lang.Class[_ <: A]) =() 
def g[T <: A : Manifest] = f(classManifest[T].erasure) 

但事實並非如此：

<console>:9: error: type mismatch; 
found : java.lang.Class[_$1(in method g)] where type _$1(in method g) 
required: java.lang.Class[_ <: A] 
     def g[T <: A : Manifest] = f(classManifest[T].erasure) 
                ^

爲什麼不能編譯器把那塊T，着實的A一個子類？無論如何，我可以幫助它嗎？還是應該以完全不同的方式來解決這個問題？

Answer 1

它不起作用，因爲erasure has the type Class[_]，這是一種存在類型。這意味着Class對象erasure是通過某種類型進行參數化的，但是它的確切類型並不重要。 erasure上面沒有類型Class[T]。

方法f需要Class[_ <: A]類型的參數，它是某種已知爲A的子類型的類型。這個上限不一定由上面的Class[_]類型保證。

解決方案：你知道erasure有一個正確的類型，它只是這種類型沒有在ClassManifest對象公開。只需將它轉換：

classManifest[T].erasure.asInstanceOf[Class[A]] 

編輯：

如果你有一個子類的AB：

scala> class A 

scala> def f(clazz: java.lang.Class[_ <: A]) =() 

scala> def g[T <: A : Manifest] = f(classManifest[T].erasure.asInstanceOf[Class[A]]) 

scala> g[A] 

scala> class B extends A 

scala> g[B]