如何避免模数上的匹配出现“_”情况？

Question

这闻起来很难闻：

let millis = time % 1000;
match millis {
    0..=199 => do_something(),
    200..=599 => do_something_else(),
    600..=999 => do_something_altogether_different(),
    _ => panic!("There are only 1,000 ms in a second."),
}

永远不会调用“u”大小写，因为millis是time%1000。

我如何重写它，使我只有三个分支？

理想情况下，我还想删除199/200, 599/600和999/1000/0的重复。

如果最好的解决方案不是匹配，我很乐意使用其他一些控制结构。

Answer 1

您可以修改其中一个ARM，使编译器理解它包含不可能发生的情况，方法是将其中一个范围设为无界。这可以被视为匹配版本的if链选项：

fn foo(time: u32) {
    let millis = time % 1000;
    match millis {
        0..=199 => todo!(),
        200..=599 => todo!(),
        600.. => todo!(),
    }
}

然而，我只会在代码中选择这个选项，这个代码显然和这个例子一样正确；在更复杂的情况下，我更喜欢带有\u的版本=

Answer 2

匿名用户

如果，我会使用一个简单的，因为每个案例只有一个条件，只有少量案例：

if millis < 200 {
    do_something()
} else if millis < 600 {
    do_something_else()
} else {
    do_something_altogether_different()
}

如果要使用match，也可以在其中使用If-guard：

match millis {
    x if x < 200 => do_something(),
    x if x < 600 => do_something_else(),
    _ => do_something_altogether_different(),
}

两者都删除了199/200。。。

Answer 3

Rust使用类型进行匹配，因此它不知道根据您的逻辑的边界。但你知道。

为了明确起见，您可以使用unreachable ：

表示无法访问的代码。

这在编译器无法确定某些代码不可访问时非常有用。例如：

匹配武器与保护条件。动态终止的循环。动态终止的迭代器。如果代码不可达的判断证明是不正确的，程序立即以恐慌终止！。

let millis = time % 1000;
match millis {
    0..=199 => do_something(),
    200..=599 => do_something_else(),
    600..=999 => do_something_altogether_different(),
    _ => unreachable!("There are only 1,000 ms in a second."),
}

否则，您可以认为最后一个分支是默认的：

let millis = time % 1000;
match millis {
    0..=199 => do_something(),
    200..=599 => do_something_else(),
    _ => do_something_altogether_different(),
}