为什么 Manifest 在构造函数中不可用？

Question

考虑这段代码：

class Foo[T : Manifest](val id: String = manifest[T].erasure.getName)

我基本上想在 Foo 中存储一个标识符，它通常只是类名。

不需要特殊标识符的子类可以轻松使用默认值。

但这甚至无法编译，错误消息是：

error: No Manifest available for T.

是否还有另一种可行的方法？

编辑：

如果清单在主构造函数之前不可用，为什么这会起作用？

class Foo[T: Manifest](val name: String) { 
  def this() = this(manifest[T].erasure.getName)
}

Answer 1

当从该上下文绑定中删除语法糖时，它会被重写为：

class Foo[T]
  (val id: String = implicitly[Manifest[T]].erasure.getName)
  (implicit ev$1: Manifest[T]) = ...

因此，在确定 id 的默认值时，清单证据根本不可用。相反，我会写这样的内容：

class Foo[T : Manifest](id0: String = "") {
  val id = if (id0 != "") id0 else manifest[T].erasure.getName
}

---

在第二种方法中（顺便说一下，这是一个很好的解决方案！），期望重写类似于：

class Foo[T](val name: String)(implicit x$1: Manifest[T]) { 
  def this()(implicit ev$2: Manifest[T]) = this(manifest[T].erasure.getName)
}

所以是的，清单在调用之前可用清单[T].擦除