悠悠楠杉
网站页面
shared_ptr引用计数原理与循环引用问题解决方案
08/28
一、shared_ptr引用计数工作原理
sharedptr是C++11引入的智能指针，其核心通过引用计数（Reference Counting）实现自动内存管理。当最后一个持有对象引用的sharedptr销毁时，才会释放托管的内存。
引用计数实现机制
控制块结构
每个shared_ptr关联一个隐藏的控制块，包含：
cpp struct ControlBlock { int ref_count; // 当前引用计数 T* managed_object; // 托管对象指针 Deleter deleter; // 自定义销毁器 };计数增减规则
- 构造时：新shared_ptr与原指针共享控制块，
ref_count++
cpp std::shared_ptr<Foo> p1(new Foo); // ref_count=1 auto p2 = p1; // ref_count=2 - 析构时：调用析构函数使
ref_count--，当计数归零时调用deleter
- 构造时：新shared_ptr与原指针共享控制块，
线程安全问题
标准库实现采用原子操作保证多线程环境下引用计数的正确性，但注意：托管对象本身的访问仍需额外同步。
二、循环引用问题详解
典型案例
cpp
class Node {
public:
std::shared_ptr
~Node() { cout << "Node destroyed" << endl; }
};
auto node1 = makeshared
node1->next = node2; // node1引用node2
node2->next = node1; // node2引用node1
当node1和node2离开作用域时：
1. node1的引用计数从2→1（因node2->next持有）
2. node2的引用计数从2→1（因node1->next持有）
3. 双方都无法归零→内存泄漏
问题本质
循环引用导致对象间形成闭环依赖，引用计数永不为零，违背RAII原则。
三、解决方案：weak_ptr弱引用
weak_ptr核心特性
- 不增加引用计数（
use_count()不变） - 必须通过
lock()转换为shared_ptr才能访问对象 - 对象被销毁后，
expired()返回true
改造循环引用
cpp
class SafeNode {
public:
std::weak_ptr
};
auto node1 = makeshared
node1->next = node2;
node2->next = node1;
// 安全访问示例
if(auto temp = node1->next.lock()) {
temp->doSomething(); // 临时shared_ptr生命周期结束后自动释放
}
工程实践建议
所有权设计原则
- 明确父子关系：父对象用sharedptr，子对象用weakptr
- 观察者模式：被观察者用sharedptr，观察者用weakptr
性能考量
weak_ptr的lock()操作涉及原子指令，高频调用场景需谨慎。调试技巧
VS调试器可显示strong_refs和weak_refs计数，辅助分析内存问题。
四、其他解决方案对比
| 方案 | 优点 | 缺点 |
|--------------------|-----------------------|-----------------------|
| 手动打破循环 | 无需额外类型 | 容易遗漏，维护成本高 |
| 使用原始指针 | 零开销 | 完全丧失自动管理能力 |
| 第三方GC库 | 自动化程度高 | 引入外部依赖 |
结论：weak_ptr是平衡安全性与性能的最佳实践，已成为现代C++项目的标准配置。
