Hazlo tú mismo: T => y esto: T => ¿tiene el mismo significado cuando se define un rasgo?

Question

Parece que puedo usar self o this para referirme a la instancia mixta o más bien restringir la instancia mixta. Por ejemplo, ¿son esos equivalentes?

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

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

se trata simplemente de una convención, o usar algo diferente a this proporcionar algunos beneficios?

Answer 1

El uso de un nombre que no sea "este" puede ser útil cuando usted tiene tipos de miembros que se refieren a la instancia que encierra. Por ejemplo,

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

es preferible,

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

en algunas circunstancias.

Answer 2

Puede ser cualquier cosa: self, this, meep, blah, etc. Solo lo utiliza el compilador para determinar a qué clase enviar (al llamar a métodos) y no aparece realmente en bytecode.

Tenga cuidado al nombrar, porque los identificadores locales tienen prioridad sobre la definición del tipo de auto:

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