Rust 中实际移动变量的是什么？

Question

我从未尝试过 C、C++、Go 等语言，所以我决定从 Rust 开始，我已经了解了一些堆栈和堆是什么，但是，移动变量的真正含义是什么？ 文档说它不是浅拷贝：

...听起来可能像是在进行浅拷贝。但因为 Rust 也会使第一个变量无效，而不是称其为浅拷贝，所以它被称为移动。在此示例中，我们会说 s1 已移至 s2...

例如：

 let s1 = String::from("hello");
 let s2 = s1;

 println!("{}, world!", s1);

文档中提到“无效”时意味着什么。这是否意味着 Rust 使 s1 无效并将 s1 中的值分配给 s2，所以... s1 > 不存在？ o 它有什么价值吗？，这主要是我不明白的，它真的能打动它吗？或者内存中 s1 是否还有任何值？

据我所知，这个检查发生在编译时，所以它让我认为 s1 实际上不存在于内存中，只有 s2，因为 s1 确实被移动了到s2。

显然，这种情况发生在大小未知的值（即堆中）上。

我希望你能帮助我理解。 :)

Answer 1

对于您提出的几乎每个是/否问题，答案都是“是”和“否”。我们可以在两个不同的上下文中回答这个问题：语言的语义，以及编译器对代码的处理方式。

从语义上讲，将值移至 s2 后，将无法再读取 s1。它可以初始化为新的String值，然后再次使用。从某种意义上说，“未初始化”和“移出”实际上是相同的状态，因为您必须先为变量分配一些内容，然后才能使用它。 （它们在编译器给出的消息中有点不同，并且结构的子值可以移动，但不能取消初始化。）

编译器将对此做什么？嗯，这可能取决于许多因素，包括（但不限于）编译器的版本和所选的优化级别。如果编译器愿意，它可以完全消除移动，因此s2实际上只是与s1相同的内存区域的另一个名称。它还可以在堆栈上为 s2 提供自己的内存区域，并将 s1 的内容位块传输到其中。关于编译器功能的任何具体答案都必须通过对编译环境、编译器版本和提供给编译器的标志的完整描述来限定。

显然，这种情况发生在大小未知的值（即堆中的值）上。

任何拥有的（和未固定的）值都可以移动，无论它是否管理堆上的分配。通常，堆分配本身不会移动。指向堆分配的指针被移动到新位置。 （例如，移动 String 或 Vec 不会更改存储实际内容的内存位置。指向该数据的指针只是易手。）

Answer 2

文档中说“无效”是什么意思？这是否意味着 Rust 使 s1 无效并将 s1 中的值分配给 s2，所以... s1 > 不存在？

这意味着您作为开发人员无法再访问 s1。因此，从您的角度来看，您可以认为 s1 不存在。

有什么价值吗？

不，因为它不存在（从您的角度来看）。

它真的能感动吗？

取决于程序和编译器。从概念上讲，确实如此。

或者s1在内存中还有值吗？

即使不谈论移动，一般来说变量可能永远不会在内存中！这取决于优化器做什么。

此检查发生在编译时

是的，它发生在编译时。

所以这让我认为s1实际上不存在于内存中，只有s2，因为s1实际上被移动到>s2.

不，这要看情况。它们两者、其中之一或都不存在于内存、缓存、寄存器中……要知道，您需要检查特定情况。