generics - Scala 的清单有哪些限制？

Question

Manifest由于 JVM 缺乏具体化的泛型，Scala 的s 是一种解决类型擦除问题的方法。

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

• 什么是 Scala 中的 Manifest，什么时候需要它？
• Scala 的 (2.8) Manifest 是如何工作的？
• 如何绕过 Scala 上的类型擦除？或者，为什么我不能获取我的集合的类型参数？
• 如何使用 Scala 的 Manifest 类在运行时实例化已擦除的类？
• 清单与类清单。这个 Scala 错误是什么意思？

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

清单方法失败的情况有哪些，为什么？

Answer 1

最重要的案例应该是 Scala 团队 bug 跟踪系统中的 open Tickets。我发现了以下内容：

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

我相信总体思路是，Manifests 将成为计划中/即将推出的 Scala 反射库的一部分，并且除了在 Arrays 的上下文中使用它们之外，“风险自负”（请参阅​​ 参考资料）。

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 中已弃用，因此它们没有修复它们的错误。