std::align不能直接对std::unique_ptr内存对齐，因其仅在已有内存中滑动指针找对齐起点，不分配/移动数据；直接用.get()调用会导致析构时释放错误地址，引发double free或use-after-free。
std::align 为什么不能直接对 std::unique_ptr 内存做对齐？
因为 std::unique_ptr 管理的是已分配好的原始内存块，而 std::align 只是“在一块已有内存中滑动指针找对齐起点”，它不分配内存、也不移动数据——你传给它的必须是一段足够大且可写的连续缓冲区。直接对 std::unique_ptr 的 .get() 调用 std::align，只会返回一个偏移后的地址，但原 unique_ptr 仍持有首地址，析构时会错误释放整个块，或导致越界访问。
常见错误现象：double free、heap-use-after-free（ASan 报告）、读到垃圾值（尤其用在 SIMD 或 GPU 映射场景时）。
- 正确做法：先申请一块「超额」内存（大小 = 实际需求 + 对齐偏移最大可能值），再用
std::align在其中定位对齐起始点，并单独记录原始首地址用于最终释放 - 别依赖
new T[n]—— 它只保证alignof(T)对齐，不满足更高要求（如 64 字节 cache line 或 4096 字节页对齐） - 若需构造对象，对齐后要显式调用 placement new，且析构时也得手动调用
obj.~T()
如何用 _alignas 配合自定义 deleter 实现类型安全的对齐智能指针？
_alignas 是编译期对齐约束，只能作用于类型或变量声明，无法动态改变；但它能确保你设计的封装类型内部字段天然满足对齐要求。真正起作用的是把对齐逻辑和生命周期管理一起塞进 std::unique_ptr 的自定义 deleter 中。
典型使用场景：为 AVX-512 向量数组分配 64 字节对齐内存，或为 DMA 缓冲区申请 4096 字节页对齐内存。
- deleter 必须同时保存原始分配地址（非对齐起点），否则
operator delete会崩 - 推荐用
std::unique_ptr，把原始指针和 deleter 绑定在一起 - 示例关键片段：
auto raw = new uint8_t[needed_size + align_val];
uint8_t* aligned = nullptr;
size_t space = needed_size + align_val;
std::align(align_val, needed_size, raw, space, aligned);
// 此时 aligned 是对齐地址，raw 是原始地址
auto del = [raw](uint8_t* p) { delete[] raw; };
std::unique_ptr<uint8_t decltype> ptr(aligned, del);
</uint8_t>
为什么不用 std::aligned_alloc？它和 std::align 混用会出什么问题？
std::aligned_alloc 是 C++17 引入的分配函数，它直接返回按指定对齐的内存，且要求 size 是 alignment 的整数倍。但它返回的指针必须用 std::free 释放——这和 new[]/delete[] 不兼容，无法直接交给 std::unique_ptr 默认 deleter。
混用错误现象：malloc 分配的内存被 delete[] 释放 → 未定义行为（多数 libc 直接 abort）。
- 若坚持用
std::aligned_alloc，deleter 必须是[](void* p) { std::free(p); }，且类型得是std::unique_ptr<:byte ...> -
std::align更通用：适配任意分配方式（new、mmap、甚至栈缓冲区），但需要你多管一层地址管理 - Windows 上
std::aligned_alloc可能不可用（VC++ 早期版本仅支持 _aligned_malloc），此时std::align+new是更便携的选择
对齐智能指针封装时最容易忽略的三个细节
封装成模板类或工厂函数时，以下三点几乎必踩坑：
- 没检查
std::align返回值是否为nullptr：当传入缓冲区太小或 alignment 非 2 的幂时，它会失败并返回空指针，后续解引用直接崩溃 - 把对齐后的指针转成目标类型指针后，没用
reinterpret_cast而用 C 风格强制转换：某些编译器（如 Clang -fsanitize=undefined）会对类型别名违规报错 - 忘记对齐要求必须 ≤ 分配器实际保证的对齐：例如用
new分配的内存，alignof(std::max_align_t)通常是 16，你却要求 64 ——std::align可能成功（靠预留空间），但换到其他平台或 allocator 就失效
复杂点在于：对齐不是独立操作，它和分配方式、目标硬件、甚至链接器脚本都耦合。一次封装很难通吃所有场景，最稳的方式是让调用方明确传入原始分配器策略，而不是在智能指针里硬编码 new[]。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
