Rust：Arc::new(...) 生成的变量保存在堆上吗？

许野平2024-03-09 9:33

是的，当你使用 Arc::new(...) 在 Rust 中创建一个新的 Arc（Atomic Reference Counted）时，传递给 Arc::new 的数据（或其副本）会被分配到堆上。Arc 是一个引用计数智能指针，它允许数据在多个所有者之间安全地共享。由于 Arc 需要动态地管理引用计数和可能的堆分配，所以它通常将数据存储在堆上而不是栈上。

Arc 的主要目的是在多线程环境中安全地共享数据。它使用原子操作来更新引用计数，因此即使在并发情况下，引用计数也是线程安全的。

这里是一个简单的例子：

rust 复制代码

use std::sync::Arc;

// 假设我们有一个结构体
struct MyStruct {
    value: i32,
}

fn main() {
    // 创建一个 MyStruct 实例，并将其包装在 Arc 中
    let x = Arc::new(MyStruct { value: 42 });

    // 现在 x 指向堆上的一个 MyStruct 实例
    // 引用计数为 1，因为只有 x 一个所有者

    // ... 你可以将 x 传递给其他函数或线程，并在它们之间共享它 ...
}

在上面的代码中，MyStruct 的实例是在堆上分配的，因为它被 Arc 所拥有。当 x 离开其作用域并被销毁时，如果没有其他 Arc 指向同一个 MyStruct 实例，那么该实例以及相关的堆内存将被自动释放。如果还有其他 Arc 指向它，则释放操作会等待最后一个 Arc 被销毁。