如何调用具有泛型类型作为参数的 Map 的函数

Question

我正在使用 Scala 来执行类型安全的 JPA2 标准查询。 因此我有一个 Java MetaModel 类（我的代码中唯一的 Java，其余的是 Scala -> 纯 Scala 问题），它包含我的模型属性：

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

要查询一个属性，我有这个功能：

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

我可以这样称呼：

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

现在我正在尝试创建一个查询函数，我可以使用它一次查询多个属性，因此我想使用 SingularAttributes 的 Map 作为我的函数的参数：

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

好的，所以该函数应该可以工作...但是我怎么称呼它？？？比如说我想用这样的地图查询：

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

所以我在 Scala 中定义此 Map 并将其传递给 findByAttributes 的第一种方法是：

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

不幸的是，编译器在将 searchFor 传递给 findByAttributes 函数时不满意，产生以下错误：

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]

这是我遇到过的最复杂的一般问题。对我的技能来说有点太高了；）任何人都知道我如何构建可以传递给函数的正确地图类型？甚至有可能，还是编译器不能在我的情况下推断类型？还是我使用了错误的数据结构？

Answer 1

当你如下声明地图时

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

编译器会推断出一个有点奇怪的类型：

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

在 Scala 的 REPL 中亲自尝试一下！

这里的问题是编译器将Any 推断为String 和Int 的公共类型，这实际上是正确的。因此，您将丢失有关地图中实际值的任何信息。当然，关键也不是你想要的。

这意味着Map 显然不是正确的类型。您可以尝试使用 n 元组：

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

因此，所有类型信息都将正确存储。当然，您将不得不创建几个 findByAttributes 函数（一个用于 1-tuple，一个用于 2-tuple，3-tuple 等等......）。这有点乏味，但这是我现在能想到的最好的解决方案。

Answer 2

我还没有完全弄清楚细节，但我认为类似

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] = 
{
   ...
}

可能会奏效。然后一个电话看起来像

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

编辑：从我对 Scala 2.8 REPL 的摆弄来看，findByAttributeValuePair 方法可能是调用 findByAttribute 进行类型检查所必需的。