Was ist ein Trait?

Manchmal benötigen viele Typen dieselbe Fähigkeit, etwa die Möglichkeit, ausgegeben zu werden. Mit einem Trait beschreiben Sie dieses gemeinsame Verhalten einmal. 🤝

Betrachten Sie ein Trait als Vertrag: Es listet die Methoden auf, die ein Typ bereitstellen muss, ohne festzulegen, wie sie funktionieren.

Wenn Sie Interfaces aus anderen Sprachen kennen, entspricht ein Trait derselben Idee. Es benennt die erforderlichen Methoden und nichts weiter.

Sie deklarieren ein Trait mit dem Schlüsselwort trait und listen darin Methodensignaturen auf – ähnlich wie bei einer Struktur.

Der Rumpf ... kennzeichnet eine Methode als erforderlich, aber noch nicht implementiert. Das Trait verspricht, dass die Methode existiert, nicht, was sie tut.

Ein Trait enthält normalerweise nur Signaturen. Die eigentliche Logik befindet sich in jedem Typ, der sich verpflichtet, den Vertrag einzuhalten.

Traits ermöglichen es Ihnen, Code gegen eine Fähigkeit statt gegen einen bestimmten Typ zu schreiben. Jeder konforme Typ funktioniert damit.

Ein Dog und ein Robot können beide versprechen, jemanden zu begrüßen. Sie teilen dasselbe Trait, behalten aber völlig unterschiedliche interne Implementierungen.

Strukturen haben keine klassenbasierte Vererbung. Deshalb verwendet Mojo Traits, um Verhalten zu teilen. Sie beschreiben das Was, nicht einen Basistyp.

Mojo überprüft die Konformität zu einem Trait zur Compile-Zeit. Fehlt einem Typ eine erforderliche Methode, schlägt der Build frühzeitig fehl.

Traits bilden die Grundlage für generischen Mojo-Code. Wenn Sie diese Vertragsidee beherrschen, können Sie als Nächstes wiederverwendbare, typsichere Funktionen schreiben. 🧱

Ein Trait ist ein Vertrag über erforderliche Methoden. Es beschreibt gemeinsames Verhalten, sodass viele Typen auf dieselbe Weise verwendet werden können. 🎯