Wenn „sharing“ Generika für Züge mit Klasse in class Base kontra Fehler für die Parameter dieses Typs

Question

Ich möchte definiert die Art teilen SometimesUsedWithBase

trait Base[A] { 
    type BaseType = A 
} 

trait SometimesUsedWithBase { 
    this: Base[_] => 
    def someFunction(in: BaseType): BaseType 
} 

class StringThing extends Base[String] with SometimesUsedWithBase { 
    def someFunction(in: String): String = "" + in 
} 

Diese Lösung funktioniert gut, bis ich den Parameter zu somefunction von zugesetztem Geben Sie Basistyp ein. (Wenn Sie also den Parameter entfernen, funktioniert der Code einwandfrei). Jetzt bekomme ich diesen Fehler:

Error:(7, 21) covariant type _$1 occurs in contravariant position in type SometimesUsedWithBase.this.BaseType of value in def someFunction(in: BaseType): BaseType ^

Irgendwelche Ideen, wie ich erreichen kann, was ich suche zu tun?

Answer 1

Hier arbeitet Code:

trait Base { 
    type BaseType 
} 

trait SometimesUsedWithBase { this: Base => 
    def someFunction(in: BaseType): BaseType 
} 

class StringThing extends Base with SometimesUsedWithBase { 
    type BaseType = String 

    def someFunction(in: String): String = "" + in 
} 

Ich glaube nicht, Sie beide Parameter generischen Typ verwenden sollte und es zu einem Typ zuordnen, haben Sie zweimal gleichen Informationen.

Generika nutzen zu können, müssen die Art, um die PASE ist das, was Sie nicht wollen, aber es kompiliert und

trait Base[A] 

trait SometimesUsedWithBase[A] { this: Base[A] => 
    def someFunction(in: A): A 
} 

class StringThing extends Base[String] with SometimesUsedWithBase[String] { 
    def someFunction(in: String): String = "" + in 
}