如何用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)，需先算出控制块地址才能正确释放整块内存。

标签： 字节 c++ 标准库 red