Scala中Map键和值类型参数之间的依赖关系[重复]

Question

这个问题在这里已有答案：

• 关联参数化类型 4个答案

有时，对映射中的键类型和值之间的依赖关系进行编码可能很有用。 请考虑以下类型：

type MyPairs = Seq[(TypeTag[T], T) forSome {type T}]

这里序列中的每一对应该具有相同的类型T 但就类似地图的使用而言，这种类型并不是很方便。 但是我无法表达Map[K, V]依赖性，因为Map有两个独立的类型参数，似乎我不能以任何方式“组合”它们以使用单个存在类型。 天真的变种

type MyMap = Map[TypeTag[T], T] forSome {type T}

只强制单一类型T 对于所有MyMap条目，但不是单独的每个条目。

我认为另一个极端是

type MyMap = Map[TypeTag[_], _]

但是，这当然是一个过于宽泛的定义，它允许任何键值类型的组合。

所以我的问题是，可以在Scala中编码这样的类型吗？ 如果有，怎么样？

Answer 1

正如其他人指出的那样，您需要使用异质地图。 无形项目有一个实现：

https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-1.2.4#heterogenous-maps

这允许你这样做：

import shapeless._
class Constrainer[K, V]
implicit def allowed[T] = new Constrainer[Class[T], T]
val hmap = HMap[Constrainer](classOf[String] -> "Hi there", classOf[Int] -> 3) // this compiles
val hmapFail = HMap[Constrainer](classOf[String] -> 3) // this won't compile

对于使用TypeTag的具体示例：

import shapeless._
import scala.reflect.runtime.universe._
class Constrainer[K, V]
implicit def allowed[T] = new Constrainer[TypeTag[T], T]
val hmap = HMap[Constrainer](typeTag[String] -> "hello", typeTag[Int] -> 2) // this compiles
val hmapFail = HMap[Constrainer](typeTag[String] -> 3) // this won't compile

请注意，您可以使用隐式值（或我们的情况下的转换）来指定允许的（键，值）对的实例。