在 Rust 中将非引用与引用进行模式匹配有什么作用？

Question

当使用不包含引用的模式对引用进行模式匹配时会发生什么？

这是一个使用结构模式的示例：

fn main() {
    struct S(u32);
    let S(x) = &S(2);
    // type of x is `&u32`
}

这种行为让我感到惊讶，因为左侧的模式似乎与右侧的数据不匹配，这与let &S(x) = &S(2)的& s 排列不同。

看起来正在发生的事情是，当 RHS 是结构引用并且 lhs 是具有字段模式的结构模式时，字段模式中变量的类型是&F ，其中F是字段的类型。

我正在寻找的是：

• 解释预期行为的参考
• 对行为的解释足以解释除了结构之外的元组和枚举会发生什么。 例如，在let (x,) = &(2,); x的类型是i32 （更正： &i32 ）。

我在 Rust 参考或 Rust 书中找不到任何关于此的信息，但我可能错过了。

Answer 1

您遇到的行为是在 Rust 1.26 中通过“匹配人体工程学”引入的，并在其自己的 RFC中进行了描述。 简而言之，在将引用与非引用模式匹配时，默认情况下将绑定模式切换为使用ref绑定。

在你的情况下， let S(x) = &S(2)去糖let &S(ref x) = &S(2) 。 Rust 书中简要讨论了ref的“遗留”状态。

对行为的解释足以解释除了结构之外的元组和枚举会发生什么。 例如，在let (x,) = &(2,); x的类型是i32 。

这是不正确的——如果您向 Rust 询问x的类型，它会告诉您它是&i32 ，正如人们所期望的那样：

let (x,) = &(2i32,);
let () = x;
//       ^^   - this expression has type `&i32`

换句话说，适用于结构和枚举的相同绑定模式规则也适用于元组。