Rust 007 パターンマッチ - 値の構造で分岐する

第7章へようこそ。今日のテーマはパターンマッチです。第2章のOptionでmatchを使ってSomeとNoneに分岐しました。第3章のResultでもmatchでOkとErrに分岐しました。第6章のenumでも、バリアントの判定にmatchを使うと説明しました。これまで道具として使ってきたmatchの背後には、「パターン」という仕組みがあります。パターンとは、あたいの構造を記述する式です。matchは値とパターンを照合し、一致したパターンに対応する処理を実行する。今日はこのパターンという仕組みを体系的に扱います。パターンが使える場所はmatch式だけではない。let束縛、関数の引数、forループにもパターンが現れる。パターンはRustの構文全体に組み込まれた仕組みです。