引用计数通过共享控制块管理对象生命周期，每个shared_ptr含对象指针和控制块指针，控制块存储强弱引用计数、删除器及分配器；复制时强引用原子递增，销毁时原子递减，归零则触发删除器释放资源，weak_ptr仅增弱引用计数以解循环引用；其内存开销在于额外堆分配控制块及指针体积增大，性能损耗源于原子操作、间接访问和构造析构成本。
C++智能指针的引用计数机制，本质上就是一套精巧的内存管理策略。它让对象在不再被任何“强”引用指向时，能够自动、优雅地释放其占用的内存。核心在于每个被管理的资源都附带一个共享的计数器，当有新的智能指针指向它时计数器递增，当智能指针生命周期结束时计数器递减，一旦计数归零，就意味着资源可以安全地被回收了。这玩意儿，很大程度上解放了我们对内存的焦虑。
深入到
std::shared_ptr
的实现细节，你会发现它远比表面看起来要复杂一些。一个
shared_ptr
实例其实内部维护了两个指针：一个指向实际的对象，另一个则指向一个所谓的“控制块”（control block）。这个控制块才是引用计数的真正承载者，它通常包含：
强引用计数（strong count）：记录有多少个
shared_ptr
实例共享这个对象。弱引用计数（weak count）：记录有多少个
weak_ptr
实例在观察这个对象。自定义删除器（deleter）：如果用户提供了，用于非堆内存或特殊清理。分配器（allocator）：如果使用了自定义分配器。
每当我们复制一个
shared_ptr
（通过拷贝构造函数或赋值操作符），强引用计数就会原子性地递增。而当一个
shared_ptr
实例被销毁时，强引用计数则会原子性地递减。一旦强引用计数降到零，那就意味着没有任何
shared_ptr
再拥有这个对象了，此时，控制块会调用注册好的删除器来释放实际的对象内存。
这里“原子性”这个词非常关键，因为
shared_ptr
是设计用于多线程环境的。如果没有原子操作，多个线程同时增减计数器就可能导致竞态条件，从而引发严重的内存错误。所以，虽然它带来了便利，但背后也有性能上的考量，毕竟原子操作通常比普通的整型操作要“重”一些。
立即学习“C++免费学习笔记（深入）”；
至于
weak_ptr
，它是个旁观者，只观察不拥有。它指向同一个控制块，但它只影响弱引用计数。当弱引用计数归零，且强引用计数也归零时，控制块本身才会被销毁。这巧妙地解决了后面要提到的循环引用问题。
为什么引用计数是管理C++对象生命周期的有效策略？
说实话，手动管理内存真是件让人头疼的事。在没有智能指针的日子里，我们经常会遇到内存泄漏（忘了
delete
）或者双重释放（
delete
了两次）这种低级错误，而且这些错误还特别难调试。引用计数这种机制，最直接的好处就是把内存管理的职责从程序员身上剥离，转嫁给了语言运行时。
它基于一个非常朴素但又强大的原则：当一个资源不再被任何人需要时，就应该被清理掉。
shared_ptr
完美地诠释了RAII（Resource Acquisition Is Initialization）原则，即资源在构造时获取，在析构时释放。这意味着我们不需要显式地去写
delete
，只要
shared_ptr
离开了作用域，或者它的引用计数归零，内存就自动释放了。这不仅减少了大量的样板代码，也极大地降低了出错的概率。
尤其是在对象所有权关系复杂，或者存在多个“共同所有者”的场景下，引用计数简直是救星。比如，一个数据块可能同时被多个模块读取和处理，每个模块都需要这个数据块存在。用
shared_ptr
，每个模块持有一个，当所有模块都处理完并释放掉它们的
shared_ptr
后，数据块自然就销毁了，省去了我们手动协调谁来
delete
的麻烦。相比之下，
unique_ptr
虽好，但它只适用于独占所有权的场景。所以，引用计数提供了一种灵活且相对安全的共享所有权模型。
C++智能指针引用计数实现中常见的内存开销与性能考量有哪些？
天下没有免费的午餐，引用计数带来的便利也伴随着一定的开销。最直观的就是内存开销。一个
shared_ptr
实例本身就比一个裸指针要大，因为它内部除了指向实际对象的指针，还需要一个指针指向那个控制块。而这个控制块本身也是一块额外的堆内存分配，它存储了强弱引用计数、可能的自定义删除器和分配器。所以，每创建一个
shared_ptr
管理的对象，至少会比裸指针多一次堆分配（控制块），以及每个
shared_ptr
实例本身多几个字节。如果对象是通过
new
创建再传给
shared_ptr
的，那就有两次堆分配了。
然后是性能开销。这主要体现在几个方面：
原子操作：前面提到了，引用计数的增减必须是原子操作，以保证线程安全。原子操作通常比普通的非原子操作要慢，因为它涉及到内存屏障和CPU缓存同步，这会消耗更多的CPU周期，甚至可能导致缓存失效。在高并发场景下，频繁的
shared_ptr
拷贝和销毁可能会成为性能瓶颈。间接访问：
shared_ptr
访问实际对象需要两次解引用：先从
shared_ptr
内部的指针找到控制块，再从控制块找到实际对象。虽然现代CPU的缓存机制能缓解一部分，但相比裸指针直接访问，这无疑增加了访问路径的长度。构造与析构成本：
shared_ptr
的构造、拷贝
以上就是C++智能指针内存 引用计数实现分析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1472221.html
微信扫一扫 
支付宝扫一扫 
