什么是Scala中的清单，什么时候需要它？

Question

从Scala 2.7.2开始，有一些叫做ManifestJava类型擦除的解决方法。但是，如何Manifest确切地工作以及为什么/何时需要使用它？

Jorge Ortiz 的博客文章Manifests：Reified Types解释了其中的一些内容，但它没有解释如何将它与上下文界限一起使用。

那么ClassManifest，有什么区别Manifest？

我有一些代码（一个更大的程序的一部分，不能轻易地包含在这里），它有关于类型擦除的一些警告; 我怀疑我可以通过使用清单解决这些问题，但我不确定如何解决。

Answer 1

不是一个完整的答案，但对于之间的区别Manifest和ClassManifest，你可以找到一个例子斯卡拉2.8 Array纸：唯一剩下的问题是如何实现通用数组创建。与Java不同，Scala允许实例创建new&nbsp; Array[T]，其中T是类型参数。考虑到Java中不存在统一的数组表示，如何实现它？执行此操作的唯一方法是需要额外的运行时信息来描述类型T。Scala 2.8有一个新的机制，称为Manifest。类型对象Manifest[T]提供有关类型的完整信息T。Manifest值通常在隐式参数中传递; 并且编译器知道如何为静态已知类型构造它们T。还存在一个较弱的命名形式ClassManifest，它可以通过只知道一个类型的顶级类来构造，而不必知道它的所有参数类型。正是这种类型的运行时信息是数组创建所必需的。例：需要通过将ClassManifest[T]方法作为隐式参数传递给方法来提供此信息：def&nbsp; tabulate[T](len:Int,&nbsp; f:Int=>T)(implicit m:ClassManifest[T]) =&nbsp; {&nbsp;&nbsp; val&nbsp; xs&nbsp; =&nbsp; new&nbsp; Array[T](len)&nbsp;&nbsp; for&nbsp; &nbsp;(i&nbsp; <- 0&nbsp; until&nbsp; &nbsp;len)&nbsp; xs(i)&nbsp; &nbsp;= f(i)&nbsp;&nbsp; xs&nbsp;}&nbsp;作为简写形式，可以在类型参数上使用上下文bound1 T，（见这个问题的插图）给予：def&nbsp; tabulate[T:&nbsp; &nbsp; ClassManifest](len:Int,&nbsp; f:Int=>T)&nbsp; =&nbsp; {&nbsp;&nbsp; val&nbsp; xs&nbsp; =&nbsp; new&nbsp; Array[T](len)&nbsp;&nbsp; for&nbsp; &nbsp;(i&nbsp; <- 0&nbsp; until&nbsp; &nbsp;len)&nbsp; xs(i)&nbsp; &nbsp;= f(i)&nbsp;&nbsp; xs&nbsp;}&nbsp;当在类型上调用tabulate时Int，或者，或者String，或者List[T]，Scala编译器可以创建一个类清单作为隐式参数传递给表格。

Answer 2

Manifest旨在重新定义在JVM上运行类型擦除的泛型类型（不支持泛型）。然而，他们有一些严重的问题：他们太简单了，并且无法完全支持Scala的类型系统。因此它们在Scala 2.10中被弃用，并被替换为TypeTags（这实际上是Scala编译器本身用于表示类型的内容，因此完全支持Scala类型）。