如何用c++从零实现一个简单的shared_ptr 智能指针工作原理【深入剖析】

shared_ptr的核心设计目标是自动管理堆内存生命周期，支持多引用共享并在最后一个引用销毁时自动释放资源；它通过独立的控制块记录强引用计数、删除器等信息，并确保控制块与对象内存协同分配和释放。

shared_ptr 的核心设计目标

shared_ptr 要解决的核心问题是：**自动管理堆内存的生命周期，支持多份引用共享同一对象，并在最后一个引用销毁时自动释放资源**。它不是靠“记住所有指针”来实现，而是引入一个独立的、与托管对象分离的**控制块（control block）**，用来记录当前有多少 shared_ptr 指向该对象（引用计数），以及可选的删除器、分配器等信息。

控制块结构与内存布局

标准 shared_ptr 通常将控制块和托管对象分开分配（默认情况下），但为简化实现，常见教学版采用“一块内存同时存放控制块 + 对象”的方式（即使用 placement new）。控制块至少需包含：

• weak_count：弱引用计数（用于 weak_ptr，本例暂略）
• shared_count：强引用计数（即当前有多少个 shared_ptr 指向该对象）
• deleter：自定义删除逻辑（如 delete、delete[]、lambda 等），本例先用函数指针或 std::function 封装
• allocator：可选，本例忽略

关键点：控制块必须能通过托管对象地址反向找到自己（否则 reset 或析构时无法访问计数），所以一般把控制块放在对象之前，或用额外指针关联。教学实现中更常用的是「统一 new 一块内存，前 sizeof(control_block) 字节放控制块，后续放对象」。

构造、拷贝与赋值的引用计数逻辑

每次创建新的 shared_ptr（无论是通过 new 构造、拷贝构造，还是赋值），都要让控制块中的 shared_count 加 1；每次 shared_ptr 销毁（析构）或重置（reset），都要减 1；当 shared_count 减到 0，就调用 deleter 释放对象并销毁控制块。

立即学习“C++免费学习笔记（深入）”；

• 构造（T* ptr）：new 一块足够大的内存（sizeof(control_block) + sizeof(T)），在前部构造 control_block（shared_count=1），在后部 placement new 构造 T 对象
• 拷贝构造 / 拷贝赋值：将源 shared_ptr 的控制块指针复制过来，并对 shared_count 原子地加 1（实际应 std::atomic，教学可用 int + 注释说明线程不安全）
• 析构：对 shared_count 原子减 1；若结果为 0，则调用 deleter 释放对象，再 delete 控制块本身

注意：不能直接 delete ptr，因为 ptr 是对象地址，而控制块地址 = ptr - sizeof(control_block)，需先算出控制块地址才能正确释放整块内存。

Brev AI

Brev.ai：搭载Suno AI V3.5技术的免费AI音乐生成器

437

查看详情

关键成员函数与操作符重载

一个最小可行 shared_ptr 需支持：

• get()：返回原始指针（即对象地址）
• operator->() 和 operator*()：支持像原生指针一样访问成员和解引用
• reset()：放弃当前所有权，若原引用是最后一个，则立即释放；可接受新指针重绑定
• use_count()：返回当前 shared_count（调试用，非线程安全读取）
• operator bool()：判断是否持有有效对象（即 get() != nullptr）

所有这些操作都不修改所指对象，只影响控制块状态。例如 operator-> 直接返回保存的 raw_ptr；reset 则先尝试减少旧控制块计数，再按需初始化新控制块。

不复杂但容易忽略的细节

真正写起来会踩几个典型坑：

• 控制块和对象的内存必须同一次分配（或确保能安全反查），否则 delete ptr 会漏掉控制块内存泄漏
• deleter 必须能处理任意类型（包括数组、自定义释放逻辑），推荐用 type-erasure（如 void* + 函数指针）或模板成员函数封装
• 拷贝/移动语义要严格区分：拷贝增加计数，移动应转移所有权（源变为 nullptr，计数不减），C++11 后必须实现移动构造和移动赋值
• 空 shared_ptr（如 default 构造）必须保证 get()==nullptr、use_count()==0、析构无副作用

掌握这些，你就看清了 shared_ptr 不是“魔法”，而是一套围绕控制块精心设计的引用计数协议。标准库实现更复杂（支持别名构造、定制分配器、weak_ptr 协同等），但骨架一致。

以上就是如何用c++++从零实现一个简单的shared_ptr 智能指针工作原理【深入剖析】的详细内容，更多请关注php中文网其它相关文章！