`forSome { val `的示例？

Question

Scala 语言规范将Existential Types 的语法指定为

Type               ::= InfixType ExistentialClauses
ExistentialClauses ::= ‘forSome’ ‘{’ ExistentialDcl
                       {semi ExistentialDcl} ‘}’
ExistentialDcl     ::= ‘type’ TypeDcl
                    |  ‘val’ ValDcl

我见过很多代码同时使用forSome 和type，例如

List[T] forSome { type T; }

但我从来没有见过forSome 和val，有样品吗？

Answer 1

如果你仔细想想，你很快就会意识到类型中出现的唯一时间值是与路径相关的类型。举例：

trait Trait {
  val x: { type T }
  val y: x.T // path dependent type: here comes our val
}

将其应用于存在类型，我们现在可以轻松地制作一个forSome { val的样本：

type SomeList = List[v.T] forSome { val v : { type T }; }

上述类型表示其元素属于路径相关类型v.T的任何列表。

举例：

object X { 
  type T = String
  val x: T = "hello" 
}
val l1: SomeList = List(X.x) // compiles fine
val l2: SomeList = List(123) // does not compile

诚然，SomeList 是毫无用处的。通常，这种存在类型只有作为更大类型的一部分才会真正有用。