Mojo Academy · レッスン

Traitに対するジェネリック関数

多くの型に対応する1つの関数を記述します

「Traitに対するジェネリック関数」はCoddyKit上の無料Mojo Academyレッスンです。これはレッスン4/4です。下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。これはMojo Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Mojo Academyコースには全4レッスンが含まれています。

このレッスンの一部はまだ翻訳されておらず、英語で表示されています。

One Function, Many Types

The real power of traits is generic code: write a function once and it works for every conforming type. 🚀

A Trait as a Bound

You use a trait as a bound on a generic parameter, promising the type has the methods you call.

Generic Parameter Syntax

Inside square brackets you name a type parameter and the trait it must satisfy, then use it like any type.

fn announce[T: Greetable](item: T):
    print(item.greet())

Calling Trait Methods

Within the function you may call any method the trait guarantees. The compiler knows greet exists on T.

Works for Every Conformer

Pass a Dog or a Robot to the same function. Both conform to Greetable, so both are accepted seamlessly.

announce(Dog("Rex"))
announce(Robot())

Type Safety Stays

Generics are not loose. If a type does not satisfy the bound, the compiler refuses it before the program runs.

No Runtime Penalty

Mojo specializes generic code at compile time, generating a fast version per type. Flexibility costs no speed.

Less Duplication

Without generics you would copy a function for each type. A trait bound lets one definition serve them all, cutting duplication.

Multiple Bounds

A parameter can require several traits at once, ensuring the type has every capability the function needs.

Designing Around Traits

Good Mojo APIs ask for the smallest trait they need. Functions stay flexible while expressing exact requirements.

The Whole Picture

Trait, conformance, and generics combine: define a contract, implement it, then write one reusable function over it.

fn print_all[T: Stringable](x: T):
    print(String(x))

Quick Check

Why use a trait bound on a generic function?

Recap

Generic functions with a trait bound work across all conforming types, staying type-safe and fast. You now write reusable Mojo! 🎉

よくある質問

「Traitに対するジェネリック関数」レッスンは無料ですか？

はい。「Traitに対するジェネリック関数」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Mojo Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Mojo Academyコースには全4レッスンが含まれています。

「Traitに対するジェネリック関数」で何を学びますか？

多くの型に対応する1つの関数を記述しますブラウザで直接実行するハンズオンコードでMojo Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

Mojo Academyを始めるのに経験は必要ですか？

事前経験は必要ありません。CoddyKitのMojo Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。これはレッスン4/4です。

「Traitに対するジェネリック関数」レッスンにはどのくらい時間がかかりますか？

ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このMojo Academyレッスンでコードを書いて実行できますか？

はい。すべてのMojo Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

← Mojo Academyに戻る