Question

请考虑以下事项：

object Main
{
  case class Foo(bar: Int) extends FooList {
    val self: List[Foo] = this :: Nil
  }

  abstract class FooList {
    val self: List[Foo]
    def ~(that: Foo) = { val list = self :+ that; new FooList { val self = list } }
  }

  def main(args: Array[String]): Unit = {
    val foo = Foo(1) ~ Foo(2) ~ Foo(3)
    println(foo.self)
 }
}

可以这一行：

{ val list = self :+ that; new FooList { val self = list } }

以任何方式简化？我想写一些类似的东西：

new FooList { val self = this.self :+ that }   // won't compile

似乎可以归结为能够引用具有相同名称的不同范围的标识符。那有什么机制吗？

Answer 1

这解决了范围界定问题。如果我理解正确，那就是你想要的。

abstract class FooList { outer =>
  val self: List[Foo]
  def ~(that: Foo) = { new FooList { val self = outer.self :+ that } }
}

答案：是。自我类型也可以用作外部范围的别名。

作为自身列表的类的模式

1 个答案: