Scala 清单有哪些限制？

Question

Scala 的 Manifest 是一种解决由于 JVM 缺乏具体化泛型而导致的某些类型擦除问题的方法。

它们在其他几个问题中进行了讨论；这里有一些：

• 什么是Scala 中的清单以及何时需要它？
• Scala 的 ( 2.8）清单工作？
• 如何解决 Scala 上的类型擦除问题？或者，为什么我无法获取集合的类型参数？
• 如何使用 Scala 的 Manifest 类在运行时实例化擦除的类？
• Manifest 与 ClassManifest。这个 Scala 错误是什么意思？

其中一条评论提到“此功能是实验性的，在某些情况下它不起作用。尽管如此，它仍然可以走很长的路。” (Daniel Sobral)

Manifest 方法在哪些情况下会失效？为什么？

Answer 1

最重要的案例应该是 Scala 团队错误跟踪系统中的开放票证。我发现以下内容：

• 清单 + 交集类型违反了 val 绑定抽象
• 编译器无法确定类型构造函数的隐式清单
• ClassManifest.typeArguments 在数组清单上返回空列表
• 清单需要考虑差异

我相信总体思路是，清单将成为计划/即将推出的 Scala 反射库的一部分，并且除了使用它们之外在数组的上下文中，“风险自负”（参见）。

Answer 2

还有一件事：

    scala> class C;
    defined class C

    scala> trait T;
    defined trait T

    scala> manifest[C] <:< manifest[C with T]
    res0: Boolean = true

根据此，清单已弃用2.10 所以他们没有用它们修复错误。