ren的博客

Rust 智能指针：不仅能指向数据，还能管理数据

 
  • 2026年 03月30日

概述

在 Rust 里，指针（pointer）可以先理解成“保存某个内存地址的值”。这个地址指向别的数据，于是我们就能通过它间接访问目标内容。

最常见的指针是引用（reference），也就是 &T 和 &mut T。引用只负责“借用数据”，本身非常轻量，几乎没有额外负担。

而智能指针（smart pointer）则更进一步：

  • 它的行为像指针
  • 它也能指向一块数据
  • 但它还会附带额外的元数据和能力

也就是说，智能指针不只是“指向”，还会“管理”。

什么是智能指针

智能指针不是 Rust 独有的概念，它最早广泛出现在 C++ 中，在很多语言里都能找到类似设计。

在 Rust 中，智能指针通常是一个结构体，只不过这个结构体专门负责包装某个值，并在包装过程中提供额外功能，例如：

  • 在堆上分配数据
  • 记录当前有多少个所有者
  • 控制何时释放资源
  • 在运行时检查借用规则

所以可以把它理解成：

智能指针 = 像引用一样可间接访问数据 + 额外的管理能力

智能指针和引用的区别

引用和智能指针都能让我们“通过别的东西访问数据”，但它们关注点不同。

引用更像“借用入口”

引用最核心的职责是：

  • 借用某个值
  • 不获取所有权
  • 由编译器在编译期检查借用规则

例如：

let s = String::from("hello");
let r = &s;

println!("{}", r);

这里的 r 只是借用了 s，并不拥有它。

智能指针很多时候会拥有数据

智能指针常常会把数据包起来，并成为这个数据的拥有者。它不只是“看一眼”，而是“负责管理这个值的生命周期”。

例如 Box<T> 会拥有它装进去的值：

let x = 5;
let b = Box::new(x);

println!("{}", b);

这里 b 持有这个堆上的值，并在离开作用域时负责释放它。

可以这样记

  • 引用：我先借来用一下
  • 智能指针：这个值交给我包装和管理

为什么 Rust 里的智能指针特别重要

Rust 有严格的所有权和借用规则，这带来了内存安全，但也意味着很多场景不能只靠普通引用解决。

比如下面这些需求：

  • 想把一个值放到堆上，而不是栈上
  • 想让多个地方共同拥有同一份数据
  • 想在表面不可变的情况下修改内部状态
  • 想在离开作用域时执行自定义清理逻辑

这些都需要智能指针来支持。

所以，智能指针在 Rust 里不是“高级技巧”，而是日常开发里很常见的一类工具。

智能指针依赖的两个核心 Trait

Rust 中的智能指针之所以“像指针”，通常离不开两个 trait：

  • Deref
  • Drop

Deref：让智能指针像引用一样使用

实现了 Deref 之后，智能指针就可以在很多地方表现得像引用。

例如：

  • 可以通过解引用操作访问内部值
  • 可以触发 Deref coercion（解引用强制转换）
  • 让函数既能接收引用，也能自然接收某些智能指针

这也是为什么很多包装类型用起来不会特别别扭。

Drop：离开作用域时执行清理逻辑

实现了 Drop 后，一个值离开作用域时就会自动执行对应清理代码。

这让 Rust 可以优雅地管理资源，例如：

  • 释放堆内存
  • 关闭文件
  • 释放锁
  • 递减引用计数

你可以把它理解成 Rust 的“自动收尾钩子”。

本章常见的几种智能指针

学习智能指针时，最重要的是先分清每一种类型解决的是什么问题。

Box<T>

Box<T> 用来把值分配到堆（heap）上。

它常见于：

  • 编译期无法确定大小的递归类型
  • 不希望在栈上保存大对象
  • 想明确表达“单一所有者，但数据在堆上”

Rc<T>

Rc<T> 是引用计数（reference counting）智能指针。

它允许一份数据同时拥有多个所有者。每多一个拥有者，计数就加一；当最后一个拥有者离开作用域时，数据才会被清理。

适用场景通常是：

  • 单线程环境
  • 多处共享只读数据

RefCell<T>

RefCell<T> 提供了内部可变性（interior mutability）。

正常情况下，借用规则由编译器在编译期检查；而 RefCell<T> 会把这部分检查延后到运行时。

它的意义在于：

  • 即使外层值是不可变的
  • 依然可以通过受控方式修改内部数据

与它配套出现的还有：

  • Ref<T>
  • RefMut<T>

它们表示运行时借用得到的不可变借用和可变借用。

什么是内部可变性

“内部可变性”这个名字一开始容易绕，其实核心意思很直接：

一个值在外部看来是不可变的，但它内部的某些状态仍然可以变化。

这听起来像是在绕过规则，但实际上并不是。Rust 只是把一部分原本在编译期完成的检查，转移到了运行时，并通过 RefCell<T> 来保证安全边界。

这个模式很适合：

  • 测试替身（mock object）
  • 需要在共享上下文里记录状态
  • 某些编译器难以静态判断、但程序员能确认安全的场景

学智能指针时一定要注意的问题

智能指针很强大，但也意味着要更关注“谁拥有数据、谁负责释放、什么时候会冲突”。

1. 不同智能指针解决的是不同问题

不要把它们都看成“高级引用”。

  • Box<T> 重点是堆分配
  • Rc<T> 重点是共享所有权
  • RefCell<T> 重点是运行时借用检查和内部可变性

如果问题没分清，类型就容易选错。

2. 共享所有权不等于无限自由

比如 Rc<T> 虽然可以多所有者共享，但它默认只适合不可变访问。很多时候你会看到它和 RefCell<T> 组合使用：

Rc<RefCell<T>>

这是一种很常见的组合，但也意味着复杂度上升了。

3. 引用循环会导致内存泄漏

Rust 能自动释放大多数资源，但如果多个 Rc<T> 互相强引用，引用计数就永远不会归零，数据也就无法释放。

这就是引用循环（reference cycle）。

所以学习智能指针时，不只是学“怎么用”，还要学“怎么避免把结构设计成环”。

这一章到底在学什么

如果把第 15 章压缩成一句话，它其实是在回答：

当普通引用不够用时，Rust 提供了哪些受控的方式来管理数据？

你会逐步接触这些能力：

  • 如何把值放到堆上
  • 如何让数据拥有多个所有者
  • 如何在运行时检查借用
  • 如何自定义资源释放行为
  • 如何识别并避免引用循环

先记住这几个结论

刚开始学智能指针时，可以先把下面几句话记住：

  • 引用只负责借用，智能指针往往还负责管理
  • 智能指针通常是结构体，不是语言层面的特殊语法
  • Deref 让它“用起来像引用”
  • Drop 让它“离开作用域时能自动清理”
  • Box<T>、Rc<T>、RefCell<T> 分别解决不同问题
  • 智能指针越强，通常也越需要你更清楚所有权关系

小结

智能指针是 Rust 中非常重要的一组工具。它们看起来像指针，但本质上是在“安全前提下管理资源”的一整套设计。

理解这一章的关键，不是死记每个类型的 API，而是先抓住下面这条主线：

为什么普通引用不够用，以及 Rust 如何用不同的智能指针补上这些能力。

接下来继续往下学时，可以按这个顺序理解：

  1. 先看 Box<T>，理解“堆上分配”和“递归类型”
  2. 再看 Deref 和 Drop，理解智能指针为什么像引用、又为什么能自动清理
  3. 然后学习 Rc<T> 和 RefCell<T>，理解共享所有权与内部可变性
  4. 最后重点掌握引用循环问题

这样整章就会顺很多。

搜索