第5章所有权和数据借用 on 编程那些事儿

01-所有权

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

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

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

所有权

实例化一个类型并且将其绑定到变量名上将会创建一些内存资源，而这些内存资源将会在其整个生命周期中被 Rust 编译器检验。被绑定的变量即为该资源的所有者。

02-基于域的资源管理

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

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

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

基于域的资源管理

Rust 将使用资源最后被使用的位置或者一个函数域的结束来作为资源被析构和释放的地方。此处析构和释放的概念被称之为 drop（丢弃）。

03-释放是分级进行的

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

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

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

释放是分级进行的

删除一个结构体时，结构体本身会先被释放，紧接着才分别释放相应的子结构体并以此类推。

内存细节：

Rust 通过自动释放内存来帮助确保减少内存泄漏。
每个内存资源仅会被释放一次。

示例代码

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


struct Bar {
 x: i32,
}

struct Foo {
 bar: Bar,
}

fn main() {
 let foo = Foo { bar: Bar { x: 42 } };
 println!("{}", foo.bar.x);
 // foo 首先被 dropped 释放
 // 紧接着是 foo.bar
}

04-移交所有权

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

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

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

移交所有权

将所有者作为参数传递给函数时，其所有权将移交至该函数的参数。在一次移动后，原函数中的变量将无法再被使用。

05-归还所有权

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

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

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

归还所有权

所有权也可以从一个函数中被归还。

示例代码

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


struct Foo {
 x: i32,
}

fn do_something() -> Foo {
 Foo { x: 42 }
 // 所有权被移出
}

fn main() {
 let foo = do_something();
 // foo 成为了所有者
 // foo 在函数域结尾被 dropped 释放
}

06-使用引用借用所有权

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

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

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

使用引用借用所有权

引用允许我们通过 & 操作符来借用对一个资源的访问权限。引用也会如同其他资源一样被释放。

示例代码

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11


struct Foo {
 x: i32,
}

fn main() {
 let foo = Foo { x: 42 };
 let f = &foo;
 println!("{}", f.x);
 // f 在这里被 dropped 释放
 // foo 在这里被 dropped 释放
}

07-通过引用借用可变所有权

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

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

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

通过引用借用可变所有权

我们也可以使用 &mut 操作符来借用对一个资源的可变访问权限。在发生了可变借用后，一个资源的所有者便不可以再次被借用或者修改。

08-解引用

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

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

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

解引用

使用 &mut 引用时, 你可以通过 * 操作符来修改其指向的值。你也可以使用 * 操作符来对所拥有的值进行拷贝（前提是该值可以被拷贝——我们将会在后续章节中讨论可拷贝类型）。

09-传递借用的数据

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

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

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

传递借用的数据

Rust 对于引用的规则也许最好用以下的方式总结：

Rust 只允许同时存在一个可变引用或者多个不可变引用，不允许可变引用和不可变引用同时存在。
一个引用永远也不会比它的所有者存活得更久。

而在函数间进行引用的传递时，以上这些通常都不会成为问题。

10-引用的引用

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

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

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

引用的引用

引用甚至也可以用在其他引用上。

示例代码

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


#[derive(Debug)]
struct Foo {
 x: i32,
}
fn do_something(a: &Foo) -> &i32 {
 return &a.x;
}

fn main() {
 let mut foo = Foo { x: 42 };
 let x = &mut foo.x;
 *x = 13;
 // x 在这里被 dropped 释放从而允许我们再创建一个不可变引用
 let y = do_something(&foo);
 println!("{}", y);//13
 // y 在这里被 dropped 释放
 // foo 在这里被 dropped 释放
}

11-显式生命周期

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

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

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

显式生命周期

尽管 Rust 不总是在代码中将它展示出来，但编译器会理解每一个变量的生命周期并进行验证以确保一个引用不会有长于其所有者的存在时间。同时，函数可以通过使用一些符号来参数化函数签名，以帮助界定哪些参数和返回值共享同一生命周期。生命周期注解总是以 ' 开头，例如 'a，'b 以及 'c。

12-多个生命周期

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

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

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

多个生命周期

生命周期注解可以通过区分函数签名中不同部分的生命周期，来允许我们显式地明确某些编译器靠自己无法解决的场景。

13-静态生命周期

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

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

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

静态生命周期

一个静态变量是一个在编译期间即被创建并存在于整个程序始末的内存资源。他们必须被明确指定类型。一个静态生命周期是指一段内存资源无限期地延续到程序结束。需要注意的一点是，在此定义之下，一些静态生命周期的资源也可以在运行时被创建。拥有静态生命周期的资源会拥有一个特殊的生命周期注解 'static。 'static 资源永远也不会被 drop 释放。如果静态生命周期资源包含了引用，那么这些引用的生命周期也一定是 'static 的。（任何缺少了此注解的引用都不会达到同样长的存活时间）

14-数据类型中的生命周期

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

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

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

数据类型中的生命周期

和函数相同，数据类型也可以用生命周期注解来参数化其成员。 Rust 会验证引用所包含的数据结构永远也不会比引用指向的所有者存活周期更长。我们不能在运行中拥有一个包括指向虚无的引用结构存在！

15-第五章 - 总结

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

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

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

第五章 - 总结

哇，恭喜您成功走完了本章！我知道这下可能会有很多需要吸收的东西，但是您已经在成为一名 Rustacean 的路上走得很好了。希望您能愈发清晰地认识到 Rust 是如何致力于解决系统编程中的诸多常见挑战：

第5章 所有权和数据借用 on 编程那些事儿

01-所有权

所有权

02-基于域的资源管理

基于域的资源管理

03-释放是分级进行的

释放是分级进行的

示例代码

04-移交所有权

移交所有权

05-归还所有权

归还所有权

示例代码

06-使用引用借用所有权

使用引用借用所有权

示例代码

07-通过引用借用可变所有权

通过引用借用可变所有权

08-解引用

解引用

09-传递借用的数据

传递借用的数据

10-引用的引用

引用的引用

示例代码

11-显式生命周期

显式生命周期

12-多个生命周期

多个生命周期

13-静态生命周期

静态生命周期

14-数据类型中的生命周期

数据类型中的生命周期

15-第五章 - 总结

第五章 - 总结

第5章所有权和数据借用 on 编程那些事儿