型はcomptime値である
型を他の値と同じように扱います。
「型はcomptime値である」はCoddyKit上の無料Zig Academyレッスンです。 これはレッスン3/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはZig Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Zig Academyコースには全4レッスンが含まれています。
型は単なる値である
Zigでは型は特別な構文ではなく、格納、受け渡し、返却ができる通常の値です。ただし、コンパイル時にだけ存在します。🧠
型の型はtypeである
すべての型はtype型です。つまり、u8は型がtypeである値であり、5が整数型の値であるのと同じです。
const T: type = u8;型をconstに束縛する
定数を使って型に名前を付けられます。ここではNumberがi32の別名になり、型が求められる場所で使用できます。
const Number = i32;
const x: Number = 7;型を関数に渡す
関数は型をcomptimeパラメーターとして受け取れます。引数は実際の値であり、プログラムのコンパイル中に評価されます。
fn sizeOf(comptime T: type) usize {
return @sizeOf(T);
}関数から型を返す
型は値なので、関数から返すことができます。戻り値の型は単にtypeであり、本体は結果として型を生成します。
fn Pair() type {
return struct { a: u8, b: u8 };
}これがジェネリックの仕組み
型の受け渡しと返却が、Zigのジェネリックの基盤です。特別なジェネリック構文はなく、型の値を受け渡しているだけです。
型はコンパイル時だけ存在する
type型の値はコンパイル中だけ存在します。型をランタイム変数に格納したり、入力から読み取ったりすることはできません。
組み込み機能で型を調べる
組み込み機能は型をデータとして扱います。@sizeOfは型の値を受け取り、その型のインスタンス1つが占めるバイト数を返します。
const bytes = @sizeOf(u32);型が等しいか比較する
型は値なので、コンパイル時に比較できます。式T == u8がtrueになるのは、Tが正確にu8である場合だけです。
コンパイル時に型を選択する
型に応じて分岐し、別の型をコンパイル中に選択できます。これにより、1つの関数で受け取った型に合わせてbehaviorを変えられます。
関数の結果から型に名前を付ける
関数は型を返せるため、その結果をbindして定数に格納し、組み込みの型名と同じように使えます。
const Point = Pair();
const p: Point = .{ .a = 1, .b = 2 };確認問題
Zigでは、型u8自体の型は何ですか？
まとめ
Zigの型は、type型のcomptime valuesです。型に名前を付け、渡し、返し、比較できることが、まさにジェネリックの基盤になります。🎯
よくある質問
「型はcomptime値である」レッスンは無料ですか？
はい。「型はcomptime値である」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Zig Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Zig Academyコースには全4レッスンが含まれています。
「型はcomptime値である」で何を学びますか？
型を他の値と同じように扱います。 ブラウザで直接実行するハンズオンコードでZig Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
Zig Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのZig Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン3/4です。
「型はcomptime値である」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このZig Academyレッスンでコードを書いて実行できますか？
はい。すべてのZig Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。
このコースのすべてのレッスン
- コンパイル時と実行時
- comptimeパラメーターと値
- 型はcomptime値である
- inline forとループ展開