unique/shared/weak智能指针

可视化演示

动态展示哈希函数将查找键映射到桶中并通过链地址法解决冲突的查找过程，直观呈现O(1)平均时间复杂度的哈希查找原理。

智能指针概述

藏书楼下水道曾经堵过三次，每次都是因为有人把写着藏书位置的纸片扔进了管道。纸片本身不会损坏书，但它会过期、会丢失、会被误认为“这本书归我管”。在 C++ 里，这种纸片就是裸指针：它只保存地址，不承担任何资源管理责任。而 RAII（资源获取即初始化）则是藏书楼的消防条例：每当一本书被取出来，必须放在一个“带感应器的书盒”里，书盒销毁的瞬间自动锁门。

感应器书盒就是智能指针。它的核心思想是：把资源的生命周期绑定到栈对象的生命周期上——栈对象构造时获取资源，析构时释放资源。书盒离开过道（作用域）就被回收，书也随之安全上锁。这个思想从 C++98 的 auto_ptr 一路演进，到 C++11 终于分化出三种职责清晰的身份卡。

三种身份卡的所有权语义各不同：独享卡（unique_ptr）拒绝复印、支持过户；共享卡（shared_ptr）在登记簿上累计人数；观察卡（weak_ptr）只看不借、不签名。选对卡，藏书楼才会真正安宁。

于是，裸指针时代“纸条乱飞”的混乱被 RAII 收编成三条清晰车道。接下来我们逐一上车。

unique_ptr独占

你去办了一张“独享借书证”，页面上印着一行大字：本书仅限一人持有。如果你想把它借给同事，必须到柜台办过户——把你的名字划掉，写上同事的名字。这就是 std::move 做的事。而复印这张证？法律明令禁止，编译器会直接拒绝：unique_ptr 的拷贝构造和拷贝赋值被显式删除。

从技术上展开：unique_ptr<T> 独占所有权，它只允许移动构造与移动赋值。“移动”意味着所有权转移而不是数据复制。转移之后，原指针立即置空，杜绝了两个 unique_ptr 同时指向同一对象的可能。默认删除器是 delete，但你也可以提供自定义删除器——比如藏书楼规定某些古籍要用丝绸包裹后销毁，那就传一个执行“特殊销毁流程”的仿函数或 lambda 进去。

为什么这种“不近人情”的独占反而安全？因为所有权唯一，就不存在“两个部门都以为自己在管这本书”的歧义。编译器把你的意图写进合同，任何试图复印的行为在编译期就被罚款了。

回到藏书楼：独享借书证保证了“一本书永远只有一个责任人”。当你明确知道某份资源只有一个主人时——比如 AI 推理引擎中一帧图像的独占流——直接选 unique_ptr，它最轻快，也最不会出意外。

shared_ptr共享

如果一本书确实需要多人共读呢？藏书楼推出了“多人共借登记簿”：每个人借书时在登记簿上签一笔，归还时划掉一笔。登记簿上的数字就是 shared_ptr 的引用计数。零时，管理员才把书下架销毁。这个登记簿在实现上是一个独立于对象本体的“控制块”（control block），里面存着引用计数和删除器。

技术细节是：每次拷贝 shared_ptr，控制块里计数加一；每次析构，计数减一；减到零，控制块调用删除器释放对象，再释放自身。需要注意，引用计数的增减是原子操作，因此多个线程同时对同一个 shared_ptr 做拷贝或析构不会出错——但计数归零后的对象读写与其他线程的数据竞争是另一回事，对象本身并不自动加锁，就像登记簿上的数字不会出错，但书页被两个读者同时撕扯照样会坏。

控制块的存在还解释了 shared_ptr 的两个特点：一是即使对象已销毁，控制块也可能因为 weak_ptr 的存在而幸存；二是同一裸指针如果被两个 shared_ptr 分别“包装”，就会产生两个独立登记簿，最终导致同一本书被销毁两次。

登记簿让多人共享成为可能——AI 训练框架里，一份模型权重被优化器、调度器、检查点同时引用，用 shared_ptr 恰好让所有人共享同一份参数，而不用担心谁先释放。

weak_ptr观察

登记簿虽好，却有一个隐患：如果两本书互相在对方的登记簿上签名（A 持有 B，B 也持有 A），那么两边的计数永远不会归零，书也就永远无法下架。这就是循环引用。藏书楼的解法是发放“目录检索卡”——weak_ptr。它像目录卡片一样只告诉你书在哪、是否在架，但它不会在登记簿上签名，因此不会增加引用计数。

weak_ptr 不能直接解引用访问对象，必须先调用 lock() 尝试“升级”成 shared_ptr。如果书还在架上，升级成功，返回一个临时的 shared_ptr（计数临时加一，访问安全）；如果书已下架，升级失败，返回空指针。它还提供 expired() 来判断目标是否已销毁。

这正好破解循环引用：让环中的一方持有 weak_ptr。比如 A 指向 B 用 shared_ptr，B 指回 A 用 weak_ptr，那么从外部释放 A 时，A 的计数归零销毁，B 里的 weak_ptr 自动变成空卡，B 随后也能正常销毁。书环从中间被剪断，整条链自然瓦解。

目录卡让“观察”与“持有”彻底分离。在缓存系统、观察者模式里，普通模块只需要知道对象是否还在，不需要为它续命，这正是 weak_ptr 的用武之地。

make系列工厂

藏书楼开了一个“集中办证窗口”，你只需报出书名，办证员一次把书证和登记簿都办好。这就是 std::make_unique 和 std::make_shared。与之相对的老办法是 new 出裸指针再塞进智能指针——相当于你先拿一张裸纸条去库房取书，再跑到柜台补办登记手续，中间一旦发生意外（比如取书时楼里停电、注册新书时抛出异常），纸条上的书就没人管了。

make_shared 还有一个隐藏福利：它把对象和控制块一次性分配在同一块内存里，只调用一次 malloc；而 shared_ptr<T>(new T) 需要分别分配对象内存和控制块内存，两次分配不仅慢，而且内存碎片更多。一块内存，两个用途，像把登记簿直接贴在书盒上，省了一道搬运工序。

异常安全是 make 系列的另一个关键词：f(shared_ptr<int>(new int), g()) 这种写法，C++ 允许先执行 new int、再调用 g()、最后构造 shared_ptr。如果 g() 抛异常，new 出来的裸指针就会泄漏。而用 make_shared 根本不存在裸指针中间态，异常无论从哪里抛出，资源都已处于智能指针管理之下，安全网织得严严实实。

从此藏书楼的规矩变为：凡是新进馆的书，一律走集中办证窗口，不要在馆里拿着裸纸条晃来晃去。

陷阱与最佳实践

藏书楼运行多年，管理员们总结出一套“避坑守则”，这些守则对应着智能指针最常见的陷阱。第一坑是循环引用：两个对象互相持有 shared_ptr，引用计数永远不为零。解决办法是把其中一方改为 weak_ptr，剪断环；第二坑是从同一个裸指针构造多个 shared_ptr——每个包装各自建独立登记簿，书会被销毁两次，double free 崩溃，必须用 make 或拷贝已有 shared_ptr 来共享登记簿。

第三坑是长期保存 get() 返回的裸指针。get() 只是临时取一本书的位置信息，好比管理员把目录卡复印了一份给你，而书随时可能被下架。你手里的复印件就成了悬空指针。第四坑是性能考量：shared_ptr 的拷贝涉及原子计数操作，在高并发下是可见开销；unique_ptr 零额外负担，因此凡是能确定唯一所有权的场景，先用 unique_ptr，不要一律 shared_ptr。

最佳实践总结成一句话选型口诀：默认 unique_ptr；需要真正共享所有权时升级 shared_ptr；只观察、防环时使用 weak_ptr；创建对象一律交给 make 系列。按这个路径走，藏书楼可以几十年不出事故。

守则的终点是习惯。当“先问所有权，再选指针”成为肌肉记忆，藏书楼的管理艺术就真正内化成了你自己的工程能力。

AI 应用场景

Python 演示

# -*- coding: utf-8 -*-"""用 Python 模拟 C++ shared_ptr 的引用计数与控制块语义"""  class ControlBlock:    """模拟 shared_ptr 的控制块：持有资源对象并记录引用计数"""     def __init__(self, obj):        self.obj = obj        self.ref_count = 1     def add_ref(self):        self.ref_count += 1     def release_ref(self):        self.ref_count -= 1        if self.ref_count == 0:            print("控制块: 引用计数归零, 释放对象")            self.obj = None            return True        return False  class SimSharedPtr:    """模拟 shared_ptr: 拷贝时增加计数, 析构时减少计数"""     def __init__(self, obj=None, block=None):        if block is not None:            self._block = block            self._block.add_ref()        else:            self._block = ControlBlock(obj)     def __del__(self):        if self._block is not None:            self._block.release_ref()            self._block = None     def use_count(self):        return self._block.ref_count if self._block else 0     def __repr__(self):        return f"SimSharedPtr(count={self.use_count()})"  def main():    a = SimSharedPtr("hello")    print(a, "-> 资源对象:", a._block.obj)    b = SimSharedPtr(block=a._block)  # 模拟 shared_ptr 拷贝构造    c = SimSharedPtr(block=a._block)    print(b, c, "-> 三个持有者共享同一控制块")    del b    del c    print(a, "-> 引用计数回到 1")    del a    print("main 结束: 对象已随最后一个持有者销毁")  if __name__ == "__main__":    main()

1. self._block = ControlBlock(obj)创建控制块，初始引用计数为 1，相当于给新书建登记簿。
2. self._block.add_ref()拷贝构造时控制块计数加一，等价于 C++ 的 shared_ptr 拷贝。
3. release_ref()析构时计数减一，归零时清空对象引用并通知“销毁”。
4. self._block = None显式断开与已释放控制块的连接，避免重复析构。
5. use_count()返回当前引用计数，等价于 C++ 的 use_count() 接口。

常见误区

面试题