std::align 不能分配内存，仅在已有缓冲区中调整指针以满足对齐要求；真正堆上对齐需用 aligned_alloc（c11/c++17）或 _mm_malloc（intel），二者均需配对释放。
std::align 不能直接用于堆分配，它只做指针偏移
很多人以为 std::align 能帮你从堆上“申请一块对齐内存”，其实它根本不碰堆——它只在一个已有的 char* 缓冲区里滑动指针，找一个满足对齐要求的子地址。你得先有内存（比如 new char[N] 或 aligned_alloc 分配的大块），再用 std::align 在里面切出对齐子块。
常见错误现象：
- 调用
std::align(32, sizeof(T), ptr, space)后，ptr没变，space没减——因为没传引用，或缓冲区太小（必须 ≥alignment + size） - 把
std::align返回的地址直接当新分配内存用，结果覆盖了前面对象或越界 - 误以为
std::align能让int x;对齐——它不操作变量，只操作指针和大小
堆上真正对齐：用 aligned_alloc 或 _mm_malloc
aligned_alloc 是 C11 标准函数，在 C++17 及以后可直接用；_mm_malloc 是 Intel 提供的 intrinsics，Windows 和 Linux 都支持，但需链接 -lirc 或对应运行时库。两者都返回对齐起始地址，且必须配对使用 aligned_free 或 _mm_free。
-
aligned_alloc要求 size 是 alignment 的整数倍，否则行为未定义；alignment 必须是 2 的幂（如 16、32、64） -
_mm_malloc(size, align)对 size 没强制要求，更宽松，适合小对象或不确定大小的场景 - glibc 中
aligned_alloc在 alignment malloc + 手动对齐，性能略差于_mm_malloc
示例：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
void* ptr = aligned_alloc(32, 32); // OK: 32 % 32 == 0
if (ptr) {
// 使用后必须 aligned_free(ptr)
aligned_free(ptr);
}
自定义 allocator 中如何保证 allocate() 返回对齐地址
标准容器（如 std::vector）调用 allocate(n) 时，不传对齐要求——对齐值由 std::allocator_traits<t>::alignment_value</t> 决定，默认是 alignof(T)。所以你的 allocate() 必须返回满足该对齐的地址，不能只靠 operator new（它只保证 max_align_t 对齐，通常是 16 字节）。
- 安全做法：在
allocate(n)内部用aligned_alloc(alignof(T), n * sizeof(T))，或封装_mm_malloc - 若基于内存池，需预分配足够大的缓冲区（如
new char[pool_size + align_req]），再用std::align切分，注意维护剩余空间状态 - 别忘了在
deallocate(p, n)中用对应释放函数（aligned_free/_mm_free），混用会崩溃
容易被忽略的 ABI 兼容性细节
不同平台对 “对齐内存” 的释放接口不统一：aligned_alloc + aligned_free 是 POSIX/C11 标准；MSVC 不支持 aligned_free，必须用 _aligned_free；而 _mm_malloc 在所有主流编译器中都配 _mm_free，最稳妥。
更隐蔽的问题是：如果你的分配器被模板实例化进 STL 容器（如 std::vector<t myalloc>></t>），而 T 本身用了 alignas(64)，那 allocate(1) 就必须返回 64 字节对齐地址——此时仅靠 operator new 不够，必须显式对齐。
实际项目中，建议封装一层跨平台对齐分配函数，内部根据编译器宏选择 _mm_malloc 或 aligned_alloc，并强制检查 alignment 是否为 2 的幂，避免未定义行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
