泛型 – Scala的清单有哪些局限性？

发布时间：2020-12-16 19:21:24 所属栏目：安全来源：网络整理

导读：Scala的Manifest是一种解决某些类型擦除问题的方法,因为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的Manifest是一种解决某些类型擦除问题的方法,因为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?

其中一条评论提到“此功能是实验性的,有些情况下它不起作用.不过,它可以走很长的路.“(Daniel Sobral)

Manifest方法崩溃的原因是什么？为什么？

解决方法

最重要的案例应该是Scala团队bug跟踪系统中的开放门票.我找到了以下内容：

> 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

我相信一般的想法是,Manifest将成为计划/升级的Scala反射库的一部分,除了在Arrays的上下文中使用它们是“你自己承担风险”(see).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!