Rendre une structure conforme à un trait
Implémentez les méthodes exigées par un trait.
Rendre une structure conforme à un trait est une leçon Mojo Academy gratuite sur CoddyKit. Ceci est la leçon 2 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Mojo Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Mojo Academy comprend 4 leçons au total.
Certaines parties de cette leçon n'ont pas encore été traduites et s'affichent en anglais.
Signing the Contract
A trait only describes behavior. To use it, a struct must conform by actually implementing the required methods. ✍️
Naming the Trait
You declare conformance by listing the trait in parentheses after the struct name, just like a parameter list.
struct Dog(Greetable):
var name: StringImplement Every Method
Conforming means you must implement each method the trait requires, with a matching name and signature.
Matching the Signature
Your method has to match the trait's signature: same arguments and return type. A mismatch breaks conformance.
fn greet(self) -> String:
return "Woof from " + self.nameThe Compiler Verifies It
When you claim a trait, Mojo checks at compile time that every required method is present and correct.
Missing a Method Fails
Forget a required method and the build fails with a clear error. The contract is enforced, not just suggested.
Conform to Many Traits
A struct can satisfy several traits at once by listing them all, gaining each capability it implements.
struct Dog(Greetable, Stringable):
var name: StringBehavior Stays Yours
The trait says which methods exist, but your struct decides how they work. A Cat and Dog can greet differently.
Extra Methods Are Fine
A struct may add its own methods beyond the trait. Conformance only requires the contract be met, not limited.
Now It Qualifies
Once a struct conforms, it can be passed anywhere that trait is expected. That is the real payoff coming next.
A Concrete Example
Here a Dog conforms to Greetable and supplies its own greeting, fully satisfying the trait.
struct Dog(Greetable):
var name: String
fn greet(self) -> String:
return "Woof!"Quick Check
How does a struct promise to follow a trait?
Recap
To conform, list the trait after the struct name and implement its methods with matching signatures. The compiler checks it. ✅
Questions Fréquemment Posées
La leçon « Rendre une structure conforme à un trait » est-elle gratuite ?
Oui — le texte complet de « Rendre une structure conforme à un trait » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Mojo Academy, passe à CoddyKit PRO. Le cours Mojo Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Rendre une structure conforme à un trait » ?
Implémentez les méthodes exigées par un trait. Tu pratiques Mojo Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer Mojo Academy ?
Aucune expérience préalable n'est requise. Mojo Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 2 sur 4.
Combien de temps prend la leçon « Rendre une structure conforme à un trait » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon Mojo Academy ?
Oui. Chaque leçon Mojo Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Qu’est-ce qu’un trait ?
- Rendre une structure conforme à un trait
- Traits intégrés comme Copyable
- Fonctions génériques sur les traits