Scala类型构造函数误解

时间:2010-08-04 21:04:33

标签: generics scala types

我正在尝试编写一个方法,该方法采用Map [K,Collection [V]]并将其转换为具有不同类型Collection的值的地图。该方法采用“multimap”和构建新集合的构建器。我这样用它:

val multimap = new java.util.HashMap[Int, java.util.List[String]]
multimap.put(1, Arrays.asList("One"))
multimap.put(2, Arrays.asList("Two", "Three"))

val mapOfLists: java.util.Map[Int, java.util.Set[String]] =
    asMap(multimap, Builder.SET)

以下是构建器的外观:

trait Builder[C[_] <: java.util.Collection[_]]
{
    def create[V]: C[V]
}

object Builder
{
    val SET = new Builder[java.util.Set]()
    {
        def create[V]: java.util.Set[V] = new java.util.HashSet[V]
    }
}

这是asMap()的实现。它有效,但我不明白 - 为什么我最后需要输入类型?

def asMap[K, V, C[_] <: java.util.Collection[_]](
        multimap: java.util.Map[K, _ <: java.util.Collection[V]], builder: Builder[C]): java.util.Map[K, C[V]] =
{
    val result = new java.util.HashMap[K, C[V]]
    val iterator: Iterator[K] = multimap.keySet.iterator
    while (iterator.hasNext)
    {
        val key = iterator.next
        val collection: C[V] = builder.create[V]
        collection.asInstanceOf[java.util.Collection[V]].addAll(multimap.get(key))
        result.put(key, collection)
    }
    result
}

如果没有类型的情况,我会收到此错误:

[ERROR] error: type mismatch;
[INFO]  found   : java.util.Collection[V]
[INFO]  required: java.util.Collection[_ <: _$2] where type _$2
[INFO]             collection.addAll(multimap.get(key))

1 个答案:

答案 0 :(得分:8)

您意外地创建了存在类型而不是类型构造函数。有效的类型构造函数为C[X] <: Collection[X|,因此您需要将Builder更改为

trait Builder[C[X] <: Collection[X]] {
    def create[V]: C[V]
}

以及asMap

的签名
def asMap[K, V, C[X] <: Collection[X]](multimap: Map[K, _ <: Collection[V]],
  builder: Builder[C]): Map[K, C[V]]