裸机ARM环境下如何链接C++自定义内存分配器支持动态内存

核心结论：不需要修改上层业务代码（包括原生new、标准库智能指针/容器），只要按层级覆盖对应底层分配接口，配合正确的链接顺序即可完成替换，不需要额外魔改C++运行时。

C++11 内存分配调用逻辑说明 #

C++的动态内存分配是分层实现的，上层所有分配接口最终都会落到统一的底层入口，不存在多套独立的分配逻辑：

• 最上层业务接口：包括直接用new/new[]申请内存、std::make_unique/std::make_shared等智能指针创建函数、std::vector/std::string等标准库容器的默认分配逻辑，全部会调用全局operator new接口，不会直接绕过底层分配器。
• 中间层C运行时接口：全局operator new/operator new[]、operator delete/operator delete[]是C层面的统一分配入口，大部分arm-none-eabi等裸机交叉工具链中，这几个函数默认是弱符号实现，内部逻辑就是包装C标准库的malloc/free。
• 最底层C分配接口：malloc/free/calloc/realloc是最终的内存操作实现，不管是C代码还是C++代码，最终的内存申请释放都会走到这层。

具体实现步骤 #

1. 先实现基础内存分配器
   首先在链接脚本中预留一段连续RAM作为堆空间，定义_heap_start和_heap_end标识堆的起止地址，基于这段地址实现线性分配器逻辑，对外提供malloc、free、calloc、realloc四个标准C分配函数。注意如果用纯线性分配器，free可以直接留空（线性分配器本身不支持单块释放，只能整体重置堆指针），但要提前确认业务代码没有频繁运行期申请释放内存的逻辑，否则会快速耗尽堆空间。

2. 补全C++全局运算符重载
   为了避免部分工具链中operator new没有直接依赖malloc导致链接到默认实现，直接全局重载所有版本的new/delete运算符即可，代码如下：

   #include <cstddef>
   // 单对象分配
   void* operator new(size_t size) {
       void* addr = malloc(size);
       // 如果编译时开启了异常，这里需要在addr为空时抛出std::bad_alloc
       // 裸机环境一般加-fno-exceptions关闭异常，直接返回地址即可
       return addr;
   }
   // 数组分配
   void* operator new[](size_t size) {
       return operator new(size);
   }
   // 单对象释放
   void operator delete(void* addr) noexcept {
       free(addr);
   }
   // 数组释放
   void operator delete[](void* addr) noexcept {
       operator delete(addr);
   }
   // C++14及以上版本新增的带size参数的delete接口，补上避免链接报错
   void operator delete(void* addr, size_t) noexcept {
       operator delete(addr);
   }
   void operator delete[](void* addr, size_t) noexcept {
       operator delete[](addr);
   }
   

3. 正确配置编译链接选项

   • 编译时加-ffreestanding参数，告知编译器目标为无操作系统独立环境，不要自动链接宿主系统的运行时库；如果不需要异常、RTTI功能，加-fno-exceptions -fno-rtti减小代码体积，也省掉异常相关的运行时适配工作。
   • 链接时把你自己实现的分配器目标文件放在libc、libstdc++等标准库的前面，保证你写的强符号函数能覆盖标准库中的弱符号默认实现，不会链接到标准库自带的分配逻辑。
   • 如果你用的是newlib类的标准库，不需要额外重写_sbrk调用——你自己实现的malloc已经直接管理预留堆内存，不会走到标准库依赖sbrk的默认分配逻辑。

常见注意事项 #

• 智能指针、标准库容器不需要单独适配：默认的std::allocator就是对全局operator new的简单包装，只要全局new/delete替换完成，所有标准库组件的动态内存都会走你自定义的分配器。
• 不要重载类专属的new/delete：除非你有特殊的类级内存管理需求，否则只重载全局版本的运算符即可，重载类专属版本反而会导致部分类不走自定义分配器。
• 替换完成后可以做简单验证：写测试代码分别用new、std::make_shared、容器插入元素申请内存，打印返回的内存地址，确认地址落在你预留的堆地址区间内，就说明替换生效。

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