La différence entre cela et l'auto dans auto-annotations de type?

Dans divers Scala de la littérature, je vois certains auto-annotations de type à l'aide de "ce" et les autres en utilisant le "soi":

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

Est-il une réelle différence entre l'utilisation de "ceci" ou "auto"? N'importe quel nom que vous utilisez? Est-ce aussi valable?

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

InformationsquelleAutor Zach | 2010-10-25

scala

175

Tous les trois formes sont valides et ont pour effet que B est considéré comme le type de this dans la classe A.

Les deux premières variantes
```
trait A { self: B => ... }
trait A { foo: B => ... }
```
introduire self (respectivement, foo) comme un alias pour this trait A. Ceci est utile pour accéder à la this de référence à partir de l'intérieur de la classe. I. e. vous pouvez ensuite utiliser self au lieu de A.this lors de l'accès à la this de référence de la trait A à partir d'une classe imbriquée à l'intérieur d'elle. Exemple:
```
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 troisième variante,
```
trait A { this: B => ... }
```
ne pas introduire un alias pour this; simplement, il définit l'auto type.
- La façon dont je regarde l'auto type est que le trait a déclaré lui-même que la prise d'un certain type et de retourner le bloc de code par exemple toto: B => {...}. Maintenant, ces curlies sont bien sûr omis. Il est intéressant de voir que vous pouvez utiliser le nom de l'objet au lieu de "ce" à l'intérieur, dans le code si quelque chose que nous faisons tout le temps en javascript]
- Odersky Est-il possible d'ajouter une restriction pour deux ou plusieurs traits, quelque chose comme trait A { self: B, C => ... } ?
- Oui, vous pouvez utiliser le with mot-clé dans l'auto-typage d'annotation. Par exemple trait A { self: B with C => ... }
- btw, vous pouvez également faire _: B => pour les non-alias cas pour des raisons de simplicité
InformationsquelleAutor Martin Odersky
17

Il y a une différence dans ce this toujours fait référence à l'objet défini par les recoins les plus profonds de modèle.

L'expression this peut apparaître dans la déclaration d'un modèle ou d'un composé de type. C'est l'objet étant défini par le plus profond de modèle ou d'un composé de type entourant la référence. Si c'est un composé de type, le type de this est que le composé de type. Si il est un modèle de la classe ou de la définition de l'objet avec un nom simple C, le type de ce est le même que le type de C.this. (Scala Réf. §6.5)

Donc, si vous appelez votre auto-type foo, vous pouvez toujours vous y référer en tant que this (à moins, bien sûr, vous êtes dans un modèle interne, auquel cas this fera référence à l'objet défini par elle – et à moins que vous ne donnez pas à l'intérieur du modèle d'auto-tapez le même nom) mais, évidemment, pas l'inverse.

InformationsquelleAutor Debilski

Vous devez vous connecter pour publier un commentaire.