作为自身列表的类的模式

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 } }
}

答:是的.自我类型也可以用作外部范围的别名.