Scala的Manifests有什麼限制？

Question

斯卡拉的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方法崩潰的原因是什麼？爲什麼？

Answer 1

最重要的情況應該是開放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

我相信一般的想法是，其表現將是計劃/ upcomming斯卡拉反射庫的一部分除了在陣列環境中使用它們是「自負風險」（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他們，所以他們沒有修復漏洞過時。