Artinformationen von verschachtelten Typen beibehalten

Question

Ich frage mich, wie der Scala-Compiler (Version 2.11.7) Typinformationen über in einem Objekt definierte Typen (auch Typ Member) übergibt.

Betrachten Sie diese Klassen:

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" 
} 

Nun, wenn ich einen Anruf wie diese:

(new Bar).myCall 

Es funktioniert gut, und ich erhalte den Wert 20 zurückgegeben. In ähnlicher Weise wie dies ein Anruf tut auch funktioniert:

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

In diesem Fall ich immer noch ein 20 zurückgegeben. Allerdings, wenn ich einen Anruf aus einer Liste von Foo s tun, so etwas wie diese:

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

bekam ich einen Compiler-Fehler sagen, es nicht für den Anruf Manifest zur Verfügung steht. Meine Frage ist, ist es möglich, ein Manifest (oder TypeTag ~ es ist wirklich nicht wichtig) irgendwo, irgendwie, dass der Anruf oben funktioniert? Wenn das so ist, wie?

Answer 1

In Ihrem zweiten Fall zugrunde liegende Typ Ihrer List ist ein Foo denn das ist der kleinste gemeinsame Typ für Bar und Baz ist. Dies bedeutet, dass der Kopf vom Typ Foo ist. Sie können Muster übereinstimmen, um den genauen Typ herauszufinden:

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("?") 
}