面试题：Rust赋值运算符与所有权和借用规则的交互

在Rust中，当使用赋值运算符对包含所有权数据（如`String`）的变量进行操作时，结合所有权和借用规则，解释会发生什么情况。例如，有两个`String`类型变量`a`和`b`，执行`b = a`后，内存是如何管理的，所有权如何转移，这对后续代码的影响是什么？

25.0万热度

难度

编程语言Rust

所有权转移：
- 在Rust中，当执行b = a（其中a和b是String类型变量）时，a的所有权转移到b。这意味着a不再拥有分配给String的内存，而b现在是这块内存的所有者。
内存管理：
- String类型在堆上分配内存来存储其内容。当a的所有权转移到b时，堆上用于存储a内容的内存不会被重新分配或释放。b现在指向并管理这块内存。
- 当b超出其作用域时，Rust的内存管理系统（通过Drop trait）会自动释放堆上与b相关联的内存。
对后续代码的影响：
- 因为a已经转移了所有权，后续代码中如果尝试使用a，会导致编译错误。例如：
```
fn main() {
    let mut a = String::from("hello");
    let mut b = a;
    println!("{}", a); // 这一行会编译失败，因为a已经转移了所有权
    println!("{}", b); // 这一行正常，b现在拥有所有权并可以使用
}
```
- 编译器会报错类似于use of moved value: 'a'，提示变量a已经被转移了所有权，不能再被使用。这样可以确保内存安全，避免悬空指针或重复释放内存等问题。

星途面试题库