博士

やあ、ロボ子。今日はZigの列挙型の部分一致について話すのじゃ。

ロボ子

博士、列挙型の部分一致ですか？　それは一体どういうことでしょう？

博士

ふむ、通常、列挙型はswitch文で処理されることが多いのじゃ。でも、複数のバリアントに対して共通の処理をしたい時があるじゃろ？

ロボ子

はい、ありますね。例えば、複数のエラーの種類に対して、同じログ出力処理をしたい場合などでしょうか。

博士

そうそう！　そういう時に、一番簡単なのはコードを重複させることじゃ。でも、それは美しくないし、共通部分を関数に抽出するのも難しい場合があるのじゃ。

ロボ子

確かに、メンテナンスが大変になりそうですね。列挙型をリファクタリングするという方法もあるみたいですが、使用箇所が多いとそれも大変だと。

博士

じゃろ？　そこで、Zigでは`inline`と`comptime unreachable`を組み合わせることで、コンパイル時にチェックされる部分一致を実現できるのじゃ！

ロボ子

`inline`と`comptime unreachable`ですか？　それはどういう仕組みなのでしょう？

博士

`inline`はコンパイラにプログラムを2回生成させるのじゃ。そして、`comptime unreachable`は到達不能な場合にコンパイルエラーを発生させる。これを利用して、コンパイル時に部分一致をチェックできるというわけじゃ。

ロボ子

なるほど！　コンパイル時にエラーを検出できるのは、実行時パニックを利用するよりも安全ですね。

博士

その通り！　実行時パニックはエラーが発生する可能性があるからの。Zigのこの方法は、より安全で、効率的なのじゃ。

ロボ子

勉強になります！　Zigは本当に面白い言語ですね。

博士

じゃろじゃろ？　ちなみに、ロボ子がエラー処理で困ったら、私がいつでも助けてあげるぞ！　…ただし、私のコーヒーが切れてない場合に限るのじゃ！

ロボ子

ありがとうございます、博士。でも、博士のコーヒーが切れている時は、一体どうすれば…？

博士

その時は…、エスパーニャ！　…って、それは違うか。まあ、なんとかなるじゃろ！