内部可变性 (Interior mutability )是 Rust 中的一个设计模式,它允许你即使在有不可变引用时也可以改变数据,这通常是借用规则所不允许的。为了改变数据,该模式在数据结构中使用 unsafe
代码来模糊 Rust 通常的可变性和借用规则。不安全代码表明我们在手动检查这些规则而不是让编译器替我们检查。第十九章会更详细地介绍不安全代码。
当可以确保代码在运行时会遵守借用规则,即使编译器不能保证的情况,可以选择使用那些运用内部可变性模式的类型。所涉及的 unsafe
代码将被封装进安全的 API 中,而外部类型仍然是不可变的。
让我们通过遵循内部可变性模式的 RefCell<T>
类型来开始探索。
通过 RefCell<T>
在运行时检查借用规则
不同于 Rc<T>
,RefCell<T>
代表其数据的唯一的所有权。那么是什么让 RefCell<T>
不同于像 Box<T>
这样的类型呢?回忆一下第四章所学的借用规则:
- 在任意给定时刻,只能拥有一个可变引用或任意数量的不可变引用 之一(而不是两者)。
- 引用必须总是有效的。
对于引用和 Box<T>
,借用规则的不可变性作用于编译时。对于 RefCell<T>
,这些不可变性作用于 运行时 。对于引用,如果违反这些规则,会得到一个编译错误。而对于 RefCell<T>
,如果违反这些规则程序会 panic 并退出。
在编译时检查借用规则的优势是这些错误将在开发过程的早期被捕获,同时对运行时没有性能影响,因为所有的分析都提前完成了。为此,在编译时检查借用规则是大部分情况的最佳选择,这也正是其为何是 Rust 的默认行为。
相反在运行时检查借用规则的好处则是允许出现特定内存安全的场景,而它们在编译时检查中是不允许的。静态分析,正如 Rust 编译器,是天生保守的。但代码的一些属性不可能通过分析代码发现:其中最著名的就是 停机问题(Halting Problem),这超出了本书的范畴,不过如果你感兴趣的话这是一个值得研究的有趣主题。
因为一些分析是不可能的,如果 Rust 编译器不能通过所有权规则编译,它可能会拒绝一个正确的程序;从这种角度考虑它是保守的。如果 Rust 接受不正确的程序,那么用户也就不会相信 Rust 所做的保证了。然而,如果 Rust 拒绝正确的程序,虽然会给程序员带来不便,但不会带来灾难。RefCell<T>
正是用于当你确信代码遵守借用规则,而编译器不能理解和确定的时候。
类似于 Rc<T>
,RefCell<T>
只能用于单线程场景。如果尝试在多线程上下文中使用RefCell<T>
,会得到一个编译错误。第十六章会介绍如何在多线程程序中使用 RefCell<T>
的功能。
如下为选择 Box<T>
,Rc<T>
或 RefCell<T>
的理由:
Rc<T>
允许相同数据有多个所有者;Box<T>
和RefCell<T>
有单一所有者。Box<T>
允许在编译时执行不可变或可变借用检查;Rc<T>
仅允许在编译时执行不可变借用检查;RefCell<T>
允许在运行时执行不可变或可变借用检查。- 因为
RefCell<T>
允许在运行时执行可变借用检查,所以我们可以在即便RefCell<T>
自身是不可变的情况下修改其内部的值。
在不可变值内部改变值就是 内部可变性 模式。让我们看看何时内部可变性是有用的,并讨论这是如何成为可能的。
内部可变性:不可变值的可变借用
借用规则的一个推论是当有一个不可变值时,不能可变地借用它。例如,如下代码不能编译:
rust,ignore,does_not_compile
{{#rustdoc_include ../listings/ch15-smart-pointers/no-listing-01-cant-borrow-immutable-as-mutable/src/main.rs}}
如果尝试编译,会得到如下错误:
console
{{#include ../listings/ch15-smart-pointers/no-listing-01-cant-borrow-immutable-as-mutable/output.txt}}
然而,特定情况下,令一个值在其方法内部能够修改自身,而在其他代码中仍视为不可变,是很有用的。值方法外部的代码就不能修改其值了。RefCell<T>
是一个获得内部可变性的方法。RefCell<T>
并没有完全绕开借用规则,编译器中的借用检查器允许内部可变性并相应地在运行时检查借用规则。如果违反了这些规则,会出现 panic 而不是编译错误。
让我们通过一个实际的例子来探索何处可以使用 RefCell<T>
来修改不可变值并看看为何这么做是有意义的。
内部可变性的用例:mock 对象
有时在测试中程序员会用某个类型替换另一个类型,以便观察特定的行为并断言它是被正确实现的。这个占位符类型被称为 测试替身 (test double )。就像电影制作中的替身演员 (stunt double ) 一样,替代演员完成高难度的场景。测试替身在运行测试时替代某个类型。mock 对象 是特定类型的测试替身,它们记录测试过程中发生了什么以便可以断言操作是正确的。
虽然 Rust 中的对象与其他语言中的对象并不是一回事,Rust 也没有像其他语言那样在标准库中内建 mock 对象功能,不过我们确实可以创建一个与 mock 对象有着相同功能的结构体。
如下是一个我们想要测试的场景:我们在编写一个记录某个值与最大值的差距的库,并根据当前值与最大值的差距来发送消息。例如,这个库可以用于记录用户所允许的 API 调用数量限额。
该库只提供记录与最大值的差距,以及何种情况发送什么消息的功能。使用此库的程序则期望提供实际发送消息的机制:程序可以选择记录一条消息、发送 email、发送短信等等。库本身无需知道这些细节;只需实现其提供的 Messenger
trait 即可。示例 15-20 展示了库代码:
文件名:src/lib.rs
rust,noplayground
{{#rustdoc_include ../listings/ch15-smart-pointers/listing-15-20/src/lib.rs}}
示例 15-20:一个记录某个值与最大值差距的库,并根据此值的特定级别发出警告
这些代码中一个重要部分是拥有一个方法 send
的 Messenger
trait,其获取一个 self
的不可变引用和文本信息。这个 trait 是 mock 对象所需要实现的接口库,这样 mock 就能像一个真正的对象那样使用了。另一个重要的部分是我们需要测试 LimitTracker
的 set_value
方法的行为。可以改变传递的 value
参数的值,不过 set_value
并没有返回任何可供断言的值。我们希望能够说,如果我们创建一个实现了 Messenger
trait 和具有特定 max
值的 LimitTracker
时,当传递不同 value
值时,消息发送者应被告知发送合适的消息。
我们所需的 mock 对象是,调用 send
并不实际发送 email 或消息,而是只记录信息被通知要发送了。可以新建一个 mock 对象实例,用其创建 LimitTracker
,调用 LimitTracker
的 set_value
方法,然后检查 mock 对象是否有我们期望的消息。示例 15-21 展示了一个如此尝试的 mock 对象实现,不过借用检查器并不允许:
文件名:src/lib.rs
rust,ignore,does_not_compile
{{#rustdoc_include ../listings/ch15-smart-pointers/listing-15-21/src/lib.rs:here}}
示例 15-21:尝试实现 MockMessenger
,借用检查器不允许这么做
测试代码定义了一个 MockMessenger
结构体,其 sent_messages
字段为一个 String
值的 Vec
用来记录被告知发送的消息。我们还定义了一个关联函数 new
以便于新建从空消息列表开始的 MockMessenger
值。接着为 MockMessenger
实现 Messenger
trait 这样就可以为 LimitTracker
提供一个 MockMessenger
。在 send
方法的定义中,获取传入的消息作为参数并储存在 MockMessenger
的 sent_messages
列表中。
在测试中,我们测试了当 LimitTracker
被告知将 value
设置为超过 max
值 75% 的某个值。首先新建一个 MockMessenger
,其从空消息列表开始。接着新建一个 LimitTracker
并传递新建 MockMessenger
的引用和 max
值 100。我们使用值 80 调用 LimitTracker
的 set_value
方法,这超过了 100 的 75%。接着断言 MockMessenger
中记录的消息列表应该有一条消息。
然而,这个测试是有问题的:
console
{{#include ../listings/ch15-smart-pointers/listing-15-21/output.txt}}
不能修改 MockMessenger
来记录消息,因为 send
方法获取了 self
的不可变引用。我们也不能参考错误文本的建议使用 &mut self
替代,因为这样 send
的签名就不符合 Messenger
trait 定义中的签名了(可以试着这么改,看看会出现什么错误信息)。
这正是内部可变性的用武之地!我们将通过 RefCell
来储存 sent_messages
,然后 send
将能够修改 sent_messages
并储存消息。示例 15-22 展示了代码:
文件名:src/lib.rs
rust,noplayground
{{#rustdoc_include ../listings/ch15-smart-pointers/listing-15-22/src/lib.rs:here}}
示例 15-22:使用 RefCell<T>
能够在外部值被认为是不可变的情况下修改内部值
现在 sent_messages
字段的类型是 RefCell<Vec<String>>
而不是 Vec<String>
。在 new
函数中新建了一个 RefCell<Vec<String>>
实例替代空 vector。
对于 send
方法的实现,第一个参数仍为 self
的不可变借用,这是符合方法定义的。我们调用 self.sent_messages
中 RefCell
的 borrow_mut
方法来获取 RefCell
中值的可变引用,这是一个 vector。接着可以对 vector 的可变引用调用 push
以便记录测试过程中看到的消息。
最后必须做出的修改位于断言中:为了看到其内部 vector 中有多少个项,需要调用 RefCell
的 borrow
以获取 vector 的不可变引用。
现在我们见识了如何使用 RefCell<T>
,让我们研究一下它怎样工作的!
RefCell<T>
在运行时记录借用
当创建不可变和可变引用时,我们分别使用 &
和 &mut
语法。对于 RefCell<T>
来说,则是 borrow
和 borrow_mut
方法,这属于 RefCell<T>
安全 API 的一部分。borrow
方法返回 Ref<T>
类型的智能指针,borrow_mut
方法返回 RefMut<T>
类型的智能指针。这两个类型都实现了 Deref
,所以可以当作常规引用对待。
RefCell<T>
记录当前有多少个活动的 Ref<T>
和 RefMut<T>
智能指针。每次调用 borrow
,RefCell<T>
将活动的不可变借用计数加一。当 Ref<T>
值离开作用域时,不可变借用计数减一。就像编译时借用规则一样,RefCell<T>
在任何时候只允许有多个不可变借用或一个可变借用。
如果我们尝试违反这些规则,相比引用时的编译时错误,RefCell<T>
的实现会在运行时出现 panic。示例 15-23 展示了对示例 15-22 中 send
实现的修改,这里我们故意尝试在相同作用域创建两个可变借用以便演示 RefCell<T>
不允许我们在运行时这么做:
文件名:src/lib.rs
rust,ignore,panics
{{#rustdoc_include ../listings/ch15-smart-pointers/listing-15-23/src/lib.rs:here}}
示例 15-23:在同一作用域中创建两个可变引用并观察 RefCell<T>
panic
这里为 borrow_mut
返回的 RefMut
智能指针创建了 one_borrow
变量。接着用相同的方式在变量 two_borrow
创建了另一个可变借用。这会在相同作用域中创建两个可变引用,这是不允许的。当运行库的测试时,示例 15-23 编译时不会有任何错误,不过测试会失败:
console
{{#include ../listings/ch15-smart-pointers/listing-15-23/output.txt}}
注意代码 panic 和信息 already borrowed: BorrowMutError
。这也就是 RefCell<T>
如何在运行时处理违反借用规则的情况。
像我们这里这样选择在运行时捕获借用错误而不是编译时意味着会发现在开发过程的后期才会发现的潜在错误,甚至有可能发布到生产环境才会发现。还会因为在运行时而不是编译时记录借用而导致少量的运行时性能惩罚。然而,使用 RefCell
使得在只允许不可变值的上下文中编写修改自身以记录消息的 mock 对象成为可能。虽然有取舍,但是我们可以选择使用 RefCell<T>
来获得比常规引用所能提供的更多的功能。
结合 Rc<T>
和 RefCell<T>
来拥有多个可变数据所有者
RefCell<T>
的一个常见用法是与 Rc<T>
结合。回忆一下 Rc<T>
允许对相同数据有多个所有者,不过只能提供数据的不可变访问。如果有一个储存了 RefCell<T>
的 Rc<T>
的话,就可以得到有多个所有者 并且 可以修改的值了!
例如,回忆示例 15-18 的 cons list 的例子中使用 Rc<T>
使得多个列表共享另一个列表的所有权。因为 Rc<T>
只存放不可变值,所以一旦创建了这些列表值后就不能修改。让我们加入 RefCell<T>
来获得修改列表中值的能力。示例 15-24 展示了通过在 Cons
定义中使用 RefCell<T>
,我们就允许修改所有列表中的值了:
文件名:src/main.rs
rust
{{#rustdoc_include ../listings/ch15-smart-pointers/listing-15-24/src/main.rs}}
示例 15-24:使用 Rc<RefCell<i32>>
创建可以修改的 List
这里创建了一个 Rc<RefCell<i32>>
实例并储存在变量 value
中以便之后直接访问。接着在 a
中用包含 value
的 Cons
成员创建了一个 List
。需要克隆 value
以便 a
和 value
都能拥有其内部值 5
的所有权,而不是将所有权从 value
移动到 a
或者让 a
借用 value
。
我们将列表 a
封装进了 Rc<T>
这样当创建列表 b
和 c
时,它们都可以引用 a
,正如示例 15-18 一样。
一旦创建了列表 a
、b
和 c
,我们将 value
的值加 10。为此对 value
调用了 borrow_mut
,这里使用了第五章讨论的自动解引用功能("->
运算符到哪去了?" 部分)来解引用 Rc<T>
以获取其内部的 RefCell<T>
值。borrow_mut
方法返回 RefMut<T>
智能指针,可以对其使用解引用运算符并修改其内部值。
当我们打印出 a
、b
和 c
时,可以看到它们都拥有修改后的值 15 而不是 5:
console
{{#include ../listings/ch15-smart-pointers/listing-15-24/output.txt}}
这是非常巧妙的!通过使用 RefCell<T>
,我们可以拥有一个表面上不可变的 List
,不过可以使用 RefCell<T>
中提供内部可变性的方法来在需要时修改数据。RefCell<T>
的运行时借用规则检查也确实保护我们免于出现数据竞争------有时为了数据结构的灵活性而付出一些性能是值得的。注意 RefCell<T>
不能用于多线程代码!Mutex<T>
是一个线程安全版本的 RefCell<T>
,我们会在第十六章讨论 Mutex<T>
。
推荐几款学习编程的免费平台
免费在线开发平台(https://docs.ltpp.vip/LTPP/)
探索编程世界的新天地,为学生和开发者精心打造的编程平台,现已盛大开启!这个平台汇集了近4000道精心设计的编程题目,覆盖了C、C++、JavaScript、TypeScript、Go、Rust、PHP、Java、Ruby、Python3以及C#等众多编程语言,为您的编程学习之旅提供了一个全面而丰富的实践环境。
在这里,您不仅可以查看自己的代码记录,还能轻松地在云端保存和运行代码,让编程变得更加便捷。平台还提供了私聊和群聊功能,让您可以与同行们无障碍交流,分享文件,共同进步。不仅如此,您还可以通过阅读文章、参与问答板块和在线商店,进一步拓展您的知识边界。
为了提升您的编程技能,平台还设有每日一题、精选题单以及激动人心的编程竞赛,这些都是备考编程考试的绝佳资源。更令人兴奋的是,您还可以自定义系统UI,选择视频或图片作为背景,打造一个完全个性化的编码环境,让您的编程之旅既有趣又充满挑战。
免费公益服务器(https://docs.ltpp.vip/LTPP-SHARE/linux.html)
作为开发者或学生,您是否经常因为搭建和维护编程环境而感到头疼?现在,您不必再为此烦恼,因为一款全新的免费公共服务器已经为您解决了所有问题。这款服务器内置了多种编程语言的编程环境,并且配备了功能强大的在线版VS Code,让您可以随时随地在线编写代码,无需进行任何复杂的配置。
随时随地,云端编码无论您身在何处,只要有网络连接,就可以通过浏览器访问这款公共服务器,开始您的编程之旅。这种云端编码的便利性,让您的学习或开发工作不再受限于特定的设备或环境。
丰富的编程语言支持服务器支持包括C、C++、JavaScript、TypeScript、Go、Rust、PHP、Java、Ruby、Python3以及C#等在内的多种主流编程语言,满足不同开发者和学生的需求。无论您是初学者还是资深开发者,都能找到适合自己的编程环境。
在线版VS Code,高效开发内置的在线版VS Code提供了与本地VS Code相似的编辑体验,包括代码高亮、智能提示、代码调试等功能,让您即使在云端也能享受到高效的开发体验。
数据隐私和安全提醒虽然服务器是免费的,但为了保护您的数据隐私和安全,我们建议您不要上传任何敏感或重要的数据。这款服务器更适合用于学习和实验,而非存储重要信息。
免费公益MYSQL(https://docs.ltpp.vip/LTPP-SHARE/mysql.html)
作为一名开发者或学生,数据库环境的搭建和维护往往是一个复杂且耗时的过程。但不用担心,现在有一款免费的MySQL服务器,专为解决您的烦恼而设计,让数据库的使用变得简单而高效。
性能卓越,满足需求虽然它是免费的,但性能绝不打折。服务器提供了稳定且高效的数据库服务,能够满足大多数开发和学习场景的需求。
在线phpMyAdmin,管理更便捷内置的在线phpMyAdmin管理面板,提供了一个直观且功能强大的用户界面,让您可以轻松地查看、编辑和管理数据库。
数据隐私提醒,安全第一正如您所知,这是一项公共资源,因此我们强烈建议不要上传任何敏感或重要的数据。请将此服务器仅用于学习和实验目的,以确保您的数据安全。
免费在线WEB代码编辑器(https://docs.ltpp.vip/LTPP-WEB-IDE/)
无论你是开发者还是学生,编程环境的搭建和管理可能会占用你宝贵的时间和精力。现在,有一款强大的免费在线代码编辑器,支持多种编程语言,让您可以随时随地编写和运行代码,提升编程效率,专注于创意和开发。
多语言支持,无缝切换这款在线代码编辑器支持包括C、C++、JavaScript、TypeScript、Go、Rust、PHP、Java、Ruby、Python3以及C#在内的多种编程语言,无论您的项目需要哪种语言,都能在这里找到支持。
在线运行,快速定位问题您可以在编写代码的同时,即时运行并查看结果,快速定位并解决问题,提高开发效率。
代码高亮与智能提示编辑器提供代码高亮和智能提示功能,帮助您更快地编写代码,减少错误,提升编码质量。
免费二维码生成器(https://docs.ltpp.vip/LTPP-QRCODE/)
二维码(QR Code)是一种二维条码,能够存储更多信息,并且可以通过智能手机等设备快速扫描识别。它广泛应用于各种场景,如:
企业宣传企业可以通过二维码分享公司网站、产品信息、服务介绍等。
活动推广活动组织者可以创建二维码,参与者扫描后可以直接访问活动详情、报名链接或获取电子门票。
个人信息分享个人可以生成包含联系方式、社交媒体链接、个人简历等信息的二维码。
电子商务商家使用二维码进行商品追踪、促销活动、在线支付等。
教育教师可以创建二维码,学生扫描后可以直接访问学习资料或在线课程。
交通出行二维码用于公共交通的票务系统,乘客扫描二维码即可进出站或支付车费。 功能强大的二维码生成器通常具备用户界面友好,操作简单,即使是初学者也能快速上手和生成的二维码可以在各种设备和操作系统上扫描识别的特点。