是否有像参数化类型那样的抽象类型清单？

Question

我想知道你是否可以在 Scala 中编写如下内容：

abstract class Foo

trait Bar {

  type Foo_Tpe <: Foo : Manifest[Foo_Tpe]

  def fooClass = classOf[Foo_Tpe]

}

Answer 1

是的，也不是。您可以这样做：

val man = manifest[Foo_Tpe]

此时它会告诉您它没有相应的清单。

Answer 2

不，但你可以要求子类提供它：

trait Bar {

  type Foo_Tpe <: Foo

  protected def fooManifest: Manifest[Foo_Tpe]

  def fooClass = fooManifest.erasure

}