std::aligned_alloc要求对齐值必须是2的幂且不小于sizeof(void*)，否则返回nullptr；分配内存须用std::free释放，不可混用delete；建议对size手动对齐并检查返回值，现代c++优先使用std::pmr::polymorphic_allocator等替代方案。
std::aligned_alloc要求对齐值必须是2的幂且不小于sizeof(void*)
这是最常踩的坑：传入非法对齐值会直接导致std::aligned_alloc返回nullptr，但不会抛异常。比如在x64系统上sizeof(void*) == 8，那么传4或12都无效；必须用16、32、64等2的幂，且≥8。
常见错误写法：std::aligned_alloc(12, 1024) —— 12不是2的幂，返回空指针；std::aligned_alloc(2, 1024) —— 小于sizeof(void*)，同样失败。
- 检查对齐值：用
(align & (align - 1)) == 0判断是否为2的幂（注意align > 0） - 确保
align >= sizeof(void*)，可直接用alignof(std::max_align_t)作为安全下限 - 分配后务必检查返回值：
if (!ptr) { /* handle error */ }
分配的内存必须用std::free释放，不能用delete或delete[]
std::aligned_alloc返回的是void*，底层调用的是C标准库的对齐分配器（如posix_memalign或_aligned_malloc），和new无关。混用释放方式会导致未定义行为，典型表现是程序崩溃或内存泄漏。
- 正确释放：
std::free(ptr) - 错误释放：
delete ptr、delete[] ptr、operator delete(ptr) - 若需RAII管理，应封装为自定义
unique_ptr删除器，例如：std::unique_ptr<int void>{ptr, [](void* p) { std::free(p); }}</int>
对齐大小必须整除分配字节数（某些平台严格要求）
POSIX标准不要求，但Windows的_aligned_malloc（MSVC内部实现）会拒绝size % align != 0的请求。虽然std::aligned_alloc规范未强制，但为跨平台健壮性，建议手动对齐size：
size_t aligned_size = ((size + align - 1) / align) * align; void* ptr = std::aligned_alloc(align, aligned_size);
- 不这样做可能在Windows上静默失败（返回
nullptr），Linux通常容忍 - 尤其当
size来自模板参数或运行时计算时，容易忽略该条件 - 若后续要构造对象（如
new (ptr) T），还需确保aligned_size >= sizeof(T)且满足T的alignof
替代方案：C++17起优先考虑std::allocator::allocate_with_hint或std::pmr::polymorphic_allocator
std::aligned_alloc是C风格接口，缺乏类型安全和异常支持。现代C++中，更推荐用标准分配器抽象：
- 对容器定制对齐：
std::vector<t aligned_allocator alignval>></t>（需自定义allocator） - 用
std::pmr::polymorphic_allocator配合std::pmr::synchronized_pool_resource，后者支持对齐控制（通过memory_resource::allocate的alignment参数） - 若只是临时需要，
std::vector配合reserve和data()通常已足够，除非明确需要特定对齐（如SIMD指令要求32字节对齐）
真正需要std::aligned_alloc的场景其实不多：主要是与C API交互、手写SIMD循环、或实现底层内存池。多数业务代码里，它出现得越少，出错概率越低。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
