应手写数组内存池而非new/delete，因其可避免内存碎片、减少系统调用、提升缓存局部性；需满足对象类型固定、大小已知、生命周期可控，且必须是平凡可析构类型。
为什么不用 new/delete 而要手写数组内存池
频繁调用 new 和 delete 会产生碎片、触发系统调用、破坏缓存局部性。用一块连续 char 数组预分配内存，再手动管理块的分配与回收，能规避这些问题——前提是对象类型固定、大小已知、生命周期可控（比如游戏中的子弹、粒子）。
关键约束：所有对象必须是 trivially destructible（如 int、float、不含虚函数/非平凡析构的结构体），否则不能跳过构造/析构；若需支持任意类型，得配合 placement new 和显式析构，但本方案先聚焦最简路径。
如何用 char 数组 + free list 管理空闲块
核心是把大块内存切分成等长槽位（slot），用单链表串起空闲槽的起始地址。每个空闲槽头部存下一个空闲槽的偏移（或指针），形成 free list。
- 预分配：声明
std::array<char n sizeof> pool;</char>，其中N是最大对象数 - 对齐：用
alignas(T)保证首地址满足T的对齐要求，否则reinterpret_cast<t>(ptr)</t>行为未定义 - free list 初始化：从第 0 槽开始，每槽前
sizeof(void*)字节存下一个空闲索引（或地址），最后一槽指向nullptr - 分配：取 free list 头，更新头指针，返回该槽地址（跳过头部指针区）
- 释放：将归还的槽地址写入 free list 头，原头指针存入该槽头部
示例关键片段：
alignas(T) char pool[N * sizeof(T)]; std::size_t free_head = 0; // 当前空闲槽索引（0 ~ N-1） <p>// 分配 if (free_head == N) return nullptr; char<em> slot = pool + free_head </em> sizeof(T); free_head = <em>reinterpret_cast<:size_t>>(slot); // 读取下一空闲索引 return reinterpret_cast<t>(slot);</t></:size_t></em></p><p>// 释放（ptr 是之前分配的 T<em>） char</em> slot = reinterpret_cast<char>>(ptr); reinterpret_cast<:size_t>(slot) = free_head; // 写入原头 free_head = (slot - pool) / sizeof(T); // 更新头为当前槽索引</:size_t></char></p>
使用时最容易踩的三个坑
一是忘记对齐：char pool[1024] 直接转 T* 在 T 要求 16 字节对齐时会崩溃（尤其 AVX 类型）。必须用 alignas(T) 或 std::aligned_storage。
二是越界访问：释放时传入非本池分配的指针，或重复释放同一指针，会破坏 free list 链，导致后续分配返回非法地址。建议加 debug 断言检查指针是否在 [pool, pool + size) 范围内。
三是类型混用：同一块内存池只应服务单一 T 类型。若强行用 int* 分配后当 float* 用，不仅语义错，还可能因对齐差异出错。
何时该换更成熟的方案
如果需要支持多类型、变长对象、线程安全、或自动增长，别硬撑——直接用 boost::pool、folly::PooledObjectAllocator，或者 C++17 的 std::pmr::monotonic_buffer_resource。数组内存池的价值在于极简、零依赖、可预测性能，适合嵌入式、高频小对象场景。一旦逻辑变重，维护成本会迅速超过收益。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
