std::align不能直接用于堆分配，它只在已有内存中做指针偏移以满足对齐要求，不分配/释放内存；堆上对齐应使用aligned_alloc或operator new的对齐版本。
std::align 不能直接用于堆分配，它只做指针偏移
很多人看到 std::align 就想把它当“对齐版 malloc”用，结果发现返回的指针根本不能直接写数据——因为 std::align 不分配内存，只在一个已有缓冲区里找对齐位置。它不碰堆，也不调 operator new 或 aligned_alloc。
典型误用：
char* buf = new char[1024];
void* ptr = std::align(32, sizeof(MyType), reinterpret_cast
new (ptr) MyType(); // ❌ buf 已被 std::align 修改，后续 delete[] buf 会崩
-
std::align的两个引用参数ptr和space会被修改，这是它“消耗缓冲区”的方式，不是副作用而是设计契约 - 如果你传的是
new出来的原始指针，必须自己保留原始地址用于delete[]，不能只靠ptr - 它适合 placement new 场景，比如内存池内部管理；不适合替代堆分配接口
堆上对齐分配该用 aligned_alloc 而不是 operator new
operator new 返回的地址只保证最小对齐（通常是 8 或 16 字节），无法满足 AVX、DMA 或缓存行对齐（如 64 字节）等需求。真正可控的堆对齐要用 aligned_alloc。
-
aligned_alloc(alignment, size)要求alignment是 2 的幂，且size是alignment的整数倍；否则行为未定义 - 返回指针满足
reinterpret_cast<uintptr_t>(ptr) % alignment == 0</uintptr_t>，可直接用于 vectorization 或硬件寄存器映射 - 必须用
free()释放，不能用delete或delete[]—— 混用会触发 undefined behavior - 在 macOS 上
aligned_alloc不可用，得用posix_memalign替代（返回 int 错误码，需检查）
自定义 allocator 中对齐逻辑必须显式处理
标准容器（如 std::vector）调用 allocate(n) 时，不会自动帮你对齐；哪怕你重写了 allocate，如果没做对齐，构造对象时可能触发总线错误或性能暴跌。
-
allocate(n)必须返回按alignof(value_type)对齐的地址；若要支持任意对齐（如强制 64 字节），需额外参数或模板特化 - 常见写法是：先用
aligned_alloc分配，再用std::align在其内做二次微调（例如为 placement new 预留 header 空间后对齐对象） - 注意
deallocate(p, n)中的n必须与allocate(n)的n完全一致——有些分配器会把对齐开销藏在头部，这时n应是用户请求的对象数 ×sizeof(T)，不是实际分配字节数 - 别忘了在
construct里用::new(p) T(std::forward<args>(args)...)</args>，而不是直接调构造函数；否则对齐内存里的对象生命周期不受控
容易忽略的 ABI 兼容性陷阱
对齐不是纯代码问题，它牵扯 ABI。比如你用 alignas(64) 定义了一个结构体，又把它塞进 std::vector，而 vector 的 allocator 没对齐，那 vector 内部的 realloc 可能破坏你的对齐假设。
- MSVC STL 在 debug 模式下会在容器内存前后插入 guard bytes，这会让原本对齐的指针失效；release 模式才按标准对齐规则走
-
std::vector<t alignedalloc>></t>中，AlignedAlloc的value_type必须和T一致，否则std::allocator_traits推导出的pointer类型可能不匹配 - 跨模块传递对齐内存（如 DLL 导出函数返回对齐指针）时，确保调用方和实现方使用相同的 CRT 和对齐策略，否则
free可能崩溃
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
