第7章面向对象编程 on 编程那些事儿

01-什么是 OOP？

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/74_zh-cn.html

什么是 OOP？

面向对象编程大致是指具有如下一些标志性特征的编程语言：

封装——将数据和函数关联到单一类型的概念单元中，称为对象。
抽象——将数据和函数成员隐藏起来，以隐藏对象的实现细节。
多态——从不同的功能角度与对象进行交互的能力。
继承——从其他对象继承数据和行为的能力。

02-Rust 不是 OOP

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/75_zh-cn.html

Rust 不是 OOP

Rust 缺乏任何有意义的数据和行为的继承。

结构体不能从父结构继承字段。
结构体不能从父结构继承函数。

尽管如此，Rust 实现了许多编程语言的特性，所以你可能不会在意这个缺失。

03-使用方法进行封装

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/76_zh-cn.html

使用方法进行封装

Rust 支持对象的概念。“对象”是一个与一些函数（也称为方法）相关联的结构体。

任何方法的第一个参数必须是与方法调用相关联的实例的引用。(例如 instanceOfObj.foo())。Rust 使用：

04-抽象与选择性暴露

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/77_zh-cn.html

抽象与选择性暴露

Rust 可以隐藏对象的内部实现细节。

默认情况下，字段和方法只有它们所属的模块才可访问。

pub 关键字可以将字段和方法暴露给模块外的访问者。

05-使用 Trait 实现多态

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/78_zh-cn.html

使用 Trait 实现多态

Rust 支持多态的特性。Trait 允许我们将一组方法与结构类型关联起来。

我们首先在 Trait 里面定义函数签名：

06-Trait 自带方法

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/79_zh-cn.html

Trait 自带方法

Trait 可以有已实现的方法。

这些函数并不能直接访问结构体的内部字段，但它可以在许多 trait 实现者之间共享行为。

07-Trait 继承

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/80_zh-cn.html

Trait 继承

Traits 可以从其他 trait 继承方法。

示例代码

 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


struct SeaCreature {
 pub name: String,
 noise: String,
}

impl SeaCreature {
 pub fn get_sound(&self) -> &str {
 &self.noise
 }
}

trait NoiseMaker {
 fn make_noise(&self);
}

trait LoudNoiseMaker: NoiseMaker {
 fn make_alot_of_noise(&self) {
 self.make_noise();
 self.make_noise();
 self.make_noise();
 }
}

impl NoiseMaker for SeaCreature {
 fn make_noise(&self) {
 println!("{}", &self.get_sound());
 }
}

impl LoudNoiseMaker for SeaCreature {}

fn main() {
 let creature = SeaCreature {
 name: String::from("Ferris"),
 noise: String::from("blub"),
 };
 creature.make_alot_of_noise();
}

08-动态调度和静态调度

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/81_zh-cn.html

动态调度和静态调度

方法的执行有两种方式：

静态调度——当实例类型已知时，我们直接知道要调用什么函数。
动态调度——当实例类型未知时，我们必须想方法来调用正确的函数。

Trait 类型 &dyn MyTrait 给我们提供了使用动态调度间接处理对象实例的能力。

09-Trait 对象

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/82_zh-cn.html

Trait 对象

当我们将一个对象的实例传递给类型为 &dyn MyTrait 的参数时，我们传递的是所谓的 trait 对象。

Trait 对象允许我们间接调用一个实例的正确方法。一个 trait 对象对应一个结构。它保存着我们实例的指针，并保有一个指向我们实例方法的函数指针列表。

10-处理未知大小的数据

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/83_zh-cn.html

处理未知大小的数据

当我们想把 Trait 存储在另一个结构中时，它们亦带来了一个有趣的挑战。 Trait 混淆了原始结构，因此它也混淆了原来的结构体的大小。在 Rust 中，在结构体中存储未知大小的值有两种处理方式。

11-泛型函数

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/84_zh-cn.html

泛型函数

Rust中的泛型与 Trait 是相辅相成的。当我们描述一个参数化类型 T 时，我们可以通过列出参数必须实现的 Trait 来限制哪些类型可以作为参数使用。

12-泛型函数简写

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/85_zh-cn.html

泛型函数简写

Rust 为由 Trait 限制的泛型函数提供了简写形式：

1
2
3


fn my_function(foo: impl Foo) {
 ...
}

这段代码等价于：

1
2
3
4
5
6


fn my_function<T>(foo: T)
where
 T:Foo
{
 ...
}

示例代码

 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


struct SeaCreature {
 pub name: String,
 noise: String,
}

impl SeaCreature {
 pub fn get_sound(&self) -> &str {
 &self.noise
 }
}

trait NoiseMaker {
 fn make_noise(&self);
}

impl NoiseMaker for SeaCreature {
 fn make_noise(&self) {
 println!("{}", &self.get_sound());
 }
}

fn generic_make_noise(creature: &impl NoiseMaker)
{
 // 我们在编译期就已经知道其真实类型
 creature.make_noise();
}

fn main() {
 let creature = SeaCreature {
 name: String::from("Ferris"),
 noise: String::from("咕噜"),
 };
 generic_make_noise(&creature);
}

13-Box

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/86_zh-cn.html

Box

Box 是一个允许我们将数据从栈上移到堆上的数据结构。

Box 是一个被称为智能指针的结构，它持有指向我们在堆上的数据的指针。

14-重温泛型结构体

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/87_zh-cn.html

重温泛型结构体

泛型结构体也可以通过 Trait 来约束其参数化类型：

1
2
3
4
5
6
7


struct MyStruct<T>
where
 T: MyTrait
{
 foo: T
 ...
}

泛型结构体在它的实现块中有其参数化的类型：

15-第七章 - 总结

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/88_zh-cn.html

第七章 - 总结

现在我们手头有了更多可以清晰地表达我们的想法的语言功能！ Rust 的抽象可能很简单，但它们强大到足以让我们写代码写得很愉快。在本章中，我们通过 Box 简单瞥见了智能指针。在下一章中，我们将了解智能指针如何帮助我们处理其他特定的内存情况。

第7章 面向对象编程 on 编程那些事儿

01-什么是 OOP？

什么是 OOP？

02-Rust 不是 OOP

Rust 不是 OOP

03-使用方法进行封装

使用方法进行封装

04-抽象与选择性暴露

抽象与选择性暴露

05-使用 Trait 实现多态

使用 Trait 实现多态

06-Trait 自带方法

Trait 自带方法

07-Trait 继承

Trait 继承

示例代码

08-动态调度和静态调度

动态调度和静态调度

09-Trait 对象

Trait 对象

10-处理未知大小的数据

处理未知大小的数据

11-泛型函数

泛型函数

12-泛型函数简写

泛型函数简写

示例代码

13-Box

Box

14-重温泛型结构体

重温泛型结构体

15-第七章 - 总结

第七章 - 总结

第7章面向对象编程 on 编程那些事儿