嵌入式现代C教程——自定义分配器Allocator在嵌入式世界里内存不是“无限”的抽屉而是那只随时会嫌你占空间的行李箱。默认的new/malloc对我们友好吗有时候很友好没错方便但更多时候它们是潜在的性能炸弹、不可预测的延迟来源、以及碎片化萌生地。于是写一个“自定义分配器”——你自己的内存管理策略就变成了工程师的基本修行。为什么要自定义分配器想象一下这些场景实时任务不能被偶发的malloc阻塞启动阶段需要一次性分配若干对象以避免运行时分配小对象分配频繁但大小恒定或者你想把一大块内存划分给特定模块便于追踪与回收。默认分配器往往无法同时满足确定性、低内存占用、低碎片和高性能。自定义分配器修改了像内存申请的具体模式我们可以接入自己的固定大小池、栈式分配、快速分配器。在之前的博客中我们的这些实现可以有效的避免堆碎片、提高局部性。分配器的基础概念分配器归根结底就是两件事分配给出一段未被使用的内存和释放把内存归回池子。在 C 里还要注意对齐alignment和对象的构造/析构placementnew、显式destroy。常见策略有Bump指针上移分配器、Free-list空闲链表/内存池、Stack栈分配器、以及更复杂的TLSF/分级位图等。下面我们通过代码直观对比。最简单Bump线性分配器 — 启动与临时用例的好朋友特点实现极其简单分配 O(1)不支持释放单个对象可以一次性重置。适合启动期分配或者短周期任务。// bump_allocator.h - 非线程安全简单演示#includecstddef#includenew#includecassertclassBumpAllocator{char*start_;char*ptr_;char*end_;public:BumpAllocator(void*buffer,std::size_t size):start_(static_castchar*(buffer)),ptr_(start_),end_(start_size){}void*allocate(std::size_t n,std::size_t alignalignof(std::max_align_t))noexcept{std::size_t spaceend_-ptr_;std::uintptr_t preinterpret_caststd::uintptr_t(ptr_);std::size_t misp%align;std::size_t offsetmis?(align-mis):0;if(noffsetspace)returnnullptr;ptr_offset;void*resptr_;ptr_n;returnres;}voidreset()noexcept{ptr_start_;}};使用场景启动时分配所有必要对象后面不再释放或临时缓冲池。记住不能释放单个对象除非你支持回滚到某个快照点可以实现“标记/回滚”。固定大小内存池Free-list当你有大量相同大小的小对象例如消息节点、连接对象时固定大小内存池非常高效。每个槽slot大小固定释放时把槽 push 回空闲链表。分配/释放都 O(1)。// simple_pool.h - 单线程示例#includecstddef#includecassert#includecstdintclassSimpleFixedPool{structNode{Node*next;};void*buffer_;Node*free_head_;std::size_t slot_size_;std::size_t slot_count_;public:SimpleFixedPool(void*buf,std::size_t slot_size,std::size_t count):buffer_(buf),free_head_(nullptr),slot_size_((slot_sizesizeof(Node*))?sizeof(Node*):slot_size),slot_count_(count){// 初始化空闲链表char*pstatic_castchar*(buffer_);for(std::size_t i0;islot_count_;i){Node*nreinterpret_castNode*(pi*slot_size_);n-nextfree_head_;free_head_n;}}void*allocate()noexcept{if(!free_head_)returnnullptr;Node*nfree_head_;free_head_n-next;returnn;}voiddeallocate(void*p)noexcept{Node*nstatic_castNode*(p);n-nextfree_head_;free_head_n;}};要点提示slot_size应包含对齐与控制信息线程安全时需要加锁或使用 lock-free 结构复杂度上升。内存利用率高碎片少。Stack栈分配器 — LIFO 场景的神器当你分配/释放呈 LIFO后进先出模式时栈分配器速度最快可以释放一系列分配到某个“标记”为止。// stack_allocator.h - 支持标记回滚classStackAllocator{char*start_;char*top_;char*end_;public:StackAllocator(void*buf,std::size_t size):start_(static_castchar*(buf)),top_(start_),end_(start_size){}void*allocate(std::size_t n,std::size_t alignalignof(std::max_align_t))noexcept{// 类似Bump的对齐处理// ...}// 标记与回滚APIusingMarkerchar*;Markermark()noexcept{returntop_;}voidrollback(Marker m)noexcept{top_m;}};适用短生命周期链、任务栈式分配、帧分配每帧分配帧结束统一回收。用 C 风格包装placement new 与析构分配器只提供原始内存对象的构造/析构工作还是你的任务。示例如下#includenew// placement new// allocate memory for T and constructtemplatetypenameT,typenameAlloc,typename...ArgsT*construct_with(Alloca,Args...args){void*mema.allocate(sizeof(T),alignof(T));if(!mem)returnnullptr;returnnew(mem)T(std::forwardArgs(args)...);}// 销毁并归还内存手动调用析构templatetypenameT,typenameAllocvoiddestroy_with(Alloca,T*obj)noexcept{if(!obj)return;obj-~T();a.deallocate(static_castvoid*(obj));}重要在嵌入式中禁用异常或在异常敏感代码中使用noexcept的 allocate 是常见实践因此好多实现返回nullptr而不是抛异常。如何把自定义分配器和 STL 一起用标准库的std::allocator接口在老标准中较为笨重。C17/20 引入了std::pmr::memory_resource更现代用于替换默认分配策略。但在嵌入式里往往不启用完整的memory_resource于是你可以自己为容器写一个简单的 wrapper内部使用你的池分配节点。或实现兼容std::allocator接口的类需要一堆 typedef 和rebind然后传给std::vectorT, MyAllocT。如果构建环境允许优先考虑std::pmr—— 它语义更清晰但开销与支持度要看你的平台。