使用该match语句时，我遇到了来自Rust编译器的非常混乱的错误消息。
enum Name {
Known,
}
fn unreachable_pattern(n: Name) -> usize {
use Name::*;
match n {
Unknown => 1,
Known => 1,
}
}
Rust编译器抱怨无法到达的模式：
error[E0001]: unreachable pattern
--> src/main.rs:10:9
|
10 | Known => 1,
| ^^^^^ this is an unreachable pattern
|
note: this pattern matches any value
--> src/main.rs:9:9
|
9 | Unknown => 1,
| ^^^^^^^
对人类来说，真正的错误是Unknown的定义中缺少的错误，Name当您还没有40个其他变体时，更容易发现。
目前，这实际上是一个已知问题；这不是适当的错误，而是实现质量的问题。
问题归结为无可辩驳的匹配，即：
match variable {
1 => 2,
i => 2 * i
}
这i是一个无可辩驳的匹配，意味着无论的值如何，它总是匹配variable。
好吧，这个怪异的报告也有同样的问题：因为Unknown未知，它成为不可辩驳的匹配中变量的名字！当然，这是意料之外的，但是对于编译器来说，这是非常有意义的。
好消息是，一旦下一次尝试匹配，编译器就会开始抱怨，因此您可以轻松地找出哪个匹配是不可辩驳的。
期望有样式毛绒，这将有助于解决此问题，它将报告Unknown为大小写不正确的变量，从而强调编译器不会将其视为枚举变体。
此错误有很多变体（请参见重复项），它也可能是由于导入不正确的enum示例而导致的，因此在范围上没有其变体。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句