什么是Scala的OptManifest和NoManifest？

scala> case class Foo[A](a: A)
defined class Foo

scala> type F = Foo[_]
defined type alias F

我们现在(不是非常有用)可以列出F类型的事物：

scala> val foos: List[F] = List(Foo(1),Foo("a"),Foo('a))
foos: List[F] = List(Foo(1),Foo(a),Foo('a))

我们可以把它变成一个数组：

scala> foos.toArray
res0: Array[F] = Array(Foo(1),Foo('a))

很明显,编译器能够找到它需要的清单作为List上toArray方法的隐式参数.但是如果我们要求一个普通的旧Manf,我们会收到一个错误：

scala> manifest[F]
<console>:11: error: overloaded method value classType with alternatives:
  (prefix: scala.reflect.Manifest[_],clazz: Class[_],args: scala.reflect.Manifest[_]*)scala.reflect.Manifest[F] <and>
  (clazz: Class[F],arg1: scala.reflect.Manifest[_],args: scala.reflect.Manifest[_]*)scala.reflect.Manifest[F] <and>
  (clazz: Class[_])scala.reflect.Manifest[F]
 cannot be applied to (java.lang.Class[Foo[_$1]],scala.reflect.Manifest[_$1])
              manifest[F]

所以很明显,编译器在使用清单来表示我们的类型别名中的通配符时遇到了麻烦.

Array工作的原因是它需要一个ClassManifest,而不仅仅是一个Manifest.事实上,我们可以毫无问题地获得F的ClassManifest,正是因为ClassManifest使用OptManifest来表示它的类型参数 – 与Manifest不同,Manifest的类型参数只是Manifest类型的其他东西.

scala> classManifest[F]
res2: ClassManifest[F] = Foo[<?>]

那<？>是NoManifest的字符串表示.它在这里扮演None的角色,允许编译器表示关于类型F的类信息(这是我们创建数组所需的全部,幸运的是),而没有说任何关于F的类型参数,除了“不,我可以” t模型“.