0Pricing
Zig Academy · レッスン

コンパイル時の検証と@compileError

わかりやすいメッセージでビルドを失敗させます

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

実行前に間違いを検出する

Zigでは、コードのコンパイル中に不正な使い方を拒否できます。組み込みの @compileError は、指定したメッセージを表示してビルドを停止します。🛑

明確なメッセージで失敗させる

@compileError は comptime の文字列を受け取り、コンパイルを中止します。指定したテキストがそのまま表示されるため、呼び出し側は何が問題だったかを把握できます。

@compileError("this type is not supported");

ジェネリック関数をガードする

comptime 分岐の中で、望ましくない型を拒否できます。ここでは整数だけが通過し、それ以外は呼び出し箇所で @compileError に到達します。

if (@typeInfo(T) != .Int) {
    @compileError("T must be an integer");
}

エラーは呼び出し側を指す

comptime のチェックは関数がインスタンス化されるときに実行されるため、error は誤った型が実際に渡された場所に表示されます。

comptimeで事実をアサートする

単純な不変条件には、comptime assert を使います。条件が false の場合、実行時の assert と同様に、ただしより早くビルドを停止します。

comptime std.debug.assert(@sizeOf(T) <= 8);

宣言の有無を確認する

@hasDecl を使うと、呼び出す前に型がメソッドや定数を提供していることを確認できます。提供していなければ、明確なエラーにできます。

if (!@hasDecl(T, "init")) {
    @compileError("T needs an init function");
}

フィールドの有無を確認する

同様に、@hasField はStructに指定した名前のフィールドがあるかどうかを知らせます。コンパイル時に形状を検証するときに便利です。

const ok = @hasField(Config, "port");

型名からメッセージを構築する

@typeName と std.fmt を組み合わせると、問題のある型をメッセージに埋め込めます。呼び出し側に、正確で読みやすいエラーを伝えられます。

@compileError("unsupported type: " ++ @typeName(T));

文字列をコンパイル時に連結する

++ 演算子は comptime 文字列を連結します。そのため、ヒープ割り当てなしで詳細なエラーテキストを組み立てられます。

実行時コストはゼロ

これらの検証はすべてコンパイル中に行われます。正常にビルドされたプログラムには、実行時のチェックによるオーバーヘッドがありません。⚡

実行時クラッシュより優れている

comptime の検証は、起こり得るクラッシュをわかりやすいビルド時メッセージに変えます。そのため、誤用を早期に検出し、適切に説明できます。

確認問題

サポートされていない型に対して、カスタムメッセージを表示してビルドを中止したいとします。何を呼び出しますか？

まとめ

@compileError と @hasDecl や comptime assert などのチェックを組み合わせると、ビルド中に不正な使い方を拒否でき、実行時コストもゼロです。🎯

よくある質問

「コンパイル時の検証と@compileError」レッスンは無料ですか？

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

「コンパイル時の検証と@compileError」で何を学びますか？

わかりやすいメッセージでビルドを失敗させます ブラウザで直接実行するハンズオンコードでZig Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

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

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

「コンパイル時の検証と@compileError」レッスンにはどのくらい時間がかかりますか？

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

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

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

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

  1. @typeInfoによるフィールドのリフレクション
  2. @Typeによる型の構築
  3. コンパイル時の検証と@compileError
  4. comptimeによるコード生成
← Zig Academyに戻る