有没有办法从 Scala 的地图中获取键/值类型？

Question

在 C++ 中，我们可以从定义的映射中获取 abstract 键/值类型（key_type、value_type、http://en.cppreference.com/w/cpp/container/map）。当我需要稍后更改地图类型时，这非常方便，因为依赖类型会相应更改。

在 Scala 中，我也在寻找这样的功能。比如我定义了一个map类型：

type MapTy : mutable.Map[Long, Int]

我希望返回一个地图条目（其类型为Long->Int）。返回类型取决于MapTy，最好在函数签名中明确指定，写成MapTy::key_type->MapTy::value_type。因此，稍后我将MapTy 更改为

type MapTy : mutable.Map[Int, Int]

条目类型也会同时更改为Int->Int。

在 Scala 中可以吗？

Answer 1

在 Scala 中完全可以用类型成员和类型细化来做这种事情：

scala> case class WrappedMap[K, V](underlying: Map[K, V]) { type E = (K, V) }
defined class WrappedMap

scala> type MapTy = WrappedMap[Long, Int]
defined type alias MapTy

scala> val entry: MapTy#E = 1L -> 0
entry: (Long, Int) = (1,0)

scala> val entry: MapTy#E = 1L -> "foo"
<console>:14: error: type mismatch;
 found   : String("foo")
 required: Int
       val entry: MapTy#E = 1L -> "foo"
                                  ^

或者：

def entries(m: MapTy): List[MapTy#E] = m.underlying.toList

val myEntries: List[MapTy#E] = entries(WrappedMap(Map(1L -> 0)))

标准集合库大部分不包含表示元素类型的类型成员，部分原因是通用使用类型参数更适合惯用的 Scala 开发实践，但在某些情况下类型成员很有用，如果你真的想近似你在 C++ 中描述的内容，这可能就是其中之一。

Answer 2

在 Scala 中，泛型类型在擦除时会丢失，因此在运行时是不可能的。有人可能会展示如何做到这一点，在此之前，这里有一个解决方法：

type Key = Int
type Value = Long
type Map = mutable.Map[Key, Value]

另外，this 可能会有所帮助。