C++中std::shared_ptr内存布局是怎样的_C++智能指针控制块原理解析【底层】

std::shared_ptr的控制块单独分配，逻辑上与对象分离：前段为控制块（含引用计数、弱引用计数、删除器等），后段为T对象；shared_ptr仅存两个指针，控制块生命周期由weak_count决定，需use_count和weak_count均为0才释放。 std::shared_ptr 的控制块（control block）存在哪里 它不和管理的对象在同一个内存块里，而是单独分配——哪怕你用 也一样，只是对象和控制块被分配在连续内存中（同一块 返回的区域），但逻辑上仍是两个部分：前段是控制块，后段才是 T 类型对象。 控制块至少包含： - 引用计数（ ） - 弱引用计数（ ） - 删除器（deleter）的函数指针或内联存储 - 分配器（allocator）信息（若自定义） - 可选：自定义删除器捕获的上下文（如 lambda 捕获值） 关键点： - 本身只存两个指针：一个指向对象（ ），一个指向控制块（ ） - 控制块的生命周期独立于对象；当 降为 0 时对象被销毁，但控制块要等到 也为 0 才释放 - 如果你用裸指针构造 ，控制块和对象必然分开放，因为 new 只负责对象 为什么 make_shared 比直接 new + shared_ptr 更高效 因为一次分配完成控制块 + 对象，避免两次堆分配。但注意：这仅在使用默认删除器、无自定义分配器、且对象类型可平凡构造/析构时才成立（实际编译器基本都支持）。 常见误区： - 不能用于需要自定义删除器的场景（除非你额外传入，但此时仍会分配控制块+对象，删除器被拷贝进控制块） - 若 T 的构造函数抛异常， 会保证控制块一并释放，不会泄漏 - 对于大对象， 的局部性更好，CPU 缓存更友好 反例：以下代码控制块和对象一定分离 weak_ptr 是怎么共享控制块却不影响对象生命周期的 内部也存一个指向控制块的指针，但它不修改 ，只增减 。 立即学习 “ C++免费学习笔记（深入） ”； C知道 CSDN推出的一款AI技术问答工具 下载 真正决定对象生死的只有 ； 只是“还有谁在观察这个控制块”。当最后一个 析构（ →0），对象立即销毁，但控制块还在——直到所有 也都析构（ →0），控制块才释放。 所以： - 成功的前提是 ，它返回新 并原子增 - 如果你持有 却长期不调 ，控制块会一直占着内存，哪怕对象早已销毁 - 自身不引发分配，它的大小通常和 相同（两个指针） 自定义删除器和分配器如何影响控制块布局 控制块必须能存储删除器和分配器实例。标准库实现一般采用“类型擦除 + 小对象优化”策略： - 若删除器是函数指针（如 ）或空类（如 ），常直接存于控制块固定字段，不额外分配 - 若删除器是带捕获的 lambda 或大对象（比如含 成员），控制块会在堆上再 malloc 一块内存存放它，并在控制块中存指针 - 自定义分配器同理：若可平凡复制且尺寸小，就内嵌；否则外置 - 这意味着：看似相同的 类型，不同构造方式可能导致控制块大小、分配次数、甚至缓存行对齐行为完全不同 验证方法（GCC/Clang）： 但控制块本身的大小无法直接 sizeof，它取决于构造方式 最易被忽略的一点：控制块里的引用计数是原子操作，且通常用 lock-free 实现。这意味着即使你不显式加锁， 在多线程间拷贝/赋值/析构也是安全的——但代价是每次访问都带内存序约束（如 读， 改），别把它当成零成本原语。