C++ 怎么编写一个能够自动检测内存双重释放的智能调试分配器-C++-PHP中文网

双重释放检测的核心机制是为每块内存维护强绑定的生命周期状态（如ALLOCATED/FREED），嵌入元数据区而非依赖地址哈希，拦截所有释放入口并在释放逻辑起始处校验状态，确保状态更新原子且可追溯调用栈。

c++ 怎么编写一个能够自动检测内存双重释放的智能调试分配器

双重释放检测的核心机制是什么

关键在于分配器必须能追踪每块内存的生命周期状态，不能只靠地址哈希或简单标记。free() 或 delete 后再次释放同一指针，本质是状态机越界：从「已分配」→「已释放」后，又收到一次「释放」请求。因此分配器需为每块内存维护一个明确的状态字段（如 enum { ALLOCATED, FREED, POISONED }），且该状态必须与指针强绑定——不能仅靠外部哈希表映射，否则无法处理指针偏移（如 p + 4）或重复插入冲突。

状态存储必须嵌入用户内存块头部（或独立元数据区），确保每次 malloc 返回的指针对应唯一可查状态
必须拦截所有释放入口：free、delete、delete[]，以及 C++17 的 operator delete(void*, std::size_t) 等带大小重载
检测需在释放逻辑最开始触发，避免任何后续操作（如归还页、清零）掩盖原始错误

如何用 malloc_hook 实现基础拦截（Linux glibc）

glibc 提供的 __malloc_hook 和 __free_hook 是最快捷的切入点，但注意：它们在多线程下不安全，且自 glibc 2.34 起已被废弃。仅适用于单线程调试场景。

static void* my_malloc_hook(size_t size, const void* caller) {
    // 临时卸载 hook 防止递归
    __malloc_hook = old_malloc_hook;
    void* ptr = malloc(size + sizeof(size_t)); // 预留头部存 size 和 state
    *(size_t*)ptr = size;
    *(int*)((char*)ptr + sizeof(size_t)) = ALLOCATED;
    __malloc_hook = my_malloc_hook;
    return (char*)ptr + sizeof(size_t);
}
<p>static void my_free_hook(void<em> ptr, const void</em> caller) {
<strong>free_hook = old_free_hook;
if (!ptr) goto out;
char<em> real_ptr = (char</em>)ptr - sizeof(size_t);
int<em> state = (int</em>)(real_ptr + sizeof(size_t));
if (<em>state != ALLOCATED) {
fprintf(stderr, "Double free detected at %p\n", ptr);
abort();
}
</em>state = FREED;
out:
free(real_ptr);
</strong>free_hook = my_free_hook;
}</p>

必须在安装 hook 前保存旧函数指针，否则首次调用会崩溃
所有 malloc 分配空间要额外预留元数据，返回指针需偏移，否则用户 free(ptr) 会传错地址
不要试图在 hook 中调用 printf 或其他可能触发 malloc 的函数，极易死锁

更健壮的方案：重载全局 operator new/delete

绕过 libc hook 限制，直接接管 C++ 内存操作，天然支持多线程（配合 std::atomic），且覆盖 new/delete 全部重载。

void* operator new(std::size_t size) {
    auto ptr = malloc(size + sizeof(Header));
    new (ptr) Header{size, ALLOCATED};
    return (char*)ptr + sizeof(Header);
}
<p>void operator delete(void<em> ptr) noexcept {
if (!ptr) return;
char</em> real_ptr = (char<em>)ptr - sizeof(Header);
Header</em> hdr = (Header*)real_ptr;
if (hdr->state != ALLOCATED) {
std::cerr state = FREED;
free(real_ptr);
}</p>