入れ子型の型情報を保持する

Question

Scalaコンパイラ（バージョン2.11.7）がオブジェクト（別名型メンバー）で定義された型に関する型情報をどのように渡すのか疑問に思っています。

(new Bar).myCall 

それが正常に動作し、私は20が返された値を取得する：私はこのようなコールを持っている場合、

今

trait Foo { 
    type Contents <: Any 
    val value: Contents 
    // Just a mock function call that uses a manifest. 
    def myCall(implicit mf: Manifest[Contents]): Contents = value 
} 

class Bar extends Foo { 
    type Contents = Int 
    val value = 20 
} 

class Baz extends Foo { 
    type Contents = String 
    val value = "it's baz" 
} 

：

は、これらのクラスを考えてみましょう。同様に、このような呼び出しを行うことも動作します。この場合

List(new Bar, new Bar).head.myCall 

を、私はまだ20が返されます。私はFooのリストからコールを行う場合は、このような何か：

List(new Bar, new Baz).head.myCall 

は、私は、コールのために利用可能なマニフェストがないと言って、コンパイラのエラーを得ました。私の質問は、Manifest（またはTypeTag〜実際には関係ない）をどこかに渡すことが可能かどうかです。もしそうなら、どうですか？それはBarとBaz最安の一般的なタイプですので、あなたの第2のケースで

Answer 1

は、あなたのListの根本的なタイプはFooです。これは、頭部がタイプFooであることを意味します。パターンマッチで正確なタイプを見つけることができます：

val maybeBar = List(new Bar, new Baz).head 
maybeBar match { 
    case b: Bar => println(b.myCall) // 20 
    case b: Baz => println(b.myCall) // it's baz 
    case _ => println("?") 
}