¿Diferencia entre esto y self en anotaciones de self-type?

134

En varias publicaciones de Scala veo algunas anotaciones de auto-tipo que usan "this" y otras que usan "self":

trait A { this: B => ... }
trait A { self: B => ... }

¿Hay alguna diferencia real entre usar "this" o "self"? ¿Importa en absoluto qué nombre usas? ¿Es esto tan válido?

trait A { foo: B => ... }

scala

— Zach
fuente

Respuestas:

181

Las tres formas son válidas y tienen el efecto que Bse supone como el tipo de thisclase A.

Las dos primeras variantes

trait A { self: B => ... }
trait A { foo: B => ... }

introducir self(respectivamente,foo ) como un alias para thisen rasgo A. Esto es útil para acceder a la thisreferencia desde una clase interna. Es decir, podría usarlo en selflugar de A.thisacceder a la thisreferencia del rasgo Adesde una clase anidada en él. Ejemplo:

class MyFrame extends JFrame { frame =>    
  getContentPane().add( new JButton( "Hide" ) {
    addActionListener( new ActionListener {
      def actionPerformed( e: ActionEvent ) {
        // this.setVisible( false ) --> shadowed by JButton!
        frame.setVisible( false )
      }
    })
  })
}

La tercera variante,

trait A { this: B => ... }

no introduce un alias para this; solo establece el auto tipo.

— Martin Odersky
fuente

La forma en que miro el tipo automático es que el rasgo se declaró a sí mismo como que toma un cierto tipo y devuelve el bloque de código, por ejemplo, foo: B => {...}. Ahora, por supuesto, esos curlies se omiten. Sin embargo, es interesante ver que puedes usar el nombre del objeto en lugar de "esto" dentro de cualquier ámbito del código [algo que hacemos todo el tiempo en JavaScript]

— Ustaman Sangat

@ Martin Odersky ¿Es posible agregar restricciones para dos o más rasgos, algo así trait A { self: B, C => ... }?

— Dmitry Bespalov

@DmitryBespalov: Sí, puede usar la withpalabra clave en la anotación autoescrita . Por ejemplotrait A { self: B with C => ... }

— Dave

por cierto también se puede hacer _: B =>para el caso no alias para simplicidad

— Creos

Hay una diferencia en que thissiempre se refiere al objeto definido por la plantilla más interna.

La expresión thispuede aparecer en la parte de la declaración de una plantilla o tipo compuesto. Representa el objeto definido por la plantilla más interna o el tipo compuesto que encierra la referencia. Si este es un tipo compuesto, el tipo de thises ese tipo compuesto. Si se trata de una plantilla de una definición de clase o un objeto con el nombre sencillo C , el tipo de esto es el mismo que el tipo de C . this. (Ref. Scala §6.5)

Entonces, si llama a su auto-tipo foo, aún podría referirse a él como this(a menos, por supuesto, que esté en una plantilla interna en cuyo caso thisse referirá al objeto definido por él, y a menos que no le dé el interno auto-teclea el mismo nombre) pero obviamente no al revés.

— Debilski
fuente