Cosa significa => all'inizio della definizione di una classe di Scala?

Question

L'autore della domanda Exchanging type parameters with abstract types ha scritto un => all'inizio delle sue definizioni di classe. Esempio:

abstract class Thing { t => 
    type A 
    type G <: Group { type A = t.A } 
    val group: G 
} 

Cosa significa il t => significa?

Poiché questo è difficile da trovare in Google & Co, qualcuno può fornirmi maggiori informazioni di base o fornire un collegamento, dove posso trovare ulteriori informazioni su questo costrutto linguistico?

Answer 1

Il nome predefinito per la classe è this. È possibile sostituirlo con da t =>

È utile se la classe contiene sottoclassi e se è necessario accedere all'autenticazione.

Senza t => nel tuo esempio si potrebbe scrivere qualcosa di simile:

abstract class Thing { 
    type G <: Group { type A = this.A } 
} 

Group { type A = this.A } è un sottotipo così this sarebbe riferimento al gruppo di specializzazione per sé non a un oggetto cosa. Probabilmente non ottieni ciò che intendi ottenere. Se è necessario accedere a Thing auto di riferimento si dovrebbe risolvere il nome del conflitto assegnando sé un altro nome di riferimento

abstract class Thing { another_this = > 
    type G <: Group { type A = another_this.A} 
}