Rust共享所有权智能指针：从Rc到Arc的性能与安全博弈

admin666ss2026-04-22IT技术0

缘起：被所有权机制困住的那个夜晚

三年前第一次在生产项目中使用Rust时，遇到一个典型场景：需要让三个模块共享同一个配置对象。顺着直觉写了三份clone，结果编译器毫不留情地抛出一堆所有权错误。那一刻才意识到，Rust的所有权机制虽然从根源上杜绝了悬垂指针和双重释放，却也在某些场景下造成了不便。

解决方案就是Rc与Arc。这两个智能指针通过引用计数实现了共享所有权，让多个变量可以同时持有同一份数据。今天深入拆解它们的底层原理与实战技巧。

引用计数的核心机制

无论是Rc还是Arc，底层都维护着一个引用计数器。当创建智能指针时，计数器初始化为1；调用clone()时计数器加1；指针被drop时计数器减1；当计数器归零时，底层数据自动释放。

关键点：clone()是浅拷贝，仅复制指针而非数据，因此开销极低。这正是它们能高效实现共享所有权的根本原因。

Rc：单线程轻量方案

Rc（ReferenceCounted）定义在std::rc模块，专门处理单线程场景。引用计数操作非原子性，不具备线程安全，但性能开销极小。

基本模式：

use std::rc::Rc;
letrc1=Rc::new(String::from("共享数据"));
letrc2=Rc::clone(&rc1);println!("计数:{}",Rc::strong_count(&rc1));//输出2

Rc+RefCell：单线程可变共享

Rc本身不可变，若需修改共享数据，可组合RefCell形成Rc<RefCell<T>>。RefCell提供内部可变性，在运行时检查借用规则。

use std::rc::Rc;
usestd::cell::RefCell;
letdata=Rc::new(RefCell::new(vec![1,2,3]));data.borrow_mut().push(4);//可变访问

循环引用陷阱与Weak指针

Rc的致命缺陷是循环引用。两个对象互相持有Rc会导致计数永远无法归零，内存泄漏。

解决方案是使用Weak（弱引用）。Weak不参与强引用计数，通过upgrade()方法可临时获取强引用，若数据已释放则返回None。

Arc：多线程安全共享

Arc（AtomicReferenceCounted）定义在std::sync模块，专门处理多线程场景。核心区别在于引用计数操作是原子性的，由CPU保证同步，避免数据竞争。

代价是原子操作带来轻微性能开销，因此Arc比Rc慢。只要T实现Send和Sync，Arc<T>就自动实现这两个trait。

use std::sync::Arc;
usestd::thread;
letarc=Arc::new(100);
lethandles:Vec<_>=(0..5).map(|i|{
letarc_clone=Arc::clone(&arc);
thread::spawn(move||{
println!("线程{}:{}",i,arc_clone);
})}).collect();

Arc+Mutex：多线程可变共享

Arc本身仍不可变。多线程场景下需组合Mutex或RwLock，形成Arc<Mutex<T>>。Mutex保证同一时刻只有一个线程能修改数据。

use std::sync::{Arc, Mutex};
usestd::thread;
letcounter=Arc::new(Mutex::new(0));
lethandles:Vec<_>=(0..10).map(|_|{
letc=Arc::clone(&counter);
thread::spawn(move||{
*c.lock().unwrap()+=1;
})}).collect();

实战选型决策树

单线程场景：Rc+RefCell（可变）+Weak（防循环）；多线程场景：Arc+Mutex（写密集）或RwLock（读密集）。核心判断标准：是否跨线程共享。

标签：Rust 智能指针 Rc Arc