解读

在国内 Rust 岗位面试中，这道题考察的是对 所有权（Ownership） 这一核心机制的理解深度。面试官希望听到：

1. 你能否准确说出“强制转移”就是 Move 语义；
2. 你是否知道哪些场景下编译器会自动 Move，哪些需要手动干预；
3. 你是否能区分 Copy trait 与 Drop trait 对 Move 的影响；
4. 你是否能在代码层面给出“强制”Move 的写法，而不是泛泛而谈。

知识点

1. Move 语义：Rust 默认对非 Copy 类型进行 Move，原变量失效。
2. Copy trait：实现了 Copy 的类型（如 i32、&str）在传参时按位复制，不会 Move；去掉 Copy 即可强制 Move。
3. Drop trait：只要类型实现了 Drop，就一定不会自动 Copy，传参即 Move。
4. 显式 Move 写法：
   • 直接传值：func(v)
   • 手动绑定：let v = v; func(v)
   • 使用 std::mem::drop 或 std::mem::ManuallyDrop 可进一步控制生命周期，但面试中只需展示“传值即 Move”即可。
5. 面试高频陷阱：
   • 把 String 当成 Copy 类型；
   • 认为 clone 是 Move；
   • 忘记 Move 后原变量不能再使用。

答案

// 1. 定义一个非 Copy 类型
struct Buffer(Vec<u8>);

// 2. 函数参数按值接收，强制 Move
fn process(b: Buffer) {
    println!("took ownership, len={}", b.0.len());
}

fn main() {
    let buf = Buffer(vec![1, 2, 3]);
    process(buf);          // 所有权被强制转移
    // println!("{:?}", buf); // 编译错误：borrow of moved value
}

要点总结：

• 不传引用 &T/&mut T，而是直接传 T，即可强制 Move；
• 若类型误实现了 Copy，可用 #[derive(Clone)] 并去掉 Copy 来确保 Move；
• Move 后原变量 不可再访问，编译器静态检查保证内存安全。

拓展思考

1. 如果面试官追问“如何在 Move 前执行额外清理”，可答：实现 Drop，在 Move 前调用 std::mem::drop 提前析构。
2. 若问“想把所有权转移给函数，但又想稍后取回”，可答：让函数 把值再返回（即所有权传出），或使用 std::mem::replace 做临时置换。
3. 在 no_std 嵌入式 场景，没有堆分配，强制 Move 可避免隐式拷贝带来的栈爆炸，体现 Rust 零成本抽象 优势。
4. 实际工程里，强制 Move 常用于 channel 发送、线程 spawn、FFI 传出指针，面试时可结合项目举例，展示“编译通过即正确”带来的可靠性收益。