std::shared_ptr是最实用的引用计数方案,因其线程安全、支持自定义删除器、分离式计数存储、weak_ptr破循环引用等特性,远超手写易出错的简易实现。
纯 C++ 标准库不提供自动垃圾回收(GC),但引用计数是一种可手动实现、轻量且确定性释放的内存管理方式——它不是 GC,但能解决大部分悬空指针和内存泄漏问题。
为什么 std::shared_ptr 是最实用的引用计数方案
自己手写引用计数容易出错:多线程竞争、构造/析构顺序、循环引用等。而 std::shared_ptr 已在标准库中被充分验证:
- 引用计数存储在堆上(与所管对象分离),避免对象大小膨胀
- 拷贝/赋值时原子更新计数(默认启用,可禁用以换性能)
- 支持自定义删除器,能管理非
new分配的资源(如mmap内存、C 风格句柄) -
std::weak_ptr可打破循环引用,这是手写计数器最难安全实现的部分
手写简易引用计数类会踩哪些坑
若出于学习或嵌入式限制必须手写,以下问题几乎必然出现:
- 未将引用计数变量声明为
std::atomic→ 多线程下计数错乱,提前释放或永不释放 - 在构造函数里直接 new 计数器,但构造抛异常 → 计数器泄露,且对象未建好
- 把计数器和对象放在同一块内存(intrusive design),却没对齐或忽略虚函数表偏移 → 读写越界
- 拷贝构造时先增计数再赋值,但赋值过程抛异常 → 计数已加,但指针未保存,泄漏
- 没有
release()或reset()接口 → 无法主动交出所有权,灵活性极差
std::shared_ptr 和 std::unique_ptr 怎么选
引用计数不是银弹。是否启用共享语义,决定了底层开销和行为: