Rust match穷尽性检查问题：带守卫分支未被编译器识别

作为Rust初学者，我认可match表达式的穷尽性检查机制，但遇到了编译器的"误判"：以下代码逻辑上已经覆盖了i32类型的所有取值情况，却因为带守卫（guard）的分支不被计入穷尽性检查，触发了E0004错误，该如何处理？

代码示例 #

fn main() {
    let my_int = -29;
    match my_int {
        x if x < 10            => {println!("Foo")},
        x if x >= 10 && x < 20 => {println!("Bar")},
        x if x >= 20           => {println!("Baz")},
    }
}

编译器错误信息 #

error[E0004]: non-exhaustive patterns: `_` not covered
 --> src/main.rs:3:11
  |
3 |     match my_int {
  |           ^^^^^^ pattern `_` not covered
  |
= note: the matched value is of type `i32`
= note: match arms with guards don't count towards exhaustivity
help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  |
6 ~         x if x >= 20 => {println!("Baz")},
7 ~         _ => todo!(),
  |

解决方法 #

方法一：添加显式兜底分支 #

编译器无法分析守卫条件的逻辑覆盖范围，所以必须显式添加一个兜底分支。如果确定前面的分支已经覆盖所有情况，可以用unreachable!()宏标记，既满足编译器的穷尽性要求，又能在逻辑出错时 panic 提示：

fn main() {
    let my_int = -29;
    match my_int {
        x if x < 10            => println!("Foo"),
        x if x >= 10 && x < 20 => println!("Bar"),
        x if x >= 20           => println!("Baz"),
        _ => unreachable!("所有i32取值已被前面的分支覆盖"),
    }
}

方法二：改用范围模式（推荐） #

Rust支持直接用范围作为匹配模式，这种模式是编译器可以分析的，能自动识别穷尽性，不需要依赖守卫：

fn main() {
    let my_int = -29;
    match my_int {
        i32::MIN..=9 => println!("Foo"),
        10..=19 => println!("Bar"),
        20..=i32::MAX => println!("Baz"),
    }
}

这种写法不仅更简洁，还能让编译器准确判断分支是否穷尽，从根源上避免这个错误。

内容的提问来源于stack exchange，提问作者Umberto Fontanazza