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]的原因，请参阅this question。