std::aligned_alloc不可用new替代，因new仅保证16字节对齐，而AVX-512等需64/128字节对齐；其alignment须为2的幂且≥sizeof(void*)，返回指针必须用std::free释放，否则UB。
std::aligned_alloc 为什么不能直接用 new 替代
因为 new 只保证最小对齐（通常是 alignof(std::max_align_t)，一般为 16 字节），而 AVX-512、某些 GPU DMA、或特定协处理器要求 32/64/128 字节对齐——std::aligned_alloc 是 C++17 引入的唯一标准方式，能按需指定对齐值。
常见错误现象：std::aligned_alloc(64, 1024) 返回 nullptr；或分配后传给 _mm512_load_ps 触发 segmentation fault。
-
alignment必须是 2 的幂，且 ≥sizeof(void*)，否则行为未定义（不是抛异常，是 UB） - 分配大小
size不必是alignment的倍数，但实际可用内存从对齐地址开始算，建议按对齐补零（如size = (size + alignment - 1) & ~(alignment - 1)） - 返回指针必须用
std::free释放，不能用delete或delete[]，否则 UB
分配 64 字节对齐内存用于 AVX-512 向量加载
AVX-512 指令如 _mm512_load_ps 要求地址 64 字节对齐，否则触发 #GP 异常（Linux 下为 SIGBUS）。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 检查编译器支持：GCC 7+、Clang 5+、MSVC 2019 16.8+ 才完整支持
std::aligned_alloc；旧版本需用posix_memalign或_aligned_malloc - 示例代码：
void* ptr = std::aligned_alloc(64, 2048);<br>if (!ptr) { /* 处理分配失败 */ }<br>__m512 v = _mm512_load_ps(static_cast<float*>(ptr)); // 安全 - 注意：即使分配成功，也要确认运行时页对齐——
std::aligned_alloc在多数实现中依赖mmap(MAP_ANONYMOUS)，但小尺寸可能 fallback 到malloc内部池，不一定满足高对齐；关键场景建议加断言：assert(reinterpret_cast<uintptr_t>(ptr) % 64 == 0)</uintptr_t>
std::aligned_alloc 和 malloc / posix_memalign 的兼容性差异
跨平台项目容易混用，结果在 macOS 或旧 Linux 上崩溃。
关键区别：
-
std::aligned_alloc是 C++17 标准函数，但 glibc 在 2.16+ 才支持，musl 直到 1.2.0+ 才支持；Android NDK r21+ 才带实现 -
posix_memalign更广泛可用，但接口不同：int posix_memalign(&ptr, alignment, size)，返回 0 表示成功 - Windows 上必须用
_aligned_malloc+_aligned_free，std::aligned_alloc在 MSVC 中只是封装了它 - 不要混合使用：用
posix_memalign分配的内存不能用std::free，反之亦然
对齐内存泄漏和 RAII 封装要点
裸调 std::aligned_alloc + std::free 极易漏掉释放，尤其异常路径下。
安全做法：
- 写一个轻量 RAII 包装器，例如：
struct aligned_deleter {<br> size_t align;<br> void operator()(void* p) const { std::free(p); }<br>};<br>using aligned_ptr = std::unique_ptr<float[], aligned_deleter>;<br>auto ptr = aligned_ptr{static_cast<float*>(std::aligned_alloc(64, n * sizeof(float))), {64}}; - 别用
std::shared_ptr默认删除器，它硬编码调用delete，会崩 - 如果对齐值在编译期已知（如固定 64），可考虑
std::aligned_storage_t+ placement new，但仅适用于栈或静态生命周期对象
硬件加速场景里，对齐不是“够用就行”，而是“错一位就挂”。最常被忽略的是：分配函数本身不校验对齐可行性，也不报具体原因，出问题只能靠 assert 和地址打印定位。
