2. 所有权与移动语义面试题精讲

在Rust面试中，所有权与移动语义几乎是必考内容。面试官通常不会只问“什么是所有权”，而是通过一段看似简单的代码，观察你能否准确判断变量在何时失效、何时发生移动、何时发生拷贝，以及编译器为什么会拒绝某段代码。本节围绕典型面试题，把规则、语义和答题方式串成一条线。

一、先建立判断顺序：所有权规则如何落地

Rust所有权有三条基本规则：每个值有且只有一个所有者；同一时刻只能有一个所有者；所有者离开作用域时，值被丢弃。面试中真正有用的是把这三条规则转化为可操作的判断顺序：

  1. 先看值的类型是否实现了Copy。如果实现了，赋值或传参默认发生拷贝，原变量仍然可用。
  2. 如果没有实现Copy，再看操作是“移动”还是“借用”。直接赋值、传参、返回、放入容器通常发生移动。
  3. 移动之后，原变量在编译期被视为未初始化，不能再读取或使用，但可以重新赋值使其恢复可用。
  4. 如果只发生借用，则要检查借用规则：可变借用独占，不可变借用可共享，且不能与可变借用同时存在。

这个顺序能覆盖大多数面试题。例如下面这段代码：

let s1 = String::from("rust");
let s2 = s1;
println!("{}", s1);

面试官问“哪里出错”。答案是String未实现Copy，let s2 = s1;发生移动，s1失效，因此println!使用s1会编译失败。若把String换成i32，则因为i32实现了Copy，赋值是拷贝，s1仍可用。

二、移动语义的本质：所有权转移而非内存复制

很多候选人会背“移动就是浅拷贝加失效”，但面试官更想听到的是：移动把堆上数据的 ownership 从源变量转给目标变量，源变量不再负责释放，因此不会出现 double free。以String为例，它由栈上的指针、长度、容量三部分组成，堆上存放实际字符。移动时复制的是这三元组，堆数据不复制，但源变量被标记为不可用。

面试中常考“移动发生在哪些时机”。可以归纳为：变量赋值、函数传参、函数返回、结构体或枚举字段初始化、vec!等容器插入、模式匹配绑定。下面这段代码展示了传参与返回：

fn take(s: String) -> String {
    s
}

let a = String::from("hello");
let b = take(a);
// println!("{}", a); // 编译错误：a 已被移动
println!("{}", b);

如果面试官追问“为什么函数返回不算移动后失效”，要说明：take内部参数s被返回，所有权继续转移给调用方赋给的b，所以b有效，而a在调用时已经移动。

三、Copy语义：哪些类型可以拷贝，哪些不能

Copy是一个标记 trait，表示按位复制即可安全地产生新值。实现了Copy的类型必须同时实现Clone。常见实现Copy的类型包括所有整数、浮点数、布尔、字符、共享引用&T，以及所有字段都实现Copy的元组和数组。而String、Vec<T>、Box<T>、File等拥有堆资源或需要析构的类型不实现Copy。

面试题常把Copy和Clone放在一起对比。关键区别是：Copy是隐式、按位、无自定义逻辑的复制；Clone是显式调用.clone()，可以执行深拷贝或自定义逻辑。下面这个例子能直接暴露理解深度：

#[derive(Clone)]
struct Person {
    name: String,
}

let p1 = Person { name: String::from("Alice") };
let p2 = p1.clone();
println!("{}", p1.name); // 合法，clone 产生新值
let p3 = p1;
// println!("{}", p1.name); // 非法，Person 未实现 Copy，发生移动

如果面试官问“能不能给Person加Copy”，答案是：不能，因为字段String未实现Copy，而Copy要求所有字段都实现Copy。强行实现会破坏所有权模型，编译器会拒绝。

四、部分移动：结构体字段被逐个移走

部分移动是面试中区分度较高的一类题。当结构体的某个字段被移动后，整个结构体不能再作为整体使用，但未被移动的字段仍可单独访问。看下面代码：

struct User {
    name: String,
    age: u32,
}

let u = User { name: String::from("Bob"), age: 30 };
let name = u.name;          // 移动 name 字段
println!("{}", u.age);      // 合法：age 是 Copy，未被移动
// println!("{:?}", u);     // 非法：u 已被部分移动
// println!("{}", u.name);  // 非法：name 已被移动

判断依据是：u.name被移走后，u不再是完整可用的值，不能整体传递或整体打印；但u.age是u32，实现了Copy，访问它只是拷贝，不违反规则。面试中若被问到“部分移动后能否重新赋值恢复”，可以回答：可以，对已移动字段重新赋值后，结构体可再次整体使用，例如u.name = String::from("Carol");之后u恢复完整。

五、所有权转移时机与常见陷阱

面试题往往把移动藏在循环、闭包、模式匹配和容器操作中。以下陷阱出现频率最高：

  • 循环中移动：在for循环里把集合元素移出，若集合本身还要继续使用，会编译失败。应改用引用迭代for x in &v，或使用v.iter().cloned()。
  • 闭包捕获：move闭包会把捕获变量所有权移入闭包，闭包外不能再使用这些变量。若只需读取，应使用不可变借用闭包。
  • 模式匹配：对非Copy类型做match时，绑定方式可能移动字段。使用ref或匹配引用可避免移动。
  • 索引与解引用：v[0]对Vec<String>不能直接移出，因为索引返回引用；需要v.remove(0)或v.swap_remove(0)。
  • 方法调用自动借用：s.len()只借用s，不移动；但s.into_bytes()会消耗s。要区分方法签名中的self、&self、&mut self。

下面是一道综合题，建议在面试中按“类型→操作→结果”三步回答：

fn main() {
    let v = vec![String::from("a"), String::from("b")];
    let first = &v[0];
    let second = v[1].clone();
    println!("{} {}", first, second);
    let moved = v;
    // println!("{:?}", v); // 非法
    println!("{:?}", moved);
}

分析：first是不可变借用，second通过clone得到新String，二者都不移动v；let moved = v;把整个Vec移动给moved，此后v失效。若面试官追问“first在moved之后还能用吗”，答案是不能，因为v被移动后，借用也随之结束，编译器会拒绝在移动后继续使用first。

六、答题模板与检查清单

面对所有权面试题，可以用一个稳定的四步模板：第一，指出值的类型是否实现Copy；第二，判断当前操作是移动、拷贝还是借用；第三，说明移动后哪些变量失效、哪些字段仍可用；第四，给出修复方式，如clone、传引用、调整作用域或重新赋值。这个模板能避免“凭感觉答对但说不清原因”。

下面这份检查清单可直接用于面试前的快速复盘：

检查项判断依据典型修复
类型是否 Copy所有字段是否都实现 Copy改用 Clone 或传引用
操作是否移动赋值、传参、返回、字段初始化提前 clone 或调整所有权路径
是否部分移动结构体某字段被移出重新赋值该字段或改用引用
借用是否冲突可变借用与共享借用是否重叠缩短借用作用域或使用内部作用域
方法是否消耗 self签名是 self 还是 &self改用不消耗所有权的方法

最后提醒一个高频陷阱：Copy与Drop不能同时实现。一个类型若实现了Drop，就不能再实现Copy，因为它需要自定义析构逻辑，按位复制会导致资源被重复释放。面试中若被问到“为什么String不是Copy”，从“它拥有堆内存且实现了Drop”这个角度回答，比单纯说“因为它是堆分配”更准确。

掌握以上判断顺序和模板后，大多数所有权面试题都能被拆解为“类型能力、操作语义、失效范围、修复方案”四个问题。真正拉开差距的，不是背出规则，而是能在具体代码中准确指出哪一行移动、哪一个变量失效、为什么编译器拒绝，以及如何在不破坏所有权模型的前提下完成同样的功能。

← 上一章 📖 返回目录 下一章 →