Rust中值的三种丢弃方式：底层原理与所有权规则问询

先看你给出的示例代码：

let s = String::from("Hello, Rust!");

drop(s);         // method 1
(|_| ())(s);     // method 2
{ s };           // method 3

下面逐个拆解三种场景的底层逻辑，以及它们的共性和差异：

方法1：显式调用drop()函数 #

std::mem::drop是Rust标准库专门设计的显式触发值丢弃的工具，它的核心定义非常简单：

pub fn drop<T>(_x: T) {}

• 调用drop(s)时，s的所有权会被完整转移到drop函数的参数_x上；
• 当drop函数执行完毕，参数_x的作用域结束，Rust会自动调用该值的Drop trait实现（对String来说，就是释放它在堆上占用的内存）；
• 这是官方推荐的显式丢弃方式，语义清晰，完全符合所有权规则——调用后原变量s彻底失效，编译器会直接阻止后续对s的任何访问。

方法2：通过匿名闭包转移所有权 #

(|_| ())(s)本质是手动模拟了drop函数的逻辑：

• 首先定义了一个匿名闭包：|_| ()表示接收任意参数（并忽略它），函数体是空表达式；
• 调用闭包时，s的所有权被转移到闭包的参数中；
• 闭包执行完成后，其参数的作用域结束，Rust自动触发Drop实现完成资源释放。
• 这种方式和drop(s)的底层逻辑完全一致，只是用自定义闭包替代了标准库函数，实际开发中几乎不会这么写——语义模糊，可读性差，纯粹是理解所有权转移的示例。

方法3：通过代码块创建临时作用域 #

{ s }是利用Rust的作用域规则来触发丢弃：

• 大括号是一个独立的代码块，s被移动到这个块的作用域内（因为String没有实现Copy trait，所以是移动而非复制）；
• 当代码块执行完毕，块内的作用域终止，s的所有权在这里结束，Rust自动调用Drop trait释放资源；
• 这种方式的核心是利用“作用域结束时自动丢弃变量”的规则，适合需要把资源清理逻辑和其他代码分组的场景。

三种方式的对比 #

共性总结 #

三种方式最终都是通过所有权转移，让值进入一个短暂的作用域，当作用域结束时触发Drop trait的调用，完成资源释放；且执行后原变量s都会失去所有权，编译器会严格禁止后续对s的访问，从根源避免悬垂指针等内存安全问题。

内容的提问来源于stack exchange，提问作者Walentyn