Scala：地图的存在类型

发布时间：2020-12-16 09:52:34 所属栏目：安全来源：网络整理

导读：我想在未知的A上使用不同类型的地图： val map: Map[Foo[A],Bar[A]] = ......val foo = new Foo[Qux]val bar: Bar[Qux] = map(foo) 这不起作用,因为A是未知的.我必须将其定义为： val map: Map[Foo[_],Bar[_]] = ......val foo = new Foo[Qux]val bar: Bar[Q

我想在未知的A上使用不同类型的地图：

val map: Map[Foo[A],Bar[A]] = ...
...
val foo = new Foo[Qux]
val bar: Bar[Qux] = map(foo)

这不起作用,因为A是未知的.我必须将其定义为：

val map: Map[Foo[_],Bar[_]] = ...
...
val foo = new Foo[Qux]
val bar: Bar[Qux] = map(foo).asInstanceOf[Bar[Qux]]

这很有效,但演员很难看.我宁愿找到更好的方法.我收集的答案是使用存在类型和forSome关键字,但我很困惑它是如何工作的.应该是：

Map[Foo[A],Bar[A]] forSome { type A }

要么：

Map[Foo[A] forSome { type A },Bar[A]]

要么：

Map[Foo[A forSome { type A }],Bar[A]]

解决方法

实际上,这些都不起作用.

Map[Foo[A],Bar[A]] forSome { type A }

是一个Map,其中所有键具有相同类型Foo [A]和类型Bar [A]的值(但对于此类型的不同映射,类型A可能不同);在第二和第三个例子中,Bar [A]中的A与forSome中的A完全不同.

这个丑陋的解决方法应该有效：

// need type members,so can't use tuples
case class Pair[A,B](a: A,b: B) {
  type T1 = A
  type T2 = B
}

type PairedMap[P <: Pair[_,_]] = Map[P#T1,P#T2]

type FooBarPair[A] = Pair[Foo[A],Bar[A]]

val map: PairedMap[FooBarPair[_]] = ...

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!