std::aligned_alloc要求size必须是alignment的整数倍，否则行为未定义（通常返回nullptr）；alignment须为2的幂且≥alignof(std::max_align_t)；必须用free()释放，不可用delete或std::free。
std::aligned_alloc要求size必须是alignment的整数倍
这是最常踩的坑：传入的size如果不是alignment的整数倍，std::aligned_alloc行为未定义（通常直接返回nullptr，不抛异常）。C++17标准明确要求这一点，不是实现差异。
实操建议：
- 用
(size + alignment - 1) & ~(alignment - 1)向上对齐（仅当alignment是2的幂时安全） - 更通用的做法是
((size + alignment - 1) / alignment) * alignment - 如果只是临时分配POD类型数组，直接用
sizeof(T) * N并确保N足够大，比手动算对齐更可靠
必须用free()释放std::aligned_alloc分配的内存
std::aligned_alloc返回的是原始指针，不是智能指针，也不受std::allocator管理。它和malloc同源，因此必须配对使用free()，不能用delete、delete[]或std::free（后者不存在）。
常见错误现象：
- 用
delete释放 → 未定义行为，大概率崩溃或静默损坏堆 - 忘记
free→ 内存泄漏，且工具如AddressSanitizer可能无法准确标记 - 混用
std::free→ 编译失败：std命名空间中无此函数
alignment参数必须是2的幂且≥alignof(std::max_align_t)
标准规定alignment必须是2的幂，且不能小于平台默认最大对齐值（通常是16或32）。低于该值不会报错，但失去意义；高于它才体现对齐优势，比如AVX-512需要64字节对齐。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
使用场景判断：
- 普通结构体/类 → 一般不需要显式对齐，用
new即可 - SIMD计算（
__m256,__m512）→ 至少对应32或64字节对齐 - 硬件DMA缓冲区 → 查芯片手册，常见为4KB或页对齐（
4096）
注意：alignof(std::max_align_t)可查，但不要硬编码；若需动态对齐值，优先考虑std::aligned_storage_t或std::vector配合std::pmr::polymorphic_allocator。
Windows上std::aligned_alloc不可用，得换方案
MSVC直到VS2019 16.8才开始支持C++17的std::aligned_alloc，且仅限于/std:c++17及以上+启用C运行时对齐支持。旧版本或MinGW-w64（非UCRT）可能直接链接失败或返回nullptr。
跨平台稳妥做法：
- 用
_aligned_malloc+_aligned_free（Windows） - 用
posix_memalign（Linux/macOS） - 封装一层宏或内联函数，按
defined(_WIN32)分发 - 避免依赖
std::aligned_alloc本身做编译期特征检测——它存在不代表能用
真正麻烦的不是语法，而是对齐内存的生命周期管理：一旦涉及对象构造（比如在对齐内存上调用new (ptr) T），就得自己管析构和对齐释放，这时候std::pmr::unsynchronized_pool_resource反而更省心。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
