Rust matches!宏提示变量未使用且匹配恒为true问题排查

问题出在你对Rust模式匹配规则、matches!宏的参数语义理解有误：

• matches!(expr, pattern)宏的第二个参数是匹配模式，不是用来做相等比较的普通表达式。
• Rust模式匹配规则里，出现在模式位置的小写开头标识符，会被解析为新的局部变量绑定，用来接住匹配到的值，而不是引用外部同名变量做相等判断。

你写的matches!(&e.subject, subject_UNUSED)中，第二个位置的subject_UNUSED根本不是函数传入的那个入参，而是一个无条件匹配所有值的绑定模式——不管&e.subject是什么值，都会被绑定到这个新的临时变量上，匹配永远成功，所以谓词永远返回true。
也正因为闭包从来没有真正读取过函数传入的subject_UNUSED参数，编译器才会弹出「变量未使用」的警告。

你提到如果手写match时不写subject_UNUSED这个分支，编译器就要求枚举所有Subject变体，这刚好印证了上面的结论：你写的subject_UNUSED分支和通配符_的效果完全一致，都是匹配所有可能的输入，自然不需要再枚举其他变体。

首先给你的Subject枚举加上相等比较的派生 trait：

#[derive(PartialEq, Eq)]
pub enum Subject {
    Math,
    Programming,
    CompSci,
    Language,
    Misc,
    None
}

之后两种写法都可以正常工作：

1. 最简洁的写法，不需要绕matches!宏，直接做相等判断：

   fn subject_pred(target: Subject) -> impl FnMut(&&Entry) -> bool {
       |e| e.subject == target
   }
   

2. 如果你坚持要用matches!宏，需要加匹配守卫明确做相等比较，不能直接把变量名写在模式位置：

   fn subject_pred(target: Subject) -> impl FnMut(&&Entry) -> bool {
       |e| matches!(&e.subject, s if s == &target)
   }
   

如果想在模式位置直接匹配外部常量的值，你可以把常量命名为大写开头的形式，Rust会将大写开头的标识符解析为外部常量引用，而不是新的变量绑定。但对于函数参数这种局部变量，没有办法直接在模式位置做相等匹配，必须通过匹配守卫或者直接写相等判断实现。

内容的提问来源于stack exchange，提问作者ejovo13