如何在Scala中定义具有特定类型键和任何单一类型值的映射？

Question

我需要的是像

Map[DateTime, Any]

但所有值必须是任何一种特定类型 。 例如，不是一个值是Int，另一个值是Double，第三个值是String-所有记录都应具有相同的特定类型，并向下转换为Any。

我将把地图作为半类型不可知函数的参数，使用匹配/大小写确定类型并执行特定算法。 该函数实际上将支持某些类型，如果不支持所提供的类型，则抛出异常。

Answer 1

我不确定你想要什么； 您似乎想要的几乎是泛型所能做的事情，但是显然在一些我不了解的细节上有所不同。 所以我猜：

如果您抱怨地图的添加项会扩大值的类型：

scala> val m = Map(5 -> "fish")
m: scala.collection.immutable.Map[Int,java.lang.String] = Map(5 -> fish)


scala> m + ("foo" -> "dish")  // Type mismatch on key
<console>:9: error: type mismatch;
 found   : (java.lang.String, java.lang.String)
 required: (Int, ?)
              m + ("foo" -> "dish")

scala> m + (2 -> 44)  // Type mismatch on value
m + (2 -> 44)
res2: scala.collection.immutable.Map[Int,Any] = Map(5 -> fish, 2 -> 44)

那么您可以使用泛型和多个参数来阻止您提供的方法中对值类型的更改：

def add[A,B](m: Map[A,B])(a: A, b: B) = m + (a -> b)


scala> add(m)(2, 44) 
<console>:10: error: type mismatch;
 found   : Int(44)
 required: java.lang.String
              add(m)(2, 44)

在此， A和B的类型在到达第二个参数块之前便已绑定到映射中的任何内容。 因此，您不必担心地图值类型的矛盾。