scala - self: T => 和 this: T => 在定义特征时是否具有相同的含义？

Question

看来我可以使用selforthis来指代混合实例，或者更确切地说是约束混合实例。例如，那些是等价的吗？

scala> trait A { self: List[_] => }
defined trait A

scala> trait B { this: List[_] => }
defined trait B

这只是一个约定，还是使用一些不同的东西而不是this提供一些好处？

Answer 1

如果您有引用封闭实例的成员类型，则使用“this”以外的名称可能很有用。例如，

trait Outer { self =>
  trait Inner {
    def outer = self
  }
}

更可取的是，

trait Outer {
  trait Inner {
    def outer = Outer.this
  }
}

在某些情况下。

Answer 2

它可以是任何东西：self、this、meep、blah 等。它仅由编译器用于确定要转换为哪个类（在调用其上的方法时），实际上并不显示在字节码中。

命名时要小心，因为本地标识符会覆盖 self 类型定义：

trait A {
  def baz = println("baz!")
}
trait B {
  foo: A => 
  val foo = "hello"   
  // def bar = foo.baz // does not compile because foo is String, not A
  def bar = foo.substring(1)
}