问混淆不可达模式错误
EN

Stack Overflow用户

提问于 2014-05-22 14:44:20

回答 1查看 2.1K关注 0票数 8

在使用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个变体时，就更容易发现它了。

rust

回答 1

Stack Overflow用户

回答已采纳

发布于 2014-05-22 14:44:20

这实际上是目前已知的问题；它不是错误本身，而是实现的质量问题。

这个问题归结为无可辩驳的匹配，即：

match variable {
    1 => 2,
    i => 2 * i
}

这里，i是一个无可辩驳的匹配，这意味着它总是匹配的，不管variable的值如何。

嗯，这个奇怪的报告也有同样的问题:因为Unknown是未知的，所以它成为一个不可辩驳的匹配变量的名称！当然，这是无意的，但对于编译器来说，这是非常有意义的。

好消息是编译器在下一次尝试匹配时就开始抱怨，所以您可以很容易地发现哪一次匹配是无可辩驳的。

一个style-lint 预期将有助于解决这个问题，它将报告Unknown是一个大写不正确的变量，从而强调编译器并不认为它是枚举变量。

这个bug有很多不同的地方(请参阅重复的)，它也可能是由于不正确地导入enum而导致的，因此在范围内没有它的变体。

票数 7

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/23810091

复制

相似问题

问混淆不可达模式错误
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问混淆不可达模式错误EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问混淆不可达模式错误
EN