型を受け取る関数
comptime Tパラメーターでジェネリック処理を行います。
「型を受け取る関数」はCoddyKit上の無料Zig Academyレッスンです。 これはレッスン1/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはZig Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Zig Academyコースには全4レッスンが含まれています。
Zig流のジェネリック
Zigにはジェネリック専用の構文がありません。その代わり、関数がパラメーターの1つとしてtypeを受け取り、ほかの値と同じように使えます。✨
型パラメーターはcomptime
コードをビルドするときに型が分かっていなければならないため、型パラメーターには必ずcomptimeを付けます。呼び出し側は実際の型を渡します。
fn first(comptime T: type, items: []const T) T {
return items[0];
}typeは実際の型
Zigではtypeという語自体が型です。そのため、パラメーターをtypeとして宣言すると、あらゆる型を受け取れることを意味します。
comptime T: typeシグネチャでTを使う
型にTという名前を付けると、それ以降のパラメーターや戻り値の型に使い、それらをすべて関連付けられます。
fn max(comptime T: type, a: T, b: T) T {
return if (a > b) a else b;
}ジェネリック関数を呼び出す
呼び出すときは、まず具体的な型を渡し、その後に通常の引数を渡します。ここでは2つのi32値の大きいほうを求めています。
const m = max(i32, 3, 9);1つの関数で多くの型に対応する
使用する演算をサポートしている型なら、同じ関数で処理できます。i32をf64に置き換えてもコードはそのまま使えます。
const f = max(f64, 1.5, 2.5);Zigは呼び出しごとに特殊化する
渡された型ごとに、Zigは関数専用のコピーを生成します。これはmonomorphizationと呼ばれ、コンパイル時に行われます。
本体はジェネリックのまま
呼び出し時には型を明示しますが、本体はジェネリックのままです。Zigは、使用する演算が渡されたTに対して有効かを確認します。
typeでは隠れたボックス化がない
実際のtypeを渡すことは、実行時ポリモーフィズムとは異なります。vtableもボックス化もなく、ビルド時に選ばれた具体的なコピーだけが存在します。
エラーはコンパイル時に現れる
greater-than演算子を持たない型でmaxを呼び出すと、Zigは実行時ではなく、そのspecializationをビルドするときに問題を報告します。
型パラメーターを先に置く
慣例として、comptimeの型パラメーターは値のパラメーターより前に置きます。これにより、データを記述する前に型が分かります。
fn clone(comptime T: type, value: T) T {
return value;
}確認問題
Zigで多くの型に対応する関数を作りたいとします。型パラメーターはどのように宣言しますか？
まとめ
comptime T: typeパラメーターを渡すと、関数をジェネリックにできます。Zigは実際に使用した型ごとに、特殊化されたバージョンをビルドします。🎯
AI チューターと学ぶ Zig — 無料
ブラウザでリアルコードを書いて実行し、24/7 の AI チューターから瞬時にサポートを受け、ウェブまたはアプリで続きから学習できます。
- コース
- 30
- レッスン
- 120
よくある質問
「型を受け取る関数」レッスンは無料ですか？
はい。「型を受け取る関数」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Zig Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Zig Academyコースには全4レッスンが含まれています。
「型を受け取る関数」で何を学びますか？
comptime Tパラメーターでジェネリック処理を行います。 ブラウザで直接実行するハンズオンコードでZig Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
Zig Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのZig Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン1/4です。
「型を受け取る関数」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このZig Academyレッスンでコードを書いて実行できますか？
はい。すべてのZig Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。