Интересно, если вы могли бы написать что-то вроде следующего в Scala:Есть ли манифест для абстрактных типов, например, для параметризованных типов?
abstract class Foo
trait Bar {
type Foo_Tpe <: Foo : Manifest[Foo_Tpe]
def fooClass = classOf[Foo_Tpe]
}
Нет, но вы можете задать подкласс, чтобы обеспечить его:
trait Bar {
type Foo_Tpe <: Foo
protected def fooManifest: Manifest[Foo_Tpe]
def fooClass = fooManifest.erasure
}
Да и нет. Вы можете сделать это:
val man = manifest[Foo_Tpe]
В какой момент он скажет вам, что у него нет манифеста для этого.
Я хочу иметь предоставленное компилятором Scala и не определяемое подтипом. –
Вы не можете предоставить его компилятором из 'Bar'. –