Rust 中的左值上下文到底是什么？

Question

根据the documentation，我们有左值和右值上下文。我如何知道表达式是否在左值上下文中？它是否仅由赋值中的表达式一侧确定？

更具体地说，我需要了解 DerefMut 何时用于取消引用以及何时使用 Deref？与Index 和IndexMut 相同。

Answer 1

您在这里提出了两个不同的问题。

更具体地说，我需要了解，何时使用DerefMut 进行取消引用，何时使用Deref？与Index 和IndexMut 相同。

这仅取决于结果值是否可变使用。使用属于这些特征的运算符（[] 和 *）的表达式始终是左值表达式。

---

现在你的问题更复杂：

我如何知道表达式是否在左值上下文中？它是否仅由赋值中的表达式一侧确定？

表达类别

回顾一下：什么是右值/左值表达式？

• 右值表达式表示一个值
• 左值表达式表示内存位置中的值（或者换句话说：表示存在某处/有家的值）

哪些表达式是左值表达式，哪些是右值表达式？只有几个l值表达式：

• “名称”（或者更确切地说：路径）引用变量（本地、函数参数或静态）
• 索引表达式（例如foo[3]）
• deref 表达式（例如*foo）
• 字段访问表达式（例如foo.bar）

---

上下文类别

右值/左值上下文呢？这些上下文是表达式内部的“槽”。例如，表达式“模”（%）有两个槽，第一个和第二个操作数：⟨first⟩ % ⟨second⟩。现在这些上下文也有两种不同的风格：

• 右值上下文是一个“槽”，其中需要一个值
• 左值上下文是一个“槽”，需要一个内存位置

那么哪些槽是右值，哪些是左值上下文？幸运的是，l值上下文的数量非常有限，所以这里有一个完整的列表：

• （复合）赋值的左侧（例如 ⟨lvalue context⟩ = ...; 或 ⟨lvalue context⟩ += ...;）
• 一元借位的操作数（&⟨lvalue context⟩ 和 &mut ⟨lvalue context⟩）
• 当某物绑定到出现ref 的模式时（例如let ref x = &⟨lvalue context⟩;）

---

在上下文 Y 中使用表达式 X

让我们看看我们可以在哪些上下文中使用哪些表达式：

• [R in R] rr值上下文中的值表达式：没问题，表达式用作值（例如，赋值右侧的文字3）
• [L in L] ll值上下文中的值表达式：没问题，表达式用作内存位置（例如，赋值左侧的变量名）
• [L in R] lr值上下文中的值表达式：因为context 需要一个值，而表达式表示“内存位置中的值”，我们可以只使用表达式的值。所以：一切都很好（例如，赋值右侧的变量名）。所以我们可以看到：左值表达式比右值表达式更有价值。
• [R in L] rl值上下文中的值表达式：这里是它变得有问题的地方。上下文需要一个内存地址，但表达式只表示一个值。有时，Rust 会进行“右值提升”以使这种情况发挥作用。这意味着 Rust 会自动将表达式的值放入新的内存位置（临时变量）并在上下文中使用该位置。例如，&mut 3 因上述促销而起作用。此促销目前不适用于 seems to be a bug in either the documentation or the compiler 的作业。

Answer 2

DerefMut/Deref/Index/IndexMut 由 mutability 决定，这是一个与 lvalue/rvalue context 不同的问题。可变性对右值上下文没有意义。

事实上，所有四个特征都要求操作数 self 在左值上下文中，因为它们都将 &Self 或 &mut Self 作为参数。

DerefMut/IndexMut 在需要可变性时使用，例如

*here = ...;
here[i] = ...;

&mut here
&mut here[i]

here.call_some_mut_method(...)
here[i].call_some_mut_method(...)

---

左值上下文是您想知道表达式的地址（内存位置/引用/...）的地方，而不是它的值。需要左值的地方。

赋值或复合赋值表达式的左操作数是左值上下文，...

here = ...;

here += ...;

... 一元借位的单个操作数也是如此。

&here

&mut here

let ref ... = here;
// Note: equivalent to `let ... = &here;`

let ref mut ... = here;
// Note: equivalent to `let ... = &mut here;`

注意：这显示了一个不可变的左值上下文

如果进行了 ref 绑定，则匹配表达式的判别式或主题可能是左值上下文，否则为右值上下文。

match here {
    Ok(ref ...) => ...,
    Err(ref mut ...) => ...,
}