generics - 关联参数化类型

Question

我有一个映射，其中键和值都是通用类型。像这样的事情:

Map[Foo[A], Bar[A]]

我想表达的是，映射中每个键值对的类型 A 可能不同，但每个键始终使用与其值相同的类型进行参数化映射到.因此 Foo[Int] 始终映射到 Bar[Int]，Foo[String] 始终映射到 Bar[ String]，等等。

有人知道如何表达吗？

编辑:

这是我想做的事情的一个例子:

trait Parameter // not important what it actually does

class Example {
  val handlers: Map[_ <: Parameter, (_ <: Parameter) => _] = Map()

  def doSomething() {
    for ((value, handler) <- handlers) {
      handler(value)
    }
  }
}

这个想法是，一个值总是映射到一个可以接受它作为参数的函数，但随着代码现在的编写，编译器无法知道这一点。

Answer 1

事实证明，在 Scala 中定义异构映射是可能的。这是一个粗略的草图:

class HMap[A[_], B[_]] extends Iterable[HMap.Mapping[A, B, _]] {
  private val self = mutable.Map[A[_], B[_]]()

  def toMapping[T](a: A[_], b: B[_]): HMap.Mapping[A, B, T] = {
    HMap.Mapping(a.asInstanceOf[A[T]], b.asInstanceOf[B[T]])
  }

  def iterator: Iterator[HMap.Mapping[A, B, _]] =
    new Iterator[HMap.Mapping[A, B, _]] {
      val sub = self.iterator

      def hasNext = sub.hasNext
      def next(): HMap.Mapping[A, B, _] = {
        val (key, value) = sub.next()
        toMapping(key, value)
      }
    }

  def update[T](key: A[T], value: B[T]) = (self(key) = value)
  def get[T](key: A[T]) = self.get(key).asInstanceOf[Option[B[T]]]
  def apply[T](key: A[T]) = self(key).asInstanceOf[B[T]]
}

object HMap {
  case class Mapping[A[_], B[_], T](val key: A[T], val value: B[T])
}

可以通过在内部使用映射链接列表而不是映射来实现完全类型安全，但这对于性能来说更好。

我原来的示例如下所示:

object Example {
  type Identity[T] = T
  type Handler[T] = (T) => _

  val handlers = new HMap[Identity, Handler]

  def doSomething() {
    for (HMap.Mapping(value, handler) <- handlers) {
      handler(value)
    }
  }
}

这几乎是完美的，除了我不知道如何添加边界。