scala - Scalas manifest.erasure 可以正确输入吗？

Question

我有一个 Java 类，它接受一个泛型类型参数和一个与该类型相关的类对象：

public class Foo<T> {
    public Foo(Class<? extends T> type) {
    ...
    }
}

起初我以为我可以在 Scala 中为它做一个聪明的包装器：

class Bar[T](implicit m: Manifest[T]) {
    ...
    new Foo[T](m.erasure)
    ...
}

但这会导致与此类似的编译器错误：

error: type mismatch;
found   : java.lang.Class[_$1(in value <local Bar>)] where type _$1(in value <local Bar>)
required: java.lang.Class[_ <: T] 
class Bar[T](implicit m: Manifest[T]) { new Foo[T](m.erasure) }

我想我理解为什么会发生这种情况，但是有什么办法可以得到正确的类类型并使这段代码编译？

Answer 1

怎么样m.erasure.asInstanceOf[Class[T]]？

顺便说一句，请参阅此问题以了解为什么erasure返回Class[_]而不是返回Class[T]。