因为C++17前allocate无对齐参数，且std::allocator默认调用仅保证max_align_t对齐的operator new，无法满足SIMD等高对齐需求；需用aligned_alloc或_aligned_malloc实现，并确保size为alignment整数倍、释放函数匹配平台。
为什么 std::allocator 默认不保证自定义对齐？
因为 C++17 之前标准分配器接口只提供 allocate() 和 deallocate()，没有对齐参数；即使 C++17 引入了带 align_val_t 的重载，std::allocator 的默认特化仍只调用 ::operator new(size_t)，它仅保证最大对齐（通常是 16 字节），无法满足如 SIMD、GPU 缓冲区或硬件要求的 32/64/128 字节对齐。
用 std::aligned_alloc 实现基础对齐分配器
这是最直接的方式，但要注意平台兼容性：Linux/macOS 支持，Windows 上需用 _aligned_malloc 替代；且 std::aligned_alloc 要求 size 是 alignment 的整数倍，否则行为未定义。
-
allocate()中先调用std::aligned_alloc(alignment, size)，若返回nullptr则抛std::bad_alloc -
deallocate()必须用对应释放函数：std::free()（Linux/macOS）或_aligned_free(ptr)（Windows） - alignment 必须是 2 的幂，且 ≥
alignof(std::max_align_t)（通常为 16） - size 必须向上对齐到 alignment 的倍数，可用
((size + alignment - 1) & ~(alignment - 1))或std::ceil(static_cast<double>(size) / alignment) * alignment</double>
template<std::size_t Align>
struct aligned_allocator {
template<typename T> struct rebind { using other = aligned_allocator<Align>; };
using value_type = char;
static constexpr std::size_t alignment = Align;
<pre class='brush:php;toolbar:false;'>char* allocate(std::size_t n) {
const std::size_t padded = ((n + Align - 1) & ~(Align - 1));
if (auto p = static_cast<char*>(std::aligned_alloc(Align, padded))) return p;
throw std::bad_alloc{};
}
void deallocate(char* p, std::size_t) noexcept {
std::free(p);
}};
如何让分配器支持模板类型和构造/析构？
原生 aligned_allocator 只处理 char*，要用于 std::vector<MyStruct, aligned_allocator<32>>，必须补全所有 allocator 概念要求：提供 rebind、construct、destroy，并正确转发 value_type。关键点是：构造不依赖分配器本身，而是用 placement-new；析构必须显式调用。
立即学习“C++免费学习笔记（深入）”；
- 添加
template<typename U> using rebind_alloc = aligned_allocator<Align>（因对齐与类型无关） -
construct(U* p, Args&&... args)写成new(p) U(std::forward<Args>(args)...) -
destroy(U* p)必须写p->~U()，不能省略 - 注意：C++20 起
construct/destroy已被弃用，但多数 STL 实现仍依赖它们
为什么不要在分配器里缓存内存块？
初学者常想加个自由链表来复用内存以提升性能，但这会破坏分配器的无状态性（stateless）假设。STL 容器（尤其是 std::vector）可能复制分配器，若含成员变量，复制后两个分配器指向不同内存池，deallocate() 可能释放错误地址，引发崩溃或静默损坏。
- 真正需要缓存时，应使用独立的内存池类（如
boost::pool），而非塞进分配器 - 若坚持有状态，必须显式禁用
std::allocator_traits<T>::is_always_equal::value = false，并重载operator==，但绝大多数标准容器不测试该路径，实际不可靠 - 对齐分配本身开销主要在系统调用，单次
aligned_alloc比普通malloc略慢，但远小于反复小块分配的代价——所以优先考虑减少分配次数，而非在分配器内做缓存
对齐分配器真正难的不是写 allocate/deallocate，而是确保整个生命周期中 alignment 值被静态确定、size 计算不溢出、跨平台释放函数匹配，以及不误以为“加了对齐就自动支持 vector.resize() 中的元素构造”——后者仍依赖你是否正确定义了 construct/destroy。
