为何std::weak_ptr看似阻碍内存释放？如何检测该类Bug？

我在C++代码里遇到一个情况：std::shared_ptr超出作用域后引用计数降为0，指向的对象会被销毁，这个逻辑是正常的，但如果有存活的std::weak_ptr指向它，指向的内存似乎没被实际释放。

示例代码：

#include <iostream>
#include <memory>

int main() {
    int* my_raw_ptr = nullptr;
    std::weak_ptr<int> my_wp;
    {
        auto my_sp = std::make_shared<int>(42);
        std::cout << "my_sp value: " << *my_sp << std::endl;
        my_raw_ptr = &(*my_sp);

        my_wp = my_sp;  // (1)
    }

    std::cout << "my_raw_ptr value: " << *my_raw_ptr << std::endl;

    return 0;
}

我明确这段代码有未定义行为（在std::shared_ptr超出作用域后解引用my_raw_ptr），但尝试的所有工具都没检测到错误：

• 用clang 19.1.0搭配-O0 -fsanitize=address -fno-omit-frame-pointer编译，运行时无报错；
• Valgrind 3.22.0未检测到运行时错误；
• 开启jemalloc的memory junking功能（通过MALLOC_CONF=junk:true LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libjemalloc.so.2运行），也没出现异常行为，我本来指望junk:true会填充垃圾数据暴露Bug。

更奇怪的是：如果移除标记为(1)的std::weak_ptr赋值语句，上述三个工具都能正确检测到Bug！

我想知道：

1. 如何让运行时分析工具检测到此类Bug？
2. 为什么std::weak_ptr能这么有效地阻碍Bug检测？

为什么std::weak_ptr会阻碍Bug检测 #

这和std::make_shared的内存分配策略直接相关：

• 当你用make_shared创建对象时，它会一次性分配一块连续内存，同时存放对象本身和shared_ptr/weak_ptr共用的控制块（包含引用计数、弱引用计数等信息）。
• 当shared_ptr的引用计数降为0时，只会销毁对象本身，但这块连续内存不会被释放——直到弱引用计数也降为0，整个内存块才会被回收。
• 所以当你保留了weak_ptr时，对象虽然销毁了，但它所在的内存块还没还给分配器，工具自然不会检测到“非法访问已释放内存”的问题；而移除weak_ptr后，弱引用计数也跟着降为0，整个内存块被释放，工具就能捕捉到后续的非法访问。

如何让工具检测到此类Bug #

针对这个场景，有几种可行的方法：

1. 避免使用make_shared，手动分开分配对象和控制块
   不要用make_shared，而是手动创建对象再构造shared_ptr，比如：

   auto my_sp = std::shared_ptr<int>(new int(42));
   

   这样对象内存和控制块是分开分配的，当shared_ptr引用计数降为0时，对象内存会立即被释放，不管weak_ptr是否存在，工具就能检测到非法访问。
2. 主动触发weak_ptr的过期处理
   在访问原始指针前，调用my_wp.reset()，强制让弱引用计数降为0，这样整个内存块会被释放，后续访问就能被工具检测到。
3. 使用更严格的内存检测工具或配置
   • 对于AddressSanitizer，可以尝试添加-fsanitize=undefined，结合-fsanitize=address，能检测更多未定义行为；
   • 可以自定义shared_ptr的删除器，在销毁对象时立即覆盖内存内容，让后续非法访问的结果更明显。

内容的提问来源于stack exchange，提问作者oliver