Scala变量作用域问题

Question

我有一个 scala 语法问题 - 假设我有一个简单的依赖模式构造，如下所示

trait Master {
  val foobar

  object SubObject extends SubObject {
      foobar = foobar
  }
}

trait SubObject {
  val foobar
}

显然，这不会编译，因为引用 富巴 = 富巴 是模棱两可的。

如何指定表达式的 RHS 应引用 Master 的 foobar 变量？我应该了解“this”或“self”的某种特殊用法吗？

Answer 1

您可以使用 Master.this 限定符来专门引用外部作用域，如下所示：

trait Master {
  val foobar = "Hello world"

  object SubObject extends SubObject {
      val foobar = Master.this.foobar
  }
}

trait SubObject {
  val foobar:String
}

Answer 2

我相信最简单的方法是使用自我类型定义。除了一堆很酷的类型理论效果之外，您还可以使用自我类型为“this”创建别名。 （没有测试过这个）

trait Master {
  master =>
  val foobar

  object SubObject extends SubObject {
      foobar = master.foobar
  }
}

trait SubObject {
  val foobar
}