上級

E0004: non-exhaustive patterns の原因と直し方

match式は、値が取りうるすべてのパターンを網羅していなければコンパイルできません。一部のケースだけを書いて残りを省略すると、E0004エラーになります。

エラーメッセージの読み方

error[E0004]: non-exhaustive patterns: `Level::Advanced` not covered

E0004

エラーコード — `rustc --explain E0004` で詳しい説明が見られます

non-exhaustive patterns: `Level::Advanced` not covered

詳細メッセージ — 何が問題だったか

このエラーが出る典型パターン

 1  enum Level { Beginner, Intermediate, Advanced }
 2  fn main() {
 3      let level = Level::Intermediate;
 4      let name = match level {
 5          Level::Beginner => "beginner",
 6          Level::Intermediate => "intermediate",                                       
                                                  ^
 7      };
 8      println!("{}", name);
 9  }

 1  enum Signal { Red, Yellow, Green }
 2  fn main() {
 3      let signal = Signal::Yellow;
 4      let action = match signal {
 5          Signal::Red => "stop",
 6          Signal::Yellow => "caution",                               
                                         ^
 7      };
 8      println!("{}", action);
 9  }

 1  enum Weather { Sunny, Rainy, Cloudy }
 2  fn main() {
 3      let w = Weather::Rainy;
 4      let msg = match w {
 5          Weather::Sunny => "bring sunscreen",
 6          Weather::Rainy => "bring umbrella",                                           
                                                   ^
 7      };
 8      println!("{}", msg);
 9  }

 1  enum Size { Small, Medium, Large }
 2  fn main() {
 3      let s = Size::Medium;
 4      let label = match s {
 5          Size::Small => "S",
 6          Size::Medium => "M",                            
                                    ^
 7      };
 8      println!("{}", label);
 9  }

 1  enum Role { Admin, Editor, Viewer }
 2  fn main() {
 3      let r = Role::Editor;
 4      let perm = match r {
 5          Role::Admin => "full",
 6          Role::Editor => "write",                                
                                        ^
 7      };
 8      println!("{}", perm);
 9  }

よくある誤解

「よくあるパターンだけ書いておけば、その他の値はスキップされて次に進むはず」という思い込みは誤りです。matchは網羅性チェックが必須で、想定外の値を無視したい場合でも_（ワイルドカード）のアームを明示する必要があります。

まとめ

E0004: non-exhaustive patternsは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0782: trait objects must include the `dyn` keyword の原因と直し方トレイトを直接型として使おうとすると、コンパイル時のサイズが確定できないためエラーになります。
• E0277: doesn't implement `std::fmt::Display` の原因と直し方自作の構造体を{}（Display）で出力しようとすると、Displayトレイトを実装していない限りE0277エラーになります。