Comment appeler une fonction qui a une carte avec un type générique en tant que paramètre?

Question

J'utilise Scala pour faire des requêtes de typesafe JPA2. donc j'ai une classe Java MetaModel (le seul Java dans mon code, le reste est Scala -> pur problème Scala), qui contient les attributs mon modèle:

@StaticMetamodel(User.class) 
public class User_ { 
    public static volatile SingularAttribute<User, Long> id; 
    public static volatile SingularAttribute<User, String> name; 
} 

Pour faire une requête pour un seul attribut, i cette fonction:

def findByAttribute[T](
    attribute:SingularAttribute[User, T], value:T):ArrayList[User] = 
{ 
    ... 
} 

que je peux appeler comme ceci:

userEJB.findByAttribute(User_.name, "John") 

maintenant, je suis en train de créer une fonction de requête, avec laquelle je peux interroger pour plusieurs attributs à une fois, et donc je veux utiliser une carte de SingularAttributes comme paramètre pour ma fonction:

// Map is of type scala.collection.immutable.Map 
def findByAttributes[T](
    attributes:Map[SingularAttribute[User, T], T]):ArrayList[User] = 
{ 
    ... 
} 

Ok, donc la fonction devrait fonctionner ... Mais comment puis-je appeler ??? Disons, par exemple, je veux interroger avec une carte comme ceci:

User_.name -> "Doe" 
User_.id -> 5 

Donc, ma première approche de la définition de cette carte à Scala et passant à findByAttributes est la suivante:

val criteria = Map(User_.name -> "Doe", User_.id -> 5) 
// Produces Compiler Error 
val users = userEJB.findByAttributes(criteria) 

Malheureusement, le compilateur ISN « t satisfait lors du passage à la SearchFor findByAttributes fonction, produisant l'erreur ci-dessous:

no type parameters for method findByAttributes: (attributes: 
Map[javax.persistence.metamodel.SingularAttribute[net.teachernews.model.User, 
T],T]) 
java.util.ArrayList[net.teachernews.model.User] exist so that it can be applied to 
arguments (scala.collection.immutable.Map[javax.persistence.metamodel. 
SingularAttribute[ 
net.teachernews.model.User, _ 
>: java.lang.Long with java.lang.String 
<: java.lang.Comparable[_ 
>: java.lang.Long with java.lang.String 
<: java.lang.Comparable[_ >: java.lang.Long with java.lang.String 
<: java.io.Serializable] with java.io.Serializable] 
with java.io.Serializable],Any]) --- because --- 
argument expression's type is not compatible with formal parameter type; 
found : 
scala.collection.immutable.Map[javax.persistence.metamodel.SingularAttribute[ 
net.teachernews.model.User, _ 
>: java.lang.Long with java.lang.String 
<: java.lang.Comparable[_ 
>: java.lang.Long with java.lang.String  
<: java.lang.Comparable[_ >: java.lang.Long with java.lang.String 
<: java.io.Serializable] with java.io.Serializable] with java.io.Serializable], 
Any] 
required: Map[javax.persistence.metamodel.SingularAttribute[ 
net.teachernews.model.User,?T],?T] 

Ce problème est le générique le plus compliqué que j'ai jamais eu. Un peu trop haut pour mes compétences;) Quelqu'un sait comment je peux construire le bon type de carte que je peux passer à la fonction? Est-ce possible, ou est-ce que le compilateur ne peut plus déduire le type dans mon cas? Ou est-ce que j'utilise la mauvaise infrastructure de données?

Answer 1

Je n'ai pas entièrement travaillé les détails, mais je pense que quelque chose comme

type AttributeValuePair[T] = Pair[SingularAttribute[User, T], T] 

def findByAttributeValuePair[T](p:AttributeValuePair[T]):ArrayList[User] = 
    findByAttribute(p._1, p._2) 

def findByAttributes(attributes:AttributeValuePair[_]*):ArrayList[User] = 
{ 
    ... 
} 

pourrait fonctionner. Ensuite, un appel ressemblerait

findByAttributes(User_.name -> "Doe", User_.id -> 5) 

Edit: La méthode findByAttributeValuePair peut être nécessaire pour obtenir l'appel à findByAttribute taper-chèque, à en juger de mon violon dans la Scala 2.8 REPL.

Answer 2

Lorsque vous déclarez la carte comme suit

val criteria = Map(User_.name -> "Doe", User_.id -> 5) 

le compilateur déduire un type un peu bizarre:

scala.collection.immutable.Map[SingularAttribute[User, _ >: Long with String], Any] 

Essayez par vous-même dans le REPL Scala!

Le problème ici est que le compilateur infère Any comme le type commun de String et Int qui est réellement vrai. Ainsi, vous perdez toute information sur les valeurs réelles de la carte. Et bien sûr, la clé n'est pas vraiment ce que vous voulez.

Cela signifie que Map n'est évidemment pas le bon type. Vous pouvez essayer d'utiliser un n-uplup à la place:

((User_.name -> "Doe"), (User_.id -> 5)) 

Ainsi, toutes les informations de type seront stockées correctement. Bien sûr, vous devrez alors créer plusieurs fonctions findByAttributes (une pour 1-tuple, une pour 2-tuple, 3-tuple et ainsi de suite ...). C'est un peu fastidieux, mais c'est la meilleure solution à laquelle je puisse penser maintenant.