`&` 和 `ref` 有什么区别？

Question

我了解& 的工作原理，但那和ref 有什么区别？它们可以互换吗？

我找到的唯一信息（因为在 Google 上搜索符号不太好用）是 this page on Rust By Example，但它并没有解释两者之间的区别。 The Book 信息量不是很大，ref 仅在 Patterns 章节中列出。但似乎ref 也在该上下文之外使用。

那么，ref 有什么用，和& 有什么区别？

Answer 1

ref 在模式中用于绑定对 左值 的引用（左值是您可以获取地址的值，或多或少）。

了解模式从正常表达式“倒退”很重要，因为它们习惯于解构值。

这是一个简单的例子。假设我们有这个：

let value = 42;

我们可以通过两种方式绑定对value 的引用：

let reference1 = &value;
let ref reference2 = value;

在第一种情况下，我们使用&作为运算符来获取value的地址。在第二种情况下，我们使用ref 模式来“解构”一个左值。在这两种情况下，变量的类型都是&i32。

& 也可以在模式中使用，但它的作用恰恰相反：它通过取消引用来解构引用。假设我们有：

let value = 42;
let reference = &value;

我们可以通过两种方式取消引用reference：

let deref1 = *reference;
let &deref2 = reference;

这里，deref1 和 deref2 的类型都是 i32。

但是，并不总是可以用此处所示的两种方式编写相同的表达式。例如，您不能使用& 来引用存储在枚举变量中的值：您需要匹配它。例如，如果你想引用Some中的值，你需要写：

match option {
    Some(ref value) => { /* stuff */ }
    None => { /* stuff */ }
}

因为在 Rust 中没有办法，您可以使用 & 运算符来访问该值。