scala – 具有路径依赖值类型的映射？

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

导读：我知道 Scala有路径依赖类型,所以例如如果我在内部类中有一个类,我可以将一个方法的一个参数约束为另一个参数的内部类的实例： class Outer { class Inner( x:Int ) }val o1 = new Outerval o2 = new Outerval i11 = new o1.Inner(11)val i12 = new o1.Inner

我知道 Scala有路径依赖类型,所以例如如果我在内部类中有一个类,我可以将一个方法的一个参数约束为另一个参数的内部类的实例：

class Outer { class Inner( x:Int ) }
val o1 = new Outer
val o2 = new Outer
val i11 = new o1.Inner(11)
val i12 = new o1.Inner(12)
val i21 = new o2.Inner(21)
def f[ A <: Outer ]( a:A )( i:a.Inner ) = (a,i)
f(o1)(i11)  // works
f(o1)(i21)  // type mismatch; i21 is from o2,not o1

我可以使用类型投影创建从外部到内部的地图：

var m = Map[Outer,Outer#Inner]()

但这样可以允许像o1这样的条目 – > i21,我不希望这是允许的.是否有任何类型的魔法要求值是其键的内部类的实例？也就是说,我想说些什么

var m = Map[Outer,$1.Inner]()  // this doesn't work,of course

解决方法

没有.

路径依赖类型的范围限定为对象实例,如您给出的示例：

def f[ A <: Outer ]( a:A )( i:a.Inner ) = (a,i)

这里,路径依赖类型依赖于对象引用“a”,它在第二个参数列表的声明范围内.

map definition看起来有点像：

trait Map[A,+B] {
  def get(key: A): Option[B]
  def + [B1 >: B](kv: (A,B1)): This
}

在此范围内没有类型A的对象供您在定义B时引用.

正如其他人所暗示的那样,您可以定义一个符合此要求的新类似Map类：

trait Map2[A <: Outer] {
  def get(key: A): Option[key.Inner]
  def put(key: A)(value: key.Inner): this.type
}

（编辑：李大同）

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