2.6 理解返回借用的方法 on 编程那些事儿

2.6.1 何时不应命名生命周期

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

译文 · 基于 Learning Rust

何时不应命名生命周期

原文链接: https://quinedot.github.io/rust-learning/m-naming.html

有时新手会试图通过让代码更泛型来解决借用检查错误，这通常涉及添加生命周期并命名之前被省略的生命周期：

1
2
3
4
5
6


# struct S; impl S {
fn quz<'a: 'b, 'b>(&'a mut self) -> &'b str { todo!() }

// （由于 `'a: 'b` 约束，含义仍然是"对返回值的使用让 `*self` 保持独占借用"：
// `'a` 必须在 `'b` 有效的任何地方都有效。）
# }

但这实际上并不比下面这个允许多更多可能性：

2.6.2 约束相关的生命周期会相互「感染」

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

译文 · 基于 Learning Rust

约束相关的生命周期会相互「感染」

原文链接: https://quinedot.github.io/rust-learning/m-infect.html

上一节中将 'a 和 'b 分开，在 self 被借用方面并没有让事情更灵活。一旦你声明了像 'a: 'b 这样的约束，两个生命周期就会相互"感染"。尽管返回类型与输入有不同的生命周期，它实际上仍然是对输入的重借用。

2.6.3 &mut 输入不会降级为 &

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

译文 · 基于 Learning Rust

&mut 输入不会降级为 &

原文链接: https://quinedot.github.io/rust-learning/m-no-downgrades.html

仍然讨论这个签名：

1

fn quz(&mut self) -> &str { todo!() }

新手常常期望 quz 返回后 self 只被共享借用，因为返回的是共享引用。但事实并非如此；只要返回的 &str 仍然有效，self 就保持独占借用。

2.6.4 async 与返回 impl Trait

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

译文 · 基于 Learning Rust

async 与返回 impl Trait

原文链接: https://quinedot.github.io/rust-learning/m-rpitit-alikes.html

关于 async fn 和返回 impl Trait 可以说的很多，这里无法全部涵盖。但特别需要注意的是，它们以几乎不可见的方式向函数签名引入借用关系。