Flèche droite dans le corps de classe à Scala

La programmation de SCALA 2D Edition Introduisez le concept de type SOTE dans la section 29.4 "Modules de fractionnement en trait":

Le trait SimpleFoods pourrait avoir l'air suivant: xxx

Jusqu'à présent, mais malheureusement, un problème se pose si vous essayez de définir un trait Simplerecipes comme celui-ci: xxx

Le problème ici est que poire est situé dans un trait différent de celui qui l'utilise, donc il est hors de portée.
Le compilateur n'a aucune idée que Simplerecipes n'est jamais mélangé avec SIMPLEFOODS .
Il y a une façon de le dire au compilateur. Scala fournit le type de soi pour cette situation précisément.
Techniquement, un type auto est un type supposé pour cela chaque fois que cela est mentionné dans la classe .
Pragmatiquement, Un type Soi Spécifie les exigences de tout cours de béton que le trait est mélangé dans .
Si vous avez un trait qui n'est jamais utilisé uniquement lorsqu'il est mélangé avec un autre trait ou des traits, vous pouvez spécifier que ces autres traits devraient être supposés.
Dans le cas présent, il suffit de spécifier un type auto de simplefoods , comme indiqué: xxx

Compte tenu du nouveau type de soi, poire est maintenant disponible.
Implicity, la référence à poire est considérée comme ceci.pear .
Ceci est sûr, car toute classe de béton qui se mélange dans Simplerecipes doit également être un sous-type de simplefoods , ce qui signifie que poire sera membre. de
Les sous-classes abstraits et les traits ne doivent pas nécessairement suivre cette restriction, mais comme ils ne peuvent pas être instanciés avec de nouvelles, il n'y a aucun risque que le ceci.pear échouera