generics - Scala のマニフェストの制限は何ですか?

Question

Scala のManifestは、具体化されたジェネリックが JVM にないことによる型消去の問題を回避する方法です。

それらは他のいくつかの質問で議論されています。ここにいくつかあります：

• Scala のマニフェストとは何ですか?いつ必要になりますか?
• Scala の (2.8) マニフェストはどのように機能しますか?
• Scalaで型消去を回避するにはどうすればよいですか? または、コレクションの型パラメーターを取得できないのはなぜですか?
• Scala のマニフェスト クラスを使用して、消去されたクラスを実行時にインスタンス化するにはどうすればよいですか?
• マニフェストとクラスマニフェスト。この Scala エラーはどういう意味ですか?

コメントの 1 つは、「この機能は実験的なものであり、動作しない場合があります。それでも、それは長い道のりを歩むことができます。」(ダニエル・ソブラル)

マニフェスト アプローチが失敗するケースとその理由は何ですか?

Answer 1

最も重要なケースは、Scala チームのバグ追跡システムでチケットを開く必要があります。私は以下を見つけました：

• マニフェスト + 交差タイプが val バインディングの抽象化に違反している
• コンパイラは、型コンストラクターの暗黙的なマニフェストを判別できません
• ClassManifest.typeArguments が配列マニフェストで空のリストを返す
• マニフェストは差異を説明する必要があります

一般的な考えとして、マニフェストは計画中/今後の Scala リフレクション ライブラリの一部となり、配列のコンテキストでマニフェストを使用することは別として、「自己責任」であると考えています ( 「参考文献」を参照)。

Answer 2

もう1つ：

    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 で廃止されたため、バグを修正していないため、報告していません。