scala - 映射与路径相关的值类型？

Question

我知道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

我可以使用类型投影创建从外部到内部的 map :

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

但这将允许像o1 -> i21这样的条目，而我不希望这样。是否有任何类型的魔术要求值必须是其键的内部类的实例？也就是说，我想说些类似的话

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

Answer 1

不。

路径相关类型的范围仅限于对象实例，如您提供的示例所示:

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
}