dies: SomeObject => Objekt Konstrukt

Question

Ich war auf Best Practices für die Implementierung von Slick lesen, und wurde this example untersucht. Darin gibt es dieses Konstrukt:

trait BankRepository extends BankTable { this: DBComponent => 
    ... //A bunch of code 
} 

Ich verstehe nicht, den this: DBComponent => Teil. In diesem Fall ist DBComponent ein einfaches Merkmal, das an anderer Stelle definiert wurde (Sie finden es im obigen Link). Was ich nicht verstehe, ist:

• Was bedeutet die this: DBComponent => tun konstruieren. Meine IDE beschwert sich nicht, aber sie verbindet sich auch nicht mit der Funktion, die von => ausgeführt wird. Meine Intuition ist, dass es sagt, der Rest des Codes ist ein Wert, der zurückgegeben wird, aber ich bin nicht klar darüber, was es aufruft, oder was der Wert genau zurückgegeben hat.
• Was nenne ich dieses Konstrukt? Wie bei vielen symbolträchtigen Konstrukten ist es schwer, nach Dokumenten zu suchen/zu suchen, da diese eindeutig vom Kontext abhängig sind. Aber sogar den Kontext zu beschreiben ist schwierig. Wie heißt dieses Konstrukt?

Answer 1

Es heißt Selbsttyp. Es ist im Grunde ein Vertrag, der besagt, dass jede Klasse, die dieses Merkmal erweitert (eingemischt) muss enthalten. Und als solcher sollte der Compiler annehmen, dass DBCompenent Elemente für den folgenden Code im Umfang sind.

Hier ist eine link auf eine Beschreibung davon aus Programmierung in Scala, Odersky et al, 1. Auflage (etwas veraltet, aber immer noch genau auf den meisten Themen).