2.9 常见陷阱与反模式 on 编程那些事儿

2.9.1 dyn Trait 生命周期与 Box

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

dyn Trait 生命周期与 Box

原文链接: https://quinedot.github.io/rust-learning/pf-dyn.html

每个 trait 对象（dyn Trait）都有一个可省略的生命周期，完全省略时有自己的默认值。这个默认值比普通的函数签名省略规则更强。最常见因此遇到生命周期错误的情况是在函数签名、结构体和类型别名中使用 Box<dyn Trait>，它意味着 Box<dyn Trait + 'static>。

2.9.2 条件性返回借用

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

条件性返回借用

原文链接: https://quinedot.github.io/rust-learning/pf-nll3.html

编译器并不完美，有些事实上健全且可以被接受的东西它还不接受。也许最常见让人绊倒的是条件性返回借用，即 NLL 问题案例 #3。该 issue 及相关 issue 中有一些示例和变通方法。

2.9.3 永久借用

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

永久借用

原文链接: https://quinedot.github.io/rust-learning/pf-borrow-forever.html

你可能遇到的一种反模式是创建 &'a mut Thing<'a>。这是一种反模式，因为它翻译为"在 Thing<'a> 的整个剩余有效期（'a）内对其取独占引用"。一旦你创建了独占借用，你就不能再使用 Thing<'a>，只能通过那个借用来使用。

2.9.4 &mut self 与 Self 别名

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

&mut self 与 Self 别名

原文链接: https://quinedot.github.io/rust-learning/pf-self.html

fn foo(&'a mut self) 是一个危险信号——因为如果那个 'a 不是在函数上声明的，它很可能是 Self 结构体的一部分。如果是这样，这就是伪装起来的 &'a mut Thing<'a>。如上一节所讨论的，这会使 self 之后无法使用，因此是一种反模式。

2.9.5 避免自引用结构体

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

避免自引用结构体

原文链接: https://quinedot.github.io/rust-learning/pf-meta.html

所谓自引用，是指你有一个字段是引用，而该引用指向同一结构体中的另一个字段（或字段的内容）。

1
2
3
4
5


struct Snek<'a> {
 owned: String,
 // 比如你想让这个指向 `owned` 字段
 borrowed: &'a str,
}

构造这种自引用结构体的唯一安全方式是接受 &'a mut Snek<'a>，获取指向 owned 字段的 &'a str，并将其赋给 borrowed 字段。

2.9.6 &Struct 与协变

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

&Struct 与协变

原文链接: https://quinedot.github.io/rust-learning/pf-shared-nested.html

这里有一个看起来类似于永远借用某物的情况，但实际上有些不同。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


struct Person<'a> {
 given: &'a str,
 sur: &'a str,
}

impl<'a> Person<'a> {
 // vvvvvvvv `&'a Person<'a>`
 fn given(&'a self) -> &'a str {
 self.given
 }
}

fn example(person: Person<'_>) {
 // 与永远借用某物不同，这可以编译
 let _one = person.given();
 let _two = person.given();
}

区别在于 &U 在 U 上是协变的，所以生命周期可以在引用背后"缩短" （与 &mut U 不同，它在 U 上是不变的）。Person<'a> 在 'a 上也是协变的，因为我们在定义中对 'a 的所有使用都处于协变位置。