为什么 &Option 上的模式匹配<t>产生 Some(&T) 类型的东西？</t>

Question

我这里有一个很小的游乐场示例

fn main() {
    let l = Some(3);
    match &l {
        None => {}
        Some(_x) => {} // x is of type &i32
    }
}

我在&Option上进行模式匹配，如果我使用Some(x)作为分支，为什么x的类型是&i32 ？

Answer 1

你匹配的表达式&l的类型是&Option<i32> ，所以如果我们严格，模式应该是&None和&Some(x) ，如果我们使用这些模式， x的类型确实是i32 。 如果我们省略模式中的 & 符号，就像您在代码中所做的那样，首先看起来模式根本不应该匹配，并且编译器应该抛出类似于“预期选项，找到引用”的错误，并且确实这是编译器在 Rust 1.26 版之前所做的。

当前版本的 Rust 支持RFC 2005引入的“匹配人体工程学”，并且现在允许将枚举的引用与没有＆符号的模式进行匹配。 一般来说，如果您的匹配表达式只是一个引用，则不能将任何成员移出枚举，因此将引用与Some(x)匹配等效于与模式匹配&Some(ref x) ，即x成为引用Option的内部值。 在您的特定情况下，内部值是i32 ，即Copy ，因此您可以与&Some(x)匹配并获得i32 ，但这对于一般类型是不可能的。

RFC 的想法是让模式中的 & 符号和ref更容易正确，但我不完全相信新规则是否真的简化了事情，或者他们是否通过使事情在某些方面神奇地工作而增加了混乱案例，从而使人们更难以真正理解底层逻辑。