Che cos’è un trait?

Fa parte della sezione Programmazione orientata agli oggetti del percorso Rust di Coddy. Lezione 29 di 61.

I generics ti permettono di scrivere codice che funziona con qualsiasi tipo, ma a volte devi garantire che un tipo possa fare qualcosa di specifico. È qui che entrano in gioco i trait.

Un trait definisce un insieme di metodi che un tipo deve implementare. Pensalo come un contratto: qualsiasi tipo che "firma" questo contratto si impegna a fornire il comportamento specificato. Se hai usato interfacce in altri linguaggi, i trait svolgono uno scopo simile.

Ecco come definisci un trait:

trait Describable {
    fn describe(&self) -> String;
}

La parola chiave trait introduce il trait, seguito dal suo nome. All'interno delle parentesi graffe, dichiari le firme dei metodi: solo il nome, i parametri e il tipo restituito, senza corpo. Il punto e virgola dopo la firma indica che si tratta di un requisito, non di un'implementazione.

Questo tratto Describable afferma: «Qualsiasi tipo che implementa questo tratto deve fornire un metodo describe che prende un riferimento a se stesso e restituisce una String.» Al tratto non importa come funziona il metodo: spetta a ciascun tipo che lo implementa deciderlo.

I trait diventano potenti quando più tipi diversi implementano lo stesso trait. Un Book, un Car e una Person potrebbero essere tutti Describable, ciascuno fornendo una propria descrizione unica. Il trait garantisce che condividano tutti questa capacità comune.

Sfida

Facile

Definiamo il tuo primo trait! Un trait stabilisce un contratto: una promessa che qualsiasi tipo lo implementi fornirà un comportamento specifico. Creerai un trait Summarizable che diversi tipi possono implementare per fornire un riepilogo di sé.

Organizzerai il tuo codice in due file:

summary.rs: Definisci un trait pubblico chiamato Summarizable con un'unica firma di metodo: summarize(&self) -> String. Ricorda: nella definizione di un trait dichiari solo la firma del metodo, con un punto e virgola: senza corpo. Questo comunica a Rust: "qualsiasi tipo che implementa questo trait deve fornire un metodo summarize che restituisce una String."
main.rs: Includi il tuo modulo summary e stampa un messaggio che confermi che il trait è definito. Poiché non abbiamo ancora imparato a implementare i trait (sarà la prossima lezione!), verificherai semplicemente che il tuo trait venga compilato correttamente.

Nel tuo file principale, stampa il seguente messaggio per confermare che la definizione del trait è valida:

Summarizable trait defined successfully!

Questa sfida si concentra esclusivamente sulla sintassi di definizione dei trait: la parola chiave trait, il nome del trait e la dichiarazione delle firme dei metodi senza implementazioni. Nella prossima lezione, imparerai a fare in modo che le struct implementino questo trait!

Provalo tu

mod summary;

fn main() {
    // TODO: stampa il messaggio di conferma che il trait è definito
    // Output previsto: "Summarizable trait defined successfully!"
    
}