scala – 一个类的模式,它是一个自己的列表

发布时间：2020-12-16 10:07:58 所属栏目：安全来源：网络整理

导读：考虑以下： 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(

考虑以下：

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

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

解决方法

这解决了范围问题.如果我理解正确,那就是你想要的.

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

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!