Che cos'è un trait?

A volte molti tipi hanno bisogno della stessa capacità, ad esempio di essere stampabili. Un trait consente di descrivere una volta sola questo comportamento condiviso. 🤝

Consideri un trait come un contratto: elenca i metodi che un tipo deve fornire, senza specificare come funzionano.

Se conosce le interfacce di altri linguaggi, un trait esprime la stessa idea. Indica i metodi obbligatori e nient’altro.

Si dichiara un trait con la parola chiave trait, quindi si elencano al suo interno le firme dei metodi, in modo simile a una struct.

Il corpo ... indica che un metodo è obbligatorio ma non implementato. Il trait garantisce che il metodo esista, non che cosa faccia.

Un trait contiene solitamente solo firme. La logica effettiva risiede in ogni tipo che accetta di rispettare il contratto.

I trait consentono di scrivere codice basato su una capacità invece che su un tipo specifico. Qualsiasi tipo conforme funzionerà.

Un Dog e un Robot possono entrambi promettere di salutare. Condividono il trait, pur mantenendo implementazioni interne completamente diverse.

Le struct non hanno un’ereditarietà nello stile delle classi, quindi i trait sono il modo in cui Mojo condivide il comportamento. Descrivono che cosa fa un tipo, non un tipo base.

Mojo verifica la conformità ai trait in fase di compilazione. Se a un tipo manca un metodo obbligatorio, la compilazione fallisce subito.

I trait sono la base del codice generico in Mojo. Padroneggi questa idea di contratto e poi potrà creare funzioni riutilizzabili e sicure rispetto ai tipi. 🧱

Definiamo con precisione che cos’è davvero un trait.

Un trait è un contratto di metodi obbligatori. Descrive un comportamento condiviso, così molti tipi possono essere utilizzati nello stesso modo. 🎯