StackAllocator通过栈式分配避免堆碎片和锁争用，核心接口为allocate()、deallocate_all()、get_used_bytes()，需帧级重置、禁止跨帧持有指针、保证buffer生命周期和线程隔离。
为什么不能直接用 new/delete 做每帧临时分配
每帧都 new 几百次小对象（比如碰撞检测临时向量、AI决策中间结构），会迅速触发堆内存碎片和 malloc 内部锁争用，尤其在多线程渲染/逻辑分离时，malloc 可能成为帧率瓶颈。StackAllocator 绕过堆管理，只靠指针偏移 + 一次性的栈式回收，实测在 1080p@60fps 游戏中可将每帧内存分配耗时从 0.8ms 压到 0.012ms。
关键不是“快”，而是“确定性”：它不依赖系统堆状态，不会突然卡住一帧。
StackAllocator 的核心接口怎么写才适合游戏循环
必须支持 per-frame reset，且禁止跨帧持有指针。典型接口只需三个函数：allocate()、deallocate_all()（非必需，但推荐）、get_used_bytes()。不要实现 deallocate(ptr) —— 那就不是 stack allocator 了，是 memory pool，容易误用。
class StackAllocator {
uint8_t* m_buffer;
size_t m_capacity;
size_t m_offset = 0;
public:
StackAllocator(uint8_t* buf, size_t cap) : m_buffer(buf), m_capacity(cap) {}
<pre class='brush:php;toolbar:false;'>void* allocate(size_t size, size_t align = alignof(std::max_align_t)) {
const size_t aligned_offset = align_up(m_offset, align);
if (aligned_offset + size > m_capacity) return nullptr;
void* ptr = m_buffer + aligned_offset;
m_offset = aligned_offset + size;
return ptr;
}
void deallocate_all() { m_offset = 0; }
size_t get_used_bytes() const { return m_offset; }
};
立即学习“C++免费学习笔记（深入）”；
常见错误：
- 忘记对齐：传入
align但没调用align_up，导致std::vector或 SIMD 类型崩溃 - 复用同一块 buffer 跨帧：没在帧末调用
deallocate_all()，下帧allocate()返回的指针实际指向旧数据 - buffer 太小又没检查返回值：直接解引用
nullptr，而不是 fallback 到堆分配
如何安全集成到每帧更新循环（以 ECS 架构为例）
不要全局单例。每个 subsystem（如 PhysicsSystem、AISystem）持有一个独立 StackAllocator 实例，buffer 从帧内存池（frame arena）中切片分配，避免互相踩内存。
示例流程：
- 帧开始前，从预分配的大页（如 2MB
mmap或_aligned_malloc）切出若干段，分别绑定给各 system - 每 system 在
update()中只调用allocate()，绝不保存返回指针到成员变量 - 帧结束时，统一调用所有 system 的
deallocate_all()；或更激进——直接丢弃整块 buffer，下一帧换新 slice（更适合调试期排查 use-after-free）
注意：C++ 异常不安全。若 allocate() 失败且你 throw exception，stack allocator 状态已损坏。建议返回 nullptr 并由上层决定降级策略（如跳过该实体本次更新）。
对齐、释放、线程安全这三处最容易翻车
align_up 必须是 (offset + align - 1) & ~(align - 1) 这种位运算写法，别用 std::ceil 或除法——每帧调用数百次，浮点或分支代价明显。
所谓“释放”只是重置 m_offset，但 buffer 本身生命周期必须长于所有使用它的帧。常见坑：把 StackAllocator 成员变量放在栈上，而 buffer 指向局部数组，帧函数返回后 buffer 失效。
线程安全？默认不保证。如果你在 worker thread 中并行跑多个 update()，每个 thread 必须有自己独占的 buffer 和 allocator 实例。共享 buffer + 原子 m_offset 是自欺欺人——对齐计算和指针返回之间存在竞态，会导致两个分配重叠。
真正难的是容量规划：太小频繁失败，太大浪费 L1 cache。建议先用 get_used_bytes() 记录每帧峰值，乘以 1.5 做初始 buffer 大小，上线后再按 99 分位动态调整。
