Scala: Contraindre un paramètre de type générique à un type dans un autre paramètre

Question

Je suis toujours en train d'essayer de saisir le langage Scala, alors s'il vous plaît, gardez-moi de répondre à toutes mes questions. Puis-je référencer un type abstrait d'un paramètre de type dans la limite d'un autre? Par exemple, existe-t-il un moyen de faire fonctionner le code suivant? L'essence de ce que je suis en train de faire ici est que la clé pour le paramètre MAP de C doit être le UnType du paramètre T.

trait T1 { 
    type SomeType; 
} 

trait MyMap[KEY, VALUE] { ... } 


class C { 
    def m[T <: T1, MAP <: MyMap[T.SomeType, Int]] { ... } 
}  

Answer 1

Vous devez type projection:

def m[T <: T1, MAP <: MyMap[T#SomeType, Int]]