c++ 堆内存分配器实现 c++如何自定义malloc和free

酷墨同学_1936

酷墨同学_1936

2026-03-28

785人浏览

原创

不能直接重载malloc/free;可行方案是替换c运行时堆管理或接管new/delete及使用std::pmr::memory_resource。

c++ 堆内存分配器实现 c++如何自定义malloc和free

malloc/free 能不能直接重载

不能。C++ 标准禁止用户重定义 malloc 和 free 这两个 C 函数——它们是全局符号,链接时会冲突,即使你用 extern "C" 声明并实现同名函数,也大概率触发 ODR(One Definition Rule)违规或链接失败。

真正可行的路径只有两条:
• 替换整个 C 运行时堆管理(比如用 LD_PRELOAD 拦截,但只适用于 Linux 动态链接程序)
• 在 C++ 层接管 new/delete 操作符,或提供自定义分配器(allocator)用于 STL 容器

如何安全替换 new/delete 全局操作符

重载全局 operator new 和 operator delete 是最常用、标准支持的方式,但它会影响**所有**默认 new 表达式,包括第三方库内部的 new(除非它们显式使用类内重载或带参数的 placement new)。

关键约束:

  • 必须同时提供 4 个基础版本:无异常版和抛异常版的 new 与 delete(即 void* operator new(size_t)、void* operator new(size_t, std::nothrow_t const&)、void operator delete(void*)、void operator delete(void*, std::nothrow_t const&)),否则编译器可能回退到默认实现,导致行为不一致
  • 你的 operator delete 必须能安全处理 nullptr(C++11 起强制要求)
  • 不要在 operator new 中调用 new(递归),也不要直接调用 malloc——如果想复用系统堆,应调用 ::malloc(加作用域解析符绕过自定义函数)

示例最小骨架:

void* operator new(size_t n) {
    void* p = ::malloc(n);
    if (!p) throw std::bad_alloc{};
    return p;
}
void operator delete(void* p) noexcept {
    ::free(p);
}

为什么 malloc_hook 在现代项目中基本不可用

__malloc_hook 等 GNU libc 的 hook 机制早在 glibc 2.34 就被标记为 deprecated,并在 2.37+ 彻底移除。它本身线程不安全、破坏 ASLR、干扰 malloc 实现的内部优化(如 tcache),且仅限 Linux + glibc 场景。

C++ Code Review Master
C++ Code Review Master

组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

替代方案更实际:

  • 用 LD_PRELOAD 注入一个共享库,dlsym(RTLD_NEXT, "malloc") 获取原函数指针,再包装——但需注意 malloc 可能被内联或由编译器优化掉
  • 用 mallopt 或 malloc_stats 调整/观测系统 malloc 行为,而非替换
  • 对特定模块,改用 std::pmr::memory_resource(C++17)做运行时可插拔分配策略,比全局 hook 更可控

std::pmr::polymorphic_allocator 怎么避免踩坑

这是目前最推荐的“自定义分配”方式:不侵入全局行为,只在你需要控制内存的地方显式使用。

常见误用点:

  • 传给容器的 std::pmr::vector<int></int> 类型本身不携带分配器实例,构造时必须显式传入,例如:std::pmr::vector<int> v{&my_resource}</int>;漏传就回退到默认 std::pmr::new_delete_resource()
  • std::pmr::memory_resource* 必须保证生命周期长于所有使用它的容器——把它放在栈上然后传指针?立刻 UB
  • 不同 memory_resource 实例之间无法迁移内存(比如 vector resize 时换 allocator),STL 不支持跨 resource 移动
  • 调试时容易忽略:std::pmr::get_default_resource() 可被全局修改,影响后续未显式指定 allocator 的容器

一个轻量自定义 resource 示例:

struct SimplePool : std::pmr::memory_resource {
    alignas(64) char buffer[4096];
    size_t used = 0;
<p>protected:
void<em> do_allocate(size_t bytes, size_t align) override {
size_t padded = (used + align - 1) & ~(align - 1);
if (padded + bytes > sizeof(buffer)) throw std::bad_alloc{};
void</em> p = buffer + padded;
used = padded + bytes;
return p;
}
void do_deallocate(void*, size_t, size_t) override {}
bool do_is_equal(const memory_resource& other) const noexcept override {
return this == &other;
}
};</p>

真正难的不是写一个分配器,而是确保它在整个程序生命周期里不和别的分配逻辑打架——尤其是当第三方库、std::string、异常对象、静态初始化顺序都悄悄调用 malloc 或 new 的时候。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

5639

3

resource是什么文件
resource是什么文件

Resource文件是一种特殊类型的文件,它通常用于存储应用程序或操作系统中的各种资源信息。它们在应用程序开发中起着关键作用,并在跨平台开发和国际化方面提供支持。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2023.12.20

320

3

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2038

7

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2023.11.23

636

5

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

2025.11.27

351

13

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

319

31

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

5087

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2268

6

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

5087

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习