Scala'nın Manifest'lerinin sınırlamaları nelerdir?

Question

Scala'nın Manifest s, JVM'nin yeniden birleştirilen jenerik eksikliğinden dolayı bazı türden silme sorunlarının üstesinden gelmenin bir yoludur.

Diğer birkaç soruda ele alınmıştır; yorumların

• 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?

Bir Bu özellik deneyseldir”bahseder ve durumlar vardır: Burada bir kaçıdır içinde çalışmaz. Yine de, uzun bir yol kat edebilir. ”(Daniel Sobral)

Manifest yaklaşımının nerede bozulduğunu ve neden?

Answer 1

En önemli durum Scala ekipleri hata izleme sisteminde açık biletler olmalıdır.

• 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 Ben Manifests planlı/upcomming Scala yansıma kütüphanesinin parçası olacağını, genel bir fikir olduğuna inanıyorum: Aşağıdaki bulundu ve bunları Diziler bağlamında kullanmanın dışında "kendi sorumluluğunuzdadır" (see).

Answer 2

Bir tane daha:

scala> class C; 
    defined class C 

    scala> trait T; 
    defined trait T 

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

Hatta o zamandan beri, this göre, manifestolar onlarla 2.10 yüzden sabitleme değildir hataların artık kullanılmamaktadır rapor edilmemiştir ettik.