Wie kann man aus einem Projektionstyp den richtigen Typparameter ableiten?

Question

Ich habe einige Probleme mit Scala, um aus einer Typprojektion den richtigen Typ abzuleiten.

Beachten Sie Folgendes:

trait Foo { 
    type X 
} 

trait Bar extends Foo { 
    type X = String 
} 

def baz[F <: Foo](x: F#X): Unit = ??? 

Dann folgendes kompiliert fein:

val x: Foo#X = ???  
baz(x) 

aber die folgenden nicht kompiliert:

val x: Bar#X = ???  
baz(x) 

Scala „zugrunde liegender Typ String sieht "für x, aber hat die Information verloren, dass x ist ein Bar#X. Es funktioniert gut, wenn ich den Typ mit Anmerkungen versehen:

baz[Bar](x) 

Gibt es eine Möglichkeit, die richtige Art Parameter für baz zu machen Scala ableiten?
Wenn nicht, was ist die allgemeine Antwort, die es unmöglich macht?

Answer 1

Das Programm kompiliert durch diese implizite Konvertierung im Kontext fügt hinzu:

implicit def f(x: Bar#X): Foo#X = x 

Da diese implizite Konvertierung für jeden F <: Foo korrekt ist, frage ich mich, warum der Compiler nicht von selbst tut.

Answer 2

Sie können auch:

trait Foo { 
    type X 
} 
trait Bar extends Foo { 
    type X = String 
} 
class BarImpl extends Bar{ 
    def getX:X="hi" 
} 
def baz[F <: Foo, T <: F#X](clz:F, x: T): Unit = { println("baz worked!")} 
val bi = new BarImpl 
val x: Bar#X = bi.getX 
baz(bi,x) 

aber:

def baz2[F <: Foo, T <: F#X](x: T): Unit = { println("baz2 failed!")} 
baz2(x) 

nicht mit:

test.scala:22: error: inferred type arguments [Nothing,java.lang.String] do not conform to method baz2's type parameter bounds [F <: this.Foo,T <: F#X] 
baz2(x) 
^ 
one error found 

ich im Grunde denken, F <: Foo sagt dem Compiler, der F muss sein ein Untertyp von Foo, aber wenn es ein X bekommt, weiß es nicht, welche Klasse Ihr insbesondere X kommt von. Ihr X ist nur eine Zeichenfolge und verwaltet keine Informationen, die auf "Bar" verweisen.

Beachten Sie, dass:

def baz3[F<: Foo](x : F#X) = {println("baz3 worked!")} 
baz3[Bar]("hi") 

auch funktioniert. Die Tatsache, dass Sie ein val x definiert haben: Bar # X = ??? bedeutet nur, dass ??? ist auf das beschränkt, was Bar # X zur Compilierzeit sein könnte ... der Compiler weiß, dass Bar # X String ist, also ist der Typ von x nur ein String, der sich von keinem anderen String unterscheidet.