Scala 的清单有哪些限制？

Question

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

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

• What is a Manifest in Scala and when do you need it?
• How does Scala's (2.8) Manifest work?
• How do I get around type erasure on Scala? Or, why can't I get the type parameter of my collections?
• How can I use Scala's Manifest class to instantiate the erased class at runtime?
• Manifest vs ClassManifest. What does this Scala error mean?

其中一位 cmets 提到“此功能是实验性的，在某些情况下它不起作用。不过，它可以走很长的路。” （丹尼尔·索布拉尔）

Manifest 方法失败的情况有哪些？为什么？

Answer 1

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

• manifests + intersection types violate val-binding abstraction
• Compiler cannot determine implicit Manifest for type constructor
• ClassManifest.typeArguments returns empty list on array manifests
• manifests need to account for variance

我相信总体思路是，Manifests 将成为计划中/即将推出的 Scala 反射库的一部分，除了在 Arrays 上下文中使用它们之外，“风险自负” (see)。

Answer 2

还有一个：

    scala> class C;
    defined class C

    scala> trait T;
    defined trait T

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

我什至没有报告它，因为根据 this 的说法，清单在 2.10 中已被弃用，因此它们没有修复它们的错误。