3.2 RAII on 编程那些事儿

3.2.1 跳过 Drop

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/drop_skipped.html

3.2.1 跳过 Drop

存在析构函数不会运行的情况。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug)]
struct OwnedFd(i32);

impl Drop for OwnedFd {
 fn drop(&mut self) {
 println!("OwnedFd::drop() called with raw fd: {:?}", self.0);
 }
}

impl Drop for TmpFile {
 fn drop(&mut self) {
 println!("TmpFile::drop() called with owned fd: {:?}", self.0);
 // libc::unlink("/tmp/file")
 // panic!("TmpFile::drop() panics");
 }
}

#[derive(Debug)]
struct TmpFile(OwnedFd);

impl TmpFile {
 fn open() -> Self {
 Self(OwnedFd(2))
 }

 fn close(&self) {
 panic!("TmpFile::close(): not implemented yet");
 }
}

fn main() {
 let owned_fd = OwnedFd(1);

 let file = TmpFile::open();

 std::process::exit(0);

 // std::mem::forget(file);

 // file.close();

 let _ = owned_fd;
}

Drop 并不保证总会运行。有多种情况会跳过 drop：程序崩溃或退出、带有 drop 实现的值被泄漏等。

3.2.2 互斥锁

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/mutex.html

3.2.2 互斥锁

在先前的示例中，RAII 用于管理文件描述符等具体资源。对于 Mutex，「资源」是对值的可变访问。你通过调用 lock 访问该值，它返回一个 MutexGuard，在 drop 时会自动解锁 Mutex。

3.2.3 Drop Guard

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/drop_guards.html

3.2.3 Drop Guard

Rust 中的 drop guard 是一个临时对象，在离开作用域时执行某种清理。对于 Mutex，lock 方法返回一个 MutexGuard，在 drop 时自动解锁互斥锁：

3.2.4 Drop Bomb

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/drop_bomb.html

3.2.4 Drop Bomb

用 Drop 强制不变量并检测不正确的 API 使用。「Drop bomb」在值未经显式终结就被 drop 时会 panic。

当终结操作（如 commit() 或 rollback()）需要返回 Result，而 Drop 无法返回 Result 时，常使用此模式。

3.2.5 用 forget 拆除 Drop Bomb

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/drop_bomb_forget.html

3.2.5 用 forget 拆除 Drop Bomb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::io::{self, Write};

struct Transaction;

impl Transaction {
 fn start() -> Self {
 Transaction
 }

 fn commit(self) -> io::Result<()> {
 writeln!(io::stdout(), "COMMIT")?;

 // 通过阻止 Drop 运行来拆除 drop bomb。
 std::mem::forget(self);

 Ok(())
 }
}

impl Drop for Transaction {
 fn drop(&mut self) {
 // 这就是「drop bomb」
 panic!("Transaction dropped without commit!");
 }
}

fn main() -> io::Result<()> {
 let tx = Transaction::start();
 // 用 `tx` 构建事务，然后提交。
 // 注释掉对 `commit` 的调用以观察 panic。
 tx.commit()?;
 Ok(())
}

本示例去掉了上一页的标志，让 drop 方法无条件 panic。为在成功提交时避免该 panic，commit 方法现在取得事务的所有权并调用 std::mem::forget，从而阻止运行 Drop::drop() 方法。

3.2.6 forget 与 drop 函数

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/forget_and_drop.html

3.2.6 forget 与 drop 函数

下面是 drop() 与 forget() 函数的签名：

1
2
3
4
5
6
7
8
9


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
// std::mem::forget
fn forget<T>(t: T) {
 let _ = std::mem::ManuallyDrop::new(t);
}

// std::mem::drop
fn drop<T>(_x: T) {}

mem::forget() 与 mem::drop() 都取得值 t 的所有权。

3.2.7 作用域 Guard

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/scope_guard.html

3.2.7 作用域 Guard

作用域 guard（scope guard）利用 Drop trait，在作用域退出时自动运行清理代码，即使在展开期间也是如此。

3.2.8 Drop 中的 Option

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/raii/drop_option.html

3.2.8 Drop 中的 Option

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
struct File(Option<Handle>);

impl File {
 fn open(path: &'static str) -> std::io::Result<Self> {
 Ok(Self(Some(Handle { path })))
 }

 fn write(&mut self, data: &str) -> std::io::Result<()> {
 // 必须先通过 `Option` 取得 `Handle`
 // 然后才能使用它。
 let handle = self.0.as_ref().unwrap();
 println!("write '{data}' to file '{}'", handle.path);
 Ok(())
 }
}

impl Drop for File {
 fn drop(&mut self) {
 let handle = self.0.take().unwrap();
 handle.close();
 }
}

struct Handle {
 path: &'static str,
}

impl Handle {
 fn close(self) {
 println!("Closing {}", self.path);
 }
}

fn main() -> std::io::Result<()> {
 let mut file = File::open("foo.txt")?;
 file.write("hello")?;
 Ok(())
}

本例中我们想在 Drop 实现里对内部的 Handle 调用 close，但 close 需要 Handle 的所有权。正常情况下做不到：我们在 drop 中得不到 File 对象的所有权，因此无法移出字段。