理解Rust中的共享所有权：新手指南🔍

Rust 实战中的 Rust 智能指针

Rust 中的所有权很难。但是你知道比 Rust 中的所有权更难的东西是什么吗？

共享所有权。

但究竟什么是共享所有权，为什么它是 Rust 独有的？让我们来分解一下。

所有权

在 Rust 中，所有权确保在不再需要时清理内存，从而无需垃圾收集器，并保持 Rust 的极速运行。Rust 中的每个值都有一个所有者；当该所有者超出作用域时，该值会自动删除。

这种解决内存管理问题的独特而有效的方法，为底层语言带来了一些关键的漏洞，例如缓冲区溢出、数据竞争。

基本上，它既安全又运行极快 ⏩

共享所有权

但是，如果程序的多个部分需要同时拥有相同的数据怎么办？这就是共享所有权发挥作用的地方！

Rust 中的共享所有权通过智能指针实现，特别是用于单线程场景的 Rc<T> (引用计数) 和用于多线程上下文的 Arc<T> (原子引用计数)。这些智能指针允许多个程序部分共享同一数据的所有权，同时保持 Rust 的内存和并发安全保证。

这是一个快速示例：

use std::rc::Rc;
fn main() {
 let s = Rc::new(String::from("hello"));
 let s1 = Rc::clone(&s);
 let s2 = Rc::clone(&s);
println!("s: {}, s1: {}, s2: {}", s, s1, s2);
println!("Reference count: {}", Rc::strong_count(&s)); // 引用计数
}

在此代码中，s、s1 和 s2 都共享同一个 `String` 的所有权。引用计数随着每次克隆而增加，并确保仅在没有所有者时才清理数据。

对于多线程场景，Arc<T> 的工作方式类似，但增加了线程安全性：

use std::sync::Arc;
use std::thread;
fn main() {
 let s = Arc::new(String::from("hello"));
 let s1 = Arc::clone(&s);
 let s2 = Arc::clone(&s);
let handle1 = thread::spawn(move || {
 println!("s1: {}", s1);
 });
let handle2 = thread::spawn(move || {
 println!("s2: {}", s2);
 });
handle1.join().unwrap();
 handle2.join().unwrap();
}

使用 Arc<T>，你可以安全地跨线程共享数据所有权，利用 Rust 的零成本抽象来实现高效的并发。

总结

Rust 中的共享所有权允许多个程序部分安全有效地共享数据所有权，而无需垃圾收集器。它是使 Rust 独特而强大的众多功能之一！🚀

• 原文链接： extremelysunnyyk.medium....
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～