2.5 理解型变、引用与重借用 on 编程那些事儿

2.5.1 心智模型的种子

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

译文 · 基于 Learning Rust

心智模型的种子

原文链接: https://quinedot.github.io/rust-learning/st-model.html

有些人觉得把共享引用（&T）和独占引用（&mut T）想成下面这样会有帮助：

&T 相当于经编译器检查的 RwLockReadGuard
- 你可以同时拥有任意多个
&mut T 相当于经编译器检查的 RwLockWriteGuard
- 同一时刻只能有一个，且存在时不能再有 RwLockReadGuard

独占性是关键。

2.5.2 引用类型

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

译文 · 基于 Learning Rust

引用类型

原文链接: https://quinedot.github.io/rust-learning/st-types.html

先从一个问题开始：&str 是一种类型吗？

在不咬文嚼字、不追求形式严谨时，几乎所有人都会说是，&str 是一种类型。然而从技术上讲，它是一个由泛型生命周期参数参数化的类型构造器。因此严格来说 &str 不是类型，某个具体生命周期的 &'a str 才是类型。&'a str 与 &'b str 不是同一类型，除非 'a == 'b。

2.5.3 生命周期约束

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

译文 · 基于 Learning Rust

生命周期约束

原文链接: https://quinedot.github.io/rust-learning/st-bounds.html

下面简要介绍你可能在 fn 声明和 impl 块中见到的生命周期约束。

生命周期之间的约束

'a: 'b 约束大致意味着 'long: 'short。它常被读作「'a 比 'b 活得久」，有时也称为「outlives 约束」或「outlives 关系」。

2.5.4 引用生命周期

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

译文 · 基于 Learning Rust

引用生命周期

原文链接: https://quinedot.github.io/rust-learning/st-references.html

下面这点你在 Rust 中会经常用到，甚至无需多想：

&'long T 可强制转换为 &'short T
&'long mut T 可强制转换为 &'short mut T

技术术语是「在生命周期上协变（covariant）」，但实用的直觉是「引用的（外层）生命周期可以缩短」。

2.5.5 Copy 与重借用

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

译文 · 基于 Learning Rust

Copy 与重借用

原文链接: https://quinedot.github.io/rust-learning/st-reborrow.html

共享引用（&T）实现了 Copy，这使它们非常灵活。一旦拥有一个，你就可以拥有任意多个；一旦对外暴露了一个，你就无法追踪还有多少个。

2.5.6 嵌套借用与不变性

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

译文 · 基于 Learning Rust

嵌套借用与不变性

原文链接: https://quinedot.github.io/rust-learning/st-invariance.html

现在让我们考虑嵌套引用：

&'medium &'long U 可以强制转换为 &'short &'short U
&'medium mut &'long mut U 可以强制转换为 &'short mut &'long mut U……
- ……但不能转换为 &'short mut &'short mut U

我们说 &mut T 在 T 上是不变的（invariant），这意味着 T 中的任何生命周期都完全不能改变（变长或变短）。在上面的例子中，T 是 &'long mut U，而 'long 不能被改变。

2.5.7 其他场景的不变性

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

译文 · 基于 Learning Rust

其他场景的不变性

原文链接: https://quinedot.github.io/rust-learning/st-more-invariance.html

虽然 &mut 背后是最常首次遇到不变性的地方，但它也出现在其他地方。

Cell<T> 和 RefCell<T> 在 T 上同样是不变的。

trait 参数也是不变的。因此，带生命周期参数的 trait 可能很难使用。

2.5.8 非引用类型

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

译文 · 基于 Learning Rust

非引用类型

原文链接: https://quinedot.github.io/rust-learning/st-non-references.html

你自己定义的 struct 的生命周期和类型参数的型变，会根据你在字段中如何使用这些参数自动推断。例如，如果你有：

1

struct AllMine<'a, T>(&'a mut T);

那么 AllMine 在 'a 上是协变的，在 T 上是不变的，就像 &'a mut T 一样。