nullとundefinedの違い

Zigにはnullとundefinedの両方がありますが、同じものではありません。混同すると、分かりにくいバグの典型的な原因になります。

nullは実際に定義された状態で、optionalが意図的に何も保持していないことを示します。意味があり、チェックできる値です。

undefinedは、格納領域は存在するものの内容が不定であることを表します。読み取る前に実際の値を書き込むことを保証する必要があります。

nullを代入できるのはoptional型だけです。不在は型の一部ではないため、通常のi32がnullを受け入れることはありません。

一方、ほぼすべての変数はundefinedで開始できます。先にメモリだけ確保し、すぐ後で値を格納する場合に使います。

optionalとnullを比較するのは完全に安全で、想定された操作です。これが値の不在を検出する方法です。

まだundefinedである値を読み取るのは不正な動作です。安全ビルドでは、誤りを明らかにするため0xAAバイトで埋められることさえあります。

undefinedは契約だと考えてください。使用前に代入することを自分に約束するのです。破ると、意味のない予測不能なデータを読み取ることになります。

よくある慣用句は、バッファーをundefinedとして宣言し、その直後に読み取りやフォーマット呼び出しの結果を格納する方法です。

本当にoptionalであることを表すにはnullを使います。すぐに上書きする冗長な初期化だけを省略したい場合に、undefinedを使います。

nullは「値が存在するか」に答え、undefinedは「メモリにまだ書き込まれていないか」に答えます。両者を分けて扱うことが安全につながります。

var buf: [8]u8 = undefined;と宣言し、書き込む前にbuf[0]を読み取った場合、それは何ですか？

null（optionalsで使う実在する不在値）と、undefined（先に書き込む必要がある未初期化メモリ）を区別しました。2つの概念を、決して混同しないようにしましょう。🧠