shared_ptr控制块在哪 引用计数存储位置解析

shared_ptr的控制块位置取决于创建方式:make_shared时控制块与对象同分配,提升性能;通过原始指针构造时则单独分配控制块,需两次内存操作,效率较低且易引发double free。

shared_ptr控制块在哪 引用计数存储位置解析

shared_ptr

的控制块,也就是存储引用计数的地方,它的位置并不固定,取决于

shared_ptr

是如何创建的。理解这一点至关重要,因为它关系到内存管理和资源共享的效率。

控制块的位置可以归纳为以下两种主要情况:

控制块和引用计数存储位置解析

1. make_shared创建的对象

使用

make_shared()

创建对象时,控制块会和对象本身一起分配在同一块连续的内存区域。这意味着只需要一次内存分配,效率更高,同时也减少了内存碎片化的可能性。

例如:

#include #include int main() {  auto ptr = std::make_shared(42);  // 控制块和int对象在同一块内存中  return 0;}

这种方式是推荐的用法,因为它在性能和异常安全性方面都更优。

2. 通过原始指针创建 shared_ptr

当使用原始指针(例如

new T()

)来构造

shared_ptr

时,控制块会单独分配一块内存。 这种情况下,需要两次内存分配:一次用于对象本身,另一次用于控制块。

例如:

#include #include int main() {  int* rawPtr = new int(42);  std::shared_ptr ptr(rawPtr);  // 控制块和int对象分别在不同的内存块中  return 0;}

需要特别注意的是,如果使用同一个原始指针多次创建

shared_ptr

,会导致double free的问题,因为每个

shared_ptr

都会认为自己拥有该指针的所有权,并在析构时尝试释放它。这是

shared_ptr

使用时最容易犯的错误之一。

使用原始指针创建 shared_ptr 的正确姿势

#include #include int main() {  int* rawPtr = new int(42);  std::shared_ptr ptr1(rawPtr, [](int* p){    std::cout << "Custom deleter called" << std::endl;    delete p;  });  std::shared_ptr ptr2 = ptr1; // 正确,共享所有权  return 0;}

为什么

make_shared

更高效?

因为

make_shared

只需要一次内存分配,而直接使用

new

后用原始指针构造

shared_ptr

需要两次。 此外,

make_shared

在异常安全性方面也更胜一筹。 如果在使用

new

分配对象后,但在构造

shared_ptr

之前抛出异常,则可能导致内存泄漏。

make_shared

则避免了这种风险,因为它在同一操作中分配对象和控制块。

控制块还存储了什么?

除了引用计数,控制块还可能存储以下信息:

弱引用计数: 用于

weak_ptr

,跟踪有多少

weak_ptr

指向该对象。自定义删除器: 如果在创建

shared_ptr

时指定了自定义删除器,则删除器的指针也会存储在控制块中。分配器: 用于管理对象内存的分配器,在自定义分配的场景下会用到。

多线程环境下的引用计数

在多线程环境中,引用计数的更新必须是原子操作,以避免竞争条件。

shared_ptr

内部使用了原子操作来保证引用计数的线程安全性。 这会带来一定的性能开销,但在大多数情况下,这种开销是可以接受的。

循环引用问题

shared_ptr

的一个常见问题是循环引用,即两个或多个对象彼此持有对方的

shared_ptr

,导致引用计数永远不为零,从而造成内存泄漏。 解决循环引用的方法是使用

weak_ptr

weak_ptr

不会增加引用计数,因此可以打破循环。

如何避免循环引用?

使用

weak_ptr

来打破循环引用。

weak_ptr

是一种弱引用,它不会增加对象的引用计数。 当对象不再被任何

shared_ptr

引用时,即使还有

weak_ptr

指向它,对象也会被销毁。

什么时候应该使用原始指针?

尽管

shared_ptr

在很多情况下都是管理动态分配内存的首选方式,但在某些情况下,使用原始指针可能更合适:

性能至关重要:

shared_ptr

的引用计数操作会带来一定的性能开销,在对性能要求极高的场景下,可能需要考虑使用原始指针。与C API交互: C API通常使用原始指针,因此在与C API交互时,可能需要使用原始指针。对象生命周期明确: 如果对象的生命周期非常明确,并且可以手动管理,那么使用原始指针可能更简单。

如何选择合适的智能指针?

C++ 提供了多种智能指针,包括

unique_ptr

shared_ptr

weak_ptr

。 选择合适的智能指针取决于对象的所有权和生命周期管理需求。

unique_ptr

用于独占所有权,即只有一个智能指针指向该对象。 当

unique_ptr

销毁时,它会自动释放所拥有的对象。

shared_ptr

用于共享所有权,即多个智能指针可以指向同一个对象。 当最后一个

shared_ptr

销毁时,它会自动释放所拥有的对象。

weak_ptr

用于观察

shared_ptr

所拥有的对象,但不增加引用计数。 用于打破循环引用。

理解

shared_ptr

控制块的位置和作用对于编写高效、安全的 C++ 代码至关重要。 优先使用

make_shared

创建对象,避免使用同一个原始指针多次创建

shared_ptr

,并注意避免循环引用,可以帮助你更好地利用

shared_ptr

管理内存,减少内存泄漏和程序崩溃的风险。

以上就是shared_ptr控制块在哪 引用计数存储位置解析的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1472736.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月18日 19:51:43
下一篇 2025年12月18日 19:51:56

相关推荐

  • C++模板参数推导 构造函数自动推导规则

    C++17引入类模板参数推导(CTAD),允许编译器根据构造函数参数自动推导模板类型,如std::pair p(1, 2.0);可自动推导为std::pair,无需显式指定类型,简化了模板实例化过程。该特性适用于标准库容器(如vector、tuple)和自定义类模板,结合自定义推导指南可实现更灵活的…

    2025年12月18日
    000
  • C++ placement new怎么用 指定内存地址构造对象

    placement new用于在指定内存地址构造对象,语法为new (address) Type(args),适用于内存池、共享内存等场景,需手动调用析构函数并管理内存生命周期。 在C++中,placement new 是一种特殊的 new 表达式,允许你在已分配的内存地址上构造对象。它不会分配新的…

    2025年12月18日
    000
  • C++模板元编程 编译期计算优化技巧

    使用constexpr和consteval可在编译期完成计算,提升性能;2. 编写递归constexpr函数如factorial,确保编译器在编译阶段求值,减少运行时开销。 在C++模板元编程中,利用编译期计算可以显著提升程序性能,减少运行时开销。关键在于让编译器在编译阶段完成尽可能多的计算工作,从…

    2025年12月18日
    000
  • noexcept关键字怎么用 移动操作优化指南

    noexcept关键字能提升移动操作性能,当移动构造函数或赋值运算符不抛异常时应标记为noexcept,标准库如std::vector在扩容时会优先移动而非拷贝,前提是移动操作为noexcept,否则退化为拷贝以保证异常安全,正确使用可显著提升效率。 在C++中,noexcept关键字对移动操作的性…

    2025年12月18日
    000
  • C++分支预测优化 likely unlikely宏

    C++20引入[[likely]]和[[unlikely]]属性以优化分支预测,提示编译器某分支更可能或更不可能执行,结合__builtin_expect可兼容旧编译器,常用于错误处理、空指针检查等场景,正确使用可提升性能。 在C++中,特别是在对性能要求较高的场景下,分支预测优化可以帮助编译器生成…

    2025年12月18日
    000
  • C++智能指针数组 unique_ptr数组特化

    使用std::unique_ptr可安全管理动态数组,避免内存泄漏。它自动调用delete[],支持下标访问与移动语义,不支持拷贝和指针算术,需配合make_unique使用,适用于轻量级数组管理场景。 在C++中,std::unique_ptr 是用于管理动态分配对象的智能指针,提供独占所有权语义…

    2025年12月18日
    000
  • C++内存重释放问题 双重释放风险防范

    答案:智能指针能显著降低但不能完全杜绝内存重释放风险。通过自动释放、所有权管理和避免悬挂指针,std::unique_ptr和std::shared_ptr可有效防止重复释放;但循环引用(可用std::weak_ptr解决)、自定义删除器错误、与裸指针混用、多线程竞争及不完整类型等问题仍可能导致内存…

    2025年12月18日
    000
  • C++内存模型演进 C++11到C++20改进

    C++11内存模型的核心是通过std::atomic和std::memory_order定义多线程下内存操作的可见性与顺序性,建立happens-before关系以避免数据竞争,确保程序正确性和可移植性。 C++内存模型自C++11引入以来,为多线程编程提供了正式且跨平台的语义基础,极大地解决了此前…

    2025年12月18日
    000
  • C++成员访问控制 public private protected区别

    public成员可被类内、类外和派生类访问;private成员仅类内可访问;protected成员类内和派生类可访问,类外不可访问;继承方式影响基类成员在派生类中的访问权限。 在C++中,public、private 和 protected 是类成员的访问控制符,用于控制类成员(变量、函数)在不同上…

    2025年12月18日
    000
  • C++文件缓冲区刷新 flush同步时机选择

    刷新文件缓冲区是为了确保数据持久化,防止程序崩溃导致数据丢失。应在关键数据写入后、程序结束前、需与其他进程同步或调试时手动刷新;而在性能敏感场景、日志记录或写入临时数据时应避免频繁刷新。选择策略需权衡安全与性能,可结合自动刷新、增大缓冲区或异步写入。若刷新失败,应检查流状态,记录日志,有限重试,必要…

    2025年12月18日
    000
  • make_shared和直接new shared_ptr有什么区别 性能与异常安全对比

    c++++中make_shared比直接new创建shared_ptr更高效且异常安全。1.性能方面:make_shared一次性分配内存用于对象和控制块,减少内存分配次数;而new需两次独立分配,效率较低。2.异常安全方面:使用make_shared时若构造抛出异常不会导致资源泄漏,而new可能引…

    2025年12月18日 好文分享
    000
  • 如何配置C++性能分析工具 Perf和VTune使用

    配置Perf和VTune需安装并设置权限,确保编译含-g调试信息,调整kernel.perf_event_paranoid=-1以解决符号缺失;VTune需正确设置环境变量、加载内核模块并检查权限与防火墙,更新版本或查日志排错;分析多线程程序时用-t指定TID、生成火焰图、命名线程、监测锁竞争及调节…

    2025年12月18日
    000
  • C++栈内存管理 局部变量分配原理

    栈内存用于存储局部变量和函数调用信息,遵循LIFO原则,由编译器和操作系统协同管理;其分配速度快,生命周期与作用域绑定,作用域结束自动释放;避免栈溢出需限制递归深度、避免大局部变量、合理使用堆内存;栈适用于短生命周期、固定大小的变量,堆适用于长生命周期、动态大小的数据结构;局部变量的作用域决定其可访…

    2025年12月18日
    000
  • C++文件位置控制 seekg tellg函数用法

    seekg用于移动文件读取指针,tellg获取当前指针位置,二者结合可实现文件的随机访问。示例中先用tellg记录初始位置,读取一行后再次调用tellg获取新位置,随后用seekg跳回文件开头重新读取,再跳至文件末尾获取文件大小,最后跳转到指定偏移读取部分内容。处理大文件或二进制数据时需以binar…

    2025年12月18日
    000
  • C++数据结构布局 缓存行友好设计

    数据结构的内存布局影响缓存命中率,优化可提升性能。1. 伪共享因多线程访问同一缓存行导致频繁同步,可通过alignas(64)使变量独占缓存行避免;2. 结构体成员按大小降序排列并手动填充,减少内存碎片,提高缓存利用率;3. 数组结构体(AoS)在部分字段访问时浪费带宽,改为结构体数组(SoA)实现…

    2025年12月18日
    000
  • C++通讯录程序开发 vector容器存储联系人

    使用vector存储联系人信息可动态管理数据,通过结构体封装姓名、电话等字段,实现添加、显示、查找、删除功能,代码简洁且易扩展,适合中小型通讯录程序开发。 用C++开发一个通讯录程序,使用 vector 容器来存储联系人信息是一种常见且高效的做法。它能动态管理联系人数量,避免固定数组的大小限制。下面…

    2025年12月18日
    000
  • 结构体与联合体嵌套使用 复杂数据类型组合技巧

    结构体和联合体的本质区别在于内存分配:结构体各成员占用独立内存,联合体成员共享同一内存空间,同一时间仅一个成员有效。 结构体和联合体嵌套使用,本质上是构造更复杂的数据类型,方便我们组织和管理数据。这就像搭积木,用小块积木组合成更大的、更复杂的形状。 复杂数据类型组合技巧 如何理解结构体和联合体的本质…

    2025年12月18日
    000
  • 移动语义对智能指针影响 std move转移所有权示例

    移动语义通过std::move实现智能指针所有权转移,避免拷贝开销;unique_ptr因独占所有权仅支持移动,shared_ptr移动时无需增加引用计数更高效,函数传参时使用std::move可将资源所有权安全移交,提升性能。 移动语义让C++中的资源管理更高效,尤其在智能指针中体现明显。通过st…

    2025年12月18日
    000
  • C++解释器模式 特定语法规则处理

    解释器模式通过将语法规则映射为类结构,利用表达式树解释执行简单语言,适用于配置解析、规则引擎等场景,核心由抽象表达式、终结符、非终结符及上下文构成,以组合方式构建语法树,支持灵活扩展但类数量随语法复杂度增长,建议结合智能指针与解析器优化实现。 在C++中实现解释器模式,适用于处理具有特定语法规则的简…

    2025年12月18日
    000
  • lambda表达式如何编写 捕获列表与闭包实现分析

    lambda表达式是一种匿名函数,用于简化代码并提高可读性,其基本语法为[c++apture list](parameters) -> return_type { function body },其中捕获列表决定如何访问外部变量,支持按值捕获、按引用捕获或混合捕获,参数列表和返回类型可省略或自…

    2025年12月18日
    000

发表回复

登录后才能评论
关注微信