Каковы ограничения Манифестов Скалы?

Question

Scala Manifest s - это способ обойти некоторые проблемы стирания типов из-за отсутствия в JVM усовершенствованных обобщений.

Они обсуждаются в нескольких других вопросах; Вот некоторые из них:

• Что такое манифест в Scala и когда он вам нужен?
• Как работает манифест Скалы (2.8)?
• Как обойти стирание типов в Scala? Или, почему я не могу получить параметр типа моих коллекций?
• Как я могу использовать класс манифеста Scala для создания экземпляра стертого класса во время выполнения?
• Манифест против ClassManifest. Что означает эта ошибка Scala?

В одном из комментариев упоминается, что «Эта функция является экспериментальной, и в некоторых случаях она не работает. Тем не менее, это может иметь большое значение ». (Даниэль Собрал)

В каких случаях сбивается Манифест-подход и почему?

Answer 1

Самый важный случай должен быть открыт Билеты в системе отслеживания ошибок команд Scala. Я нашел следующее:

• манифесты + типы пересечений нарушают абстракцию привязки val
• Компилятор не может определить неявный манифест для конструктора типа
• ClassManifest.typeArguments возвращает пустой список в манифестах массива
• манифесты необходимо учитывать дисперсию

Я считаю, что общая идея состоит в том, что манифесты будут частью запланированной / готовящейся к публикации библиотеки отражений Scala и помимо использования их в контексте массивов "на свой страх и риск" ( см. ).

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, поэтому они не исправляют ошибки с ними.