类的模式是其自身的列表

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

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