涵蓋：Box、Rc/Arc、RefCell/Mutex、Deref/Drop trait、循環(huán)引用等
重點(diǎn)：智能指針選型、線程安全約束、內(nèi)部可變性、內(nèi)存泄漏預(yù)防

一、基礎(chǔ)概念

1. 普通裸指針*const T / *mut T

無所有權(quán)、無自動(dòng)內(nèi)存管理、無借用檢查，僅存內(nèi)存地址，操作必須 unsafe。

2. 智能指針本質(zhì)

實(shí)現(xiàn)了 Deref + Drop trait 的結(jié)構(gòu)體

1. Deref：自動(dòng)解引用，像普通引用一樣使用；
2. Drop：離開作用域自動(dòng)釋放堆內(nèi)存，防止內(nèi)存泄漏；
3. 變量本體存在棧，棧內(nèi)只存指針/元數(shù)據(jù)，真實(shí)數(shù)據(jù)存堆；
4. 自帶所有權(quán)、借用、計(jì)數(shù)、鎖等安全邏輯，不用手動(dòng)管理內(nèi)存。

區(qū)分普通引用 & 智能指針

二、核心智能指針分類

獨(dú)占所有權(quán)：Box

底層結(jié)構(gòu)

struct Box<T>(*mut T);

棧上僅一根堆指針，T 完整分配在堆。

核心特性

1. 唯一所有者，同一時(shí)間只能有一個(gè) Box；
2. 無額外開銷，性能等同于裸指針；
3. 自動(dòng) Drop，出作用域釋放堆；
4. 實(shí)現(xiàn) Deref<Target=T>，可直接 . 訪問字段。

適用場景

1. 遞歸結(jié)構(gòu)體/枚舉（解決無限尺寸）

struct Node {
    val: i32,
    next: Option<Box<Node>>
}

2. 超大棧值，避免棧溢出，轉(zhuǎn)移到堆；
3. 構(gòu)造 trait 對象 Box<dyn Trait>（胖指針：數(shù)據(jù)指針 + vtable）；
4. FFI、需要堆分配的場景。

示例

let b = Box::new(10);
println!("{}", *b); // Deref 解引用
println!("{}", b);  // 自動(dòng)隱式解引用

單線程共享所有權(quán)：Rc / Weak

Rc 底層

堆上分配 RcInner<T>，包含：

• 強(qiáng)引用計(jì)數(shù) strong：持有數(shù)據(jù)的 Rc 數(shù)量；
• 弱引用計(jì)數(shù) weak：Weak 數(shù)量；
• 真實(shí)數(shù)據(jù) T。

規(guī)則

1. Rc<T> 多份克隆共享同一堆數(shù)據(jù)，單線程專用，不支持多線程；
2. 每次 .clone() 僅?？截愔羔槪焉?strong+1；
3. 所有 Rc 銷毀 strong=0，釋放數(shù)據(jù)；weak 不阻止釋放；
4. 內(nèi)部不可變：Rc 只讀，如需修改搭配 RefCell<T>。

Weak 弱指針

1. 不增加強(qiáng)計(jì)數(shù)，不阻止數(shù)據(jù)釋放；
2. 調(diào)用 upgrade() 嘗試轉(zhuǎn)為 Option<Rc<T>>，數(shù)據(jù)已銷毀返回 None；
3. 解決循環(huán)引用內(nèi)存泄漏。

示例

use std::rc::Rc;
let a = Rc::new("hello".to_string());
let b = Rc::clone(&a); // 僅計(jì)數(shù) +1，不拷貝字符串
println!("strong count: {}", Rc::strong_count(&a));

多線程共享所有權(quán)：Arc / Weak

和 Rc 邏輯完全一致，區(qū)別：

搭配內(nèi)部可變性：Arc<Mutex<T>> / Arc<RwLock<T>>

內(nèi)部可變性容器（棧存指針，堆存標(biāo)記 + 數(shù)據(jù)）

1. RefCell 單線程內(nèi)部可變性

突破外部不可變限制，運(yùn)行時(shí)借用檢查（而非編譯期）

• 存儲(chǔ)：堆存數(shù)據(jù) + 借用狀態(tài)標(biāo)記（借出數(shù)量、是否可變）
• 方法：
  • .borrow() → Ref<T> 不可變借用（可多個(gè)同時(shí)存在）
  • .borrow_mut() → RefMut<T> 可變借用（同一時(shí)間只能一個(gè)）
• 違反規(guī)則運(yùn)行時(shí) panic，非編譯報(bào)錯(cuò)。

搭配 Rc 實(shí)現(xiàn)單線程共享可變數(shù)據(jù)：Rc<RefCell<T>>

use std::rc::Rc;
use std::cell::RefCell;
let val = Rc::new(RefCell::new(0));
*val.borrow_mut() += 1;

2. Cell

內(nèi)部可變性，只適合 Copy 小類型

• 小 Copy 類型直接棧存儲(chǔ)，無堆分配；
• 無借用，直接 .get() / .set()，不會(huì)觸發(fā) panic；
• 不能包裹 String、Vec 非 Copy 類型。

3. Mutex 互斥鎖（多線程）

多線程內(nèi)部可變性，同一時(shí)間僅一個(gè)線程訪問數(shù)據(jù)：

• .lock() 獲取鎖，返回 MutexGuard<T>，阻塞等待；
• 中毒：持有鎖線程 panic，鎖永久失效；
• 搭配 Arc：Arc<Mutex<T>> 多線程共享可變資源。

4. RwLock 讀寫鎖

• 多個(gè)讀共存，寫?yīng)氄?；讀多寫少場景性能優(yōu)于 Mutex。

三、Deref 自動(dòng)解引用（智能指針核心 trait）

Deref trait 定義

trait Deref {
    type Target;
    fn deref(&self) -> &Self::Target;
}

實(shí)現(xiàn)后支持：

1. *智能指針 手動(dòng)解引用；
2. 自動(dòng)隱式解引用，直接調(diào)用內(nèi)部字段/方法；
3. 解引用強(qiáng)制轉(zhuǎn)換：函數(shù)傳參自動(dòng)逐層解引用。

示例：Box 自動(dòng)解引用

struct Point { x: i32, y: i32 }
let p = Box::new(Point { x: 1, y: 2 });
println!("{}", p.x); // 自動(dòng) deref，無需 *p

DerefMut 可變解引用

trait DerefMut: Deref {
    fn deref_mut(&mut self) -> &mut Self::Target;
}

Box<T>、RefMut、MutexGuard 均實(shí)現(xiàn)，支持 *mut_ptr = xxx 修改。

四、Drop 析構(gòu) trait

所有所有權(quán)智能指針都實(shí)現(xiàn) Drop，離開作用域自動(dòng)執(zhí)行：

手動(dòng)提前釋放：std::mem::drop(x)，主動(dòng)轉(zhuǎn)移所有權(quán)觸發(fā) Drop。

五、智能指針選型對照表

六、關(guān)鍵使用規(guī)則

1. 所有權(quán)與拷貝

2. 循環(huán)引用泄漏問題

單純 Rc/Arc 雙向引用會(huì)造成計(jì)數(shù)永遠(yuǎn)不為 0，內(nèi)存泄漏；

解決：其中一端改用 Weak 弱指針。

3. 線程安全約束 Send / Sync

4. 解引用強(qiáng)制多態(tài)（函數(shù)傳參自動(dòng)轉(zhuǎn)換）

fn read(s: &str) {}
let b = Box::new("test".to_string());
read(&b);
// &Box<String> → &String → &str 自動(dòng)多層 deref

七、高頻易錯(cuò)點(diǎn)

?? 以下易錯(cuò)點(diǎn)需特別注意

1. Rc 傳給 spawn 線程直接編譯報(bào)錯(cuò)，必須換 Arc；
2. RefCell 在同一作用域同時(shí)存在可變 + 不可變借用，運(yùn)行時(shí) panic；
3. 忘記循環(huán)引用搭配 Weak，長期運(yùn)行內(nèi)存持續(xù)上漲；
4. Mutex lock() 在線程 panic 后鎖中毒，后續(xù)全部阻塞；
5. Box::new 超大數(shù)組會(huì)先在棧構(gòu)造再拷貝堆，超大數(shù)組優(yōu)先 Vec；
6. 混淆借用 &T 和智能指針：&無所有權(quán)，智能指針擁有堆內(nèi)存；
7. Cell 僅支持 Copy 類型，包裹 String 編譯報(bào)錯(cuò)。

八、速記口訣

智能指針實(shí)現(xiàn) Deref+Drop，棧存指針堆存數(shù)據(jù)；
Box 獨(dú)占單所有者，遞歸 trait 對象必備；
Rc 單線程共享，Arc 多線程原子計(jì)數(shù)；
Weak 弱引用防循環(huán)泄漏，upgrade 轉(zhuǎn)為強(qiáng)指針；
RefCell 單線程內(nèi)部可變，運(yùn)行借用檢查；
Mutex/RwLock 多線程鎖，讀寫分離性能更佳；
Deref 自動(dòng)解引用，點(diǎn)號直接訪問內(nèi)部字段；
Rc 禁止跨線程，跨線程共享只用 Arc。

到此這篇關(guān)于Rust 智能指針的實(shí)現(xiàn)的文章就介紹到這了,更多相關(guān)Rust 智能指針內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論