ジグチップ:'errdefer comptime unreachable;' はコンパイル時に以降、何も失敗しないことを保証します。これは非常に重要なパターンです。なぜなら「エラーデフェー」(エラーのクリーンアップ)はしばしば世界の特定の状態に依存し、それがそれを主張するからです。 例のユースケース:私はデータを受け取り、多数のバッファを設定し、その後バッファを交換する機能の一部を作っています。新しいバッファーを作っているので、たくさんの「エールデファー」を散らしています。 しかしバッファを入れ替えた後、その「エールデファー」が間違ってしまいます。最終的にはダブルフリーになるだろう。 バッファを入れ替える直後に「errdefer comptime unreachable」と、重要なエラーが起こらない理由を説明するコメントを入れます。 もしその後エラーが必要になったら、エラーのクリーンアップ方法を見直さざるを得ません。非常にいいです！