内存池不能直接用std::vector或malloc拼凑，因已有已分配块不可安全移动，块大小变更会导致指针偏移、对齐及空闲链表失效；必须解耦池容量与块大小，分离元信息，且resize_block_size仅在无活跃分配时安全调用。
内存池为什么不能直接用 std::vector 或 malloc 拼凑？
因为动态调整块大小不是“分配+复制+释放”就能解决的——核心矛盾在于：已有已分配的块不能被安全移动，而新块大小变化后，旧数据布局可能不兼容。比如你原来按 sizeof(int) 切分，现在想改成 sizeof(MyStruct)，所有指针偏移、对齐、可用块计数全得重算。直接 realloc 会破坏内部 free list 结构，导致后续分配返回非法地址或崩溃。
关键设计：两级结构 + 块元信息分离
真正可行的做法是把“池容量”和“块大小”解耦。池本身管理一大段连续内存（char*），但每次只按当前 block_size 划分可用区域；同时维护一个独立的元信息区（比如用 std::vector<size_t></size_t> 记录每个块状态），避免把元数据塞进用户块里干扰对齐。
- 初始化时预留两段内存：一段给用户数据（
data_pool），一段给块状态数组（free_list） - 调整块大小时，只重建
free_list和更新block_size、block_count，不挪动已分配出去的块内容 - 已分配的块不回收，直到显式调用
clear()—— 否则无法保证原有指针仍有效
resize_block_size(size_t new_size) 的安全边界在哪？
这个函数只能在没有活跃分配（即所有块都空闲）时调用，否则行为未定义。实现上必须先检查 allocated_count == 0，否则直接 return 或抛异常。常见错误是忽略这点，在多线程中没加锁就调用，导致 free_list 重建后，某个线程还在用旧偏移访问已失效地址。
- 检查条件：
if (allocated_count != 0) throw std::runtime_error("Cannot resize block size with active allocations"); - 重新计算最大块数：
block_count = total_capacity / std::max(new_size, alignof(std::max_align_t)); - 重置
free_list：清空并 resize 成block_count个true（全部空闲） - 更新
block_size = new_size，注意对齐：实际分配步长应为std::lcm(new_size, alignof(std::max_align_t))
如何避免对齐踩坑？
很多实现直接用 new_size 当步长，结果在 double 或自定义结构体上触发 SIGBUS。根本原因是 x86-64 下某些类型要求 16 字节对齐，而池起始地址未必满足。解决方案是：池内存必须按最大对齐要求分配（用 aligned_alloc 或 std::aligned_alloc），且每个块起始地址强制对齐。
立即学习“C++免费学习笔记（深入）”；
- 分配池内存时：用
std::aligned_alloc(alignof(std::max_align_t), total_capacity) - 计算块地址时：不直接
base_ptr + i * block_size，而是用std::align对每块做对齐校验（或更简单——确保block_size是对齐值的整数倍） - 测试时故意传入
sizeof(long double)（通常 16）和sizeof(__m256)（32），看是否 crash
最常被忽略的是：调整块大小后，原空闲块列表里的索引不再对应新布局，必须彻底重建，而不是试图复用旧索引。
