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]]怎么样？

顺便提一下，请参阅this question，了解erasure返回Class[_]而不是Class[T]的原因。

Scalas可以显示正确的类型吗？

1 个答案: