【Rust 基础篇】Rust 的 `Rc＜RefCell＜T＞＞` - 共享可变性的智能指针

繁依Fanyi

发布于 2023-10-12 10:55:04

5390

发布于 2023-10-12 10:55:04

文章被收录于专栏：繁依Fanyi 的专栏

导言

在 Rust 中，Rc<RefCell<T>> 是一种组合智能指针，用于实现多所有权共享可变数据。Rc 允许多个所有者共享相同的数据，而 RefCell 允许在有多个引用的情况下对数据进行可变操作。

本篇博客将详细介绍 Rust 中 Rc<RefCell<T>> 的使用方法和相关概念，以及它在代码中的应用场景。

`Rc<RefCell<T>>` 的定义和特性

Rc<RefCell<T>> 是一个由两部分组成的智能指针：

Rc 是一个引用计数指针，它允许多个所有者共享相同的数据。
RefCell 是一个在有多个引用的情况下允许对数据进行可变操作的容器。

由于 Rc 本身不允许可变性，我们使用 RefCell 来包装数据，使得即使在 Rc 有多个所有者的情况下，我们仍然可以在需要时修改数据。

`Rc<RefCell<T>>` 的使用

下面是一个示例，演示了 Rc<RefCell<T>> 的使用方法：

use std::rc::Rc;
use std::cell::RefCell;

struct MyStruct {
    data: String,
}

fn main() {
    let shared_data = Rc::new(RefCell::new(MyStruct {
        data: String::from("Hello, Rust!"),
    }));

    let reference1 = shared_data.borrow();
    let reference2 = shared_data.borrow();

    println!("Data: {}", reference1.data);
    println!("Data: {}", reference2.data);
}

在上述示例中，我们首先创建了一个 MyStruct 实例，并使用 RefCell::new 函数将其封装在一个 RefCell 中。然后，我们将 RefCell 放入 Rc 中，得到 shared_data。

接着，我们使用 borrow 方法从 RefCell 中获取了两个不可变引用 reference1 和 reference2。由于 RefCell 允许多个不可变引用，所以我们可以同时获取两个引用。

最后，我们打印出了 reference1.data 和 reference2.data 的内容。

可变引用和内部可变性

在有些情况下，我们需要对 Rc<RefCell<T>> 中的数据进行修改。为了实现内部可变性，我们可以使用 borrow_mut 方法来获取一个可变引用。

下面是一个示例，演示了如何使用可变引用修改 Rc<RefCell<T>> 中的数据：

use std::rc::Rc;
use std::cell::RefCell;

struct MyStruct {
    data: String,
}

fn main() {
    let shared_data = Rc::new(RefCell::new(MyStruct {
        data: String::from("Hello, Rust!"),
    }));

    {
        let mut mutable_reference = shared_data.borrow_mut();
        mutable_reference.data = String::from("Modified data");
    }

    let reference = shared_data.borrow();
    println!("Data: {}", reference.data);
}

在上述示例中，我们首先创建了 shared_data，并获取了一个可变引用 mutable_reference，然后通过 mutable_reference 修改了数据。

在这里，我们使用了一个新的作用域，将 mutable_reference 的生命周期限制在作用域内。这是因为在获取可变引用时，我们不能再同时获取不可变引用，以避免数据竞争。