Problème de type dépendant du chemin abstrait Scala

Question

Est-ce que quelqu'un sait ce qui se passe ici avec cette erreur de compilation? L'erreur disparaît si je ne prolonge pas l'INode.

trait AbsTypes 
{ 
    type TKey 
    type TValue 
} 

trait INode extends AbsTypes 
{ 
    def get(key : TKey) : TValue 
    def set(key : TKey, v : TValue) : INode 
} 

class ANode[TKey,TValue](
    val akey : TKey, 
    val aval : TValue 
) extends INode 
{ 
    // ERROR : type mismatch; found : ANode.this.aval.type (with underlying type TValue) required: ANode.this.TValue 
    def get(key : TKey) : TValue = { aval } 
    def set(key : TKey, v : TValue) : INode = { 
     new ANode(key,v) 
    } 
} 

Answer 1

Les paramètres génériques ne remplacent pas automatiquement les types abstraits, même s'ils portent le même nom. Essayez de renommer les paramètres génériques (pour éviter les conflits de noms), puis déclarez les types TKey et TValue dans le corps de la méthode.

class ANode[A,B](
    val akey : A, 
    val aval : B 
) extends INode { 
    type TKey=A 
    type TValue=B 
    def get(key : TKey) : TValue = aval 
    def set(key : TKey, v : TValue) : INode = new ANode(key,v) 
} 

Je suppose que ce serait bien si le compilateur émis une erreur sur la ligne où vous avez spécifié les noms des types génériques, au lieu d'attendre jusqu'à ce que vous commencer à utiliser ces types.

Answer 2

Je n'ai malheureusement pas le temps de tester ce que je vais écrire mais ma compréhension de votre code est que chaque INode va avoir son propre type TValue. Donc, l'opération get retourne vraiment INode.this.TValue qui n'est pas compatible avec un autre type TValue sur un autre nœud.

La façon d'éviter cela pourrait être d'écrire:

trait Nodes { 
    type TKey 
    type TValue 

    trait INode { 
    def get(key : TKey) : TValue 
    } 

    class ANode(
    val akey : TKey, 
    val aval : TValue 
) extends INode 
}