优先用 mmap（Linux/macOS）或 VirtualAlloc（Windows）；new 无法保证地址连续和整块回收，易被 STL 干扰，而 mmap 提供独立可控虚拟内存区域。
内存池该用 new 还是 mmap 分配底层内存？
直接说结论：小规模、固定块大小的内存池，优先用 mmap（Linux/macOS）或 VirtualAlloc（Windows）；若只支持 new，必须自己管理页对齐和大块预留，否则容易被 STL 容器干扰。
原因很简单：new 返回的内存受全局堆管理器（如 glibc 的 malloc）控制，你无法保证地址连续、无法轻易释放整块、也无法避免与其他 new 分配混杂——这会让“池”的边界失效。而 mmap 给你的是独立虚拟内存区域，可 mprotect 控制权限，可 munmap 整块回收，真正可控。
- 典型错误：用
new char[pool_size]模拟池，结果发现std::vector构造时偷偷调malloc，池外分配混入指针，析构崩溃 - 使用场景：高频创建/销毁同类型对象（如游戏实体、网络包缓冲），且生命周期集中管理
-
mmap要加MAP_ANONYMOUS | MAP_PRIVATE，避免文件依赖；Windows 上对应VirtualAlloc(..., MEM_COMMIT | MEM_RESERVE) - 性能影响：首次
mmap有系统调用开销，但后续分配只是指针偏移，比malloc快 3–5 倍（实测 clang++15 + libc++）
如何避免对象构造/析构绕过内存池？
核心陷阱：C++ 的 operator new 和 placement new 不是一回事。只重载 operator new 但没管 operator delete，或者忘了在类里显式调用析构函数，对象就“活埋”在池里了。
正确做法是让类配合池——不是池去适配所有类，而是关键类主动声明支持：
立即学习“C++免费学习笔记（深入）”；
- 必须提供静态
operator new(size_t, void* ptr)（即 placement 版本），否则new (ptr) T()编译不过 - 析构必须手动调用：
obj->~T()，绝不能依赖delete obj（它会走全局operator delete） - 如果想泛化支持，可在池模板中加
static_assert(std::is_trivially_destructible_v<t> || ...)</t>，避免非 trivial 类型漏析构 - 常见错误现象：
std::string成员在池中构造后未析构，下次复用时内部指针指向已释放内存，segfault或double free
std::pmr::memory_resource 能直接当内存池用吗？
能，但别直接用 std::pmr::monotonic_buffer_resource 或 pool_options 默认值——它们不是为你定制的“池”，而是通用接口胶水。
比如 monotonic_buffer_resource 只支持单向分配、不支持回收单个对象；pool_options 默认的 largest_required_pool_block 是 128 字节，超过就 fallback 到上游 resource，很可能悄悄回到 malloc。
- 必须显式传入自定义
memory_resource*给std::pmr::vector等容器，否则仍走std::allocator - 若用
std::pmr::synchronized_pool_resource，注意它内部按 4KB 对齐分块，小对象（如 24 字节结构）实际占用 64 字节，空间浪费明显 - 兼容性坑：MSVC 2019 对
std::pmr支持不全，polymorphic_allocator构造 vector 时可能忽略 resource - 建议：把它当资源抽象层，底层仍用自己写的
mmap+freelist，再包装成memory_resource子类
freelist 链表指针放哪儿最安全？
放在对象头部最省事，但破坏对象布局——尤其当对象本身有虚函数或继承关系时，reinterpret_cast 后取 next 指针可能越界或踩虚表。
更稳的方式是把 freelist 当作独立元数据维护，和用户内存分离：
- 分配时：从 freelist 数组取一个索引，用该索引计算用户内存起始地址（
base_ptr + index * block_size） - 释放时：把索引压回 freelist 栈（用
std::stack<size_t></size_t>或无锁 ring buffer） - 避免用
char*直接转Node*存指针——不同编译器对空基类优化（EBO）处理不同，sizeof(Node)可能非预期 - 调试期可加
assert(reinterpret_cast<uintptr_t>(ptr) % alignment == 0)</uintptr_t>，防止误传非池内存
复杂点在于对齐和碎片：block_size 必须是 2 的幂且 ≥ alignof(max_align_t)（通常 16），否则 new (ptr) T 可能触发 std::bad_alloc ——这个条件很容易被忽略，一跑 ASAN 就报错。
