第10章类型系统 on 编程那些事儿

02-动态大小类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/dynamically-sized-types.html

r[dynamic-sized]

动态大小类型

r[dynamic-sized.intro] 大多数类型具有在编译时已知的固定大小，并实现 trait Sized。大小仅在运行时才知道的类型称为 动态大小类型（DST），非正式地也称为不定大小类型。切片、trait 对象和 str 都是 DST 的例子。

03-类型布局

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/type-layout.html

r[layout]

类型布局

r[layout.intro] 类型的布局是其大小、对齐，以及其字段的相对偏移。对于枚举，判别式如何布局和解释也是类型布局的一部分。

r[layout.guarantees] 类型布局可以随每次编译而改变。我们不会试图精确记录实际做了什么，而只记录今天所保证的内容。

04-内部可变性

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/interior-mutability.html

r[interior-mut]

内部可变性

r[interior-mut.intro] 有时一个类型需要在存在多个别名的情况下被修改。在 Rust 中，这通过一种称为 内部可变性 的模式来实现。

r[interior-mut.shared-ref] 若一个类型的内部状态可以通过指向它的共享引用来改变，则该类型具有内部可变性。

05-子类型与可变性

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/subtyping.html

r[subtype]

子类型与可变性

r[subtype.intro] 子类型是隐式的，可以发生在类型检查或推断的任何阶段。

r[subtype.kinds] 子类型仅限于两种情形：关于生命周期的型变，以及带有高阶生命周期的类型之间。若我们从类型中抹去生命周期，则唯一的子类型关系将来自类型相等。

06-Trait 与生命周期约束

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/trait-bounds.html

r[bound]

Trait 与生命周期约束

r[bound.syntax]

Bounds -> Bound ( `+` Bound )* `+`?

Bound -> Lifetime | TraitBound | UseBound

TraitBound ->
 ( `?` | ForLifetimes )? TypePath
 | `(` ( `?` | ForLifetimes )? TypePath `)`

LifetimeBounds -> ( Lifetime `+` )* Lifetime?

Lifetime ->
 LIFETIME_OR_LABEL
 | `'static`
 | `'_`

UseBound -> `use` UseBoundGenericArgs

UseBoundGenericArgs ->
 `<` `>`
 | `<` ( UseBoundGenericArg `,`)* UseBoundGenericArg `,`? `>`

UseBoundGenericArg ->
 Lifetime
 | IDENTIFIER
 | `Self`

r[bound.intro] Trait 与生命周期约束为泛型项提供了一种限制哪些类型和生命周期可用作其参数的方式。约束可以在 where 子句中施加于任何类型。对于某些常见情形还有更短的形式：

07-类型强制转换

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/type-coercions.html

r[coerce]

类型强制转换

r[coerce.intro] 类型强制转换是隐式改变值的类型的操作。它们在特定位置自动发生，并且实际会发生强制转换的类型受到严格限制。

r[coerce.as] 强制转换所允许的任何转换也可以由类型转换运算符 as 显式执行。

08-发散

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/divergence.html

r[divergence]

发散

r[divergence.intro] 发散表达式 是永远不会正常执行完毕的表达式。

1
2
3
4
5
6
7
8


fn diverges() -> ! {
 panic!("This function never returns!");
}

fn example() {
 let x: i32 = diverges(); // 这一行永远不会执行完毕。
 println!("This is never printed: {x}");
}

关于特定表达式的发散行为，参见以下规则：

09-析构器

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/destructors.html

rdestructors

析构器

r[destructors.intro] 当已初始化的变量或临时值离开作用域时，会运行其 析构器，或者说它被 drop。赋值也会运行其左操作数的析构器（若它已初始化）。若变量只被部分初始化，则只 drop 其已初始化的字段。

r[destructors.operation] 类型 T 的析构器包括：

若 T: Drop，调用 <T as core::ops::Drop>::drop
递归运行其所有字段的析构器。
- 结构体的字段按声明顺序 drop。
- 活动枚举变体的字段按声明顺序 drop。
- 元组的字段按顺序 drop。
- 数组或拥有所有权的切片的元素从第一个元素到最后一个元素 drop。
- 闭包按移动捕获的变量以未指定的顺序 drop。
- Trait 对象运行底层类型的析构器。
- 其他类型不会导致任何进一步的 drop。

r[destructors.drop_in_place] 若必须手动运行析构器，例如在实现你自己的智能指针时，可以使用 [core::ptr::drop_in_place]。

10-生命周期省略

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/lifetime-elision.html

r[lifetime-elision]

生命周期省略

Rust 有一些规则，允许在编译器可以推断出合理默认选择的各种位置省略生命周期。

r[lifetime-elision.function]

函数中的生命周期省略

r[lifetime-elision.function.intro] 为了使常见模式更符合人体工学，可以在函数项、函数指针和闭包 trait签名中省略生命周期参数。以下规则用于为被省略的生命周期推断生命周期参数。

第10章 类型系统 on 编程那些事儿

02-动态大小类型

动态大小类型

03-类型布局

类型布局

04-内部可变性

内部可变性

05-子类型与可变性

子类型与可变性

06-Trait 与生命周期约束

Trait 与生命周期约束

07-类型强制转换

类型强制转换

08-发散

发散

09-析构器

析构器

10-生命周期省略

生命周期省略

函数中的生命周期省略

第10章类型系统 on 编程那些事儿