Rust 这个规则关于或模式到底是什么意思如果表达片段的类型与p_i｜q_i...&q；不一致，就会形成

发布于02月11日

当类型判断表情匹配e_s { a_1 => e_1, ... a_n => e_n }时，对于包含形式p_i | q_i的图案的每个匹配臂a_i，如果在其存在深度d处的e_s的片段的深度d处，表情片段的类型与p_i | q_i不一致，则图案p_i | q_i被认为是病态的.

资料来源:https://doc.rust-lang.org/stable/reference/patterns.html#or-patterns

我试图为这种不规范的情况创造一个例子，我的方法是这样的

fn main() {
    let v = 10;

    match v {
        1 | 2 => 2.0,
        3 | 4 => 4.0,
        5 | 6 => 6.0,
        _ => 0.0,
    };
}

但这是正确的，为什么不是呢？我可能就是不明白.为什么手臂或模式类型应该与表达式类型统一？或者他们所说的统一到底是什么意思？

什么是正确的例子来证明上述规则的有效性？

推荐答案

我认为这段话的意思是，匹配的对象部分和匹配条件应该始终在类型上匹配，即使您匹配对象的某些深层部分，例如，本例有2个有效分支和1个无效分支(最后)，因为类型Some(42) | Some(43)是Option<i32>，而此模式匹配类型B的Option<A>部分.

struct A(i32);
struct B(Option<A>);

fn main(){
    let b = B(Some(A(42)));
    match b {
        B(Some(A(42) | A(43))) => println!("ok 1"),
        B(Some(A(42)) | None) => println!("ok 2"),
        B(Some(42) | Some(43)) => println!("err"),
    }
}