为什么使用匹配时参数的顺序很重要！宏？

Question

我正在尝试将存储在结构向量中的枚举类型变量与作为参数传递给我的函数的相同类型的变量进行比较。因此，两个枚举都存储在变量中。但是，我得到了意想不到的结果。我正在使用matches!() 宏进行比较。谁能解释这种行为？

enum Foo {
    A,
    B,
}


fn main() {
    let a = Foo::A;
    if matches!(a, Foo::A) { println!("expected") }
    if matches!(a, Foo::B) { println!("not expected 1") }
    if matches!(Foo::B, a) { println!("not expected 2") }

    let b =  Foo::B;
    if matches!(a, b) { println!("not expected 3") }
}

输出：

expected
not expected 2
not expected 3

Answer 1

matches! 宏不对称：第一个操作数是要测试的表达式，第二个操作数是 pattern 以尝试匹配第一个操作数。如果不遵循此顺序，结果可能会出乎意料。

虽然前两个 matches! 格式良好并且可以满足您的期望，但第三个和第四个很可能不是您想要的。

matches!(Foo::B, a) // test `Foo::B` against pattern `a`
matches!(a, b) // test `a` against pattern `b`

要测试的表达式是字面值Foo::B，模式是一个新的标识符，第三个例子是a，第四个例子是b。由于模式只是一个标识符，它将匹配任何表达式。它与预先声明的变量a 和b 完全无关。即使b 不存在，下面的代码仍然可以编译。

let a = Foo::A;
matches!(a, b);

还要注意，这些if 语句会打印警告，因为从模式中创建了一个新变量，但并未使用。

warning: unused variable: `a`
 --> src/main.rs:7:25
  |
7 |     if matches!(Foo::B, a) { println!("not expected 2") }
  |                         ^ help: if this is intentional, prefix it with an underscore: `_a`
  |
  = note: `#[warn(unused_variables)]` on by default

另见：

• Why does match not work while PartialEq/Eq works fine?
• Why is this match pattern unreachable when using non-literal patterns?

Answer 2

感谢E_net4 the curator 提供有用的答案。我现在可以使用以下命令获得我期望的行为：

#[derive(PartialEq)]
enum Foo {
    A,
    B,
}


fn main() {
    let a = Foo::A;
    let b = Foo::B;

    let s = match a {
        n if n == b => "a matches b",
        n if n == a => "a matches a",
        _ => "no match"
    };
    println!("{}", s);
}

有输出：

a matches a