std::align 不分配内存，仅在给定缓冲区内偏移指针，需手动预留 padding；可靠对齐分配须管理原始缓冲区、偏移和剩余空间，推荐 aligned_alloc 或 _mm_malloc。
直接说结论：用 std::align 手动对齐堆内存必须自己预留 padding，不能指望它“修好”不对齐的原始指针；真正可靠的对齐分配器得同时管理原始缓冲区大小、对齐偏移和剩余空间，aligned_alloc 或 _mm_malloc 是更省心的选择。
为什么 std::align 总返回 nullptr
因为 std::align 不分配内存，只在你给的缓冲区里做指针偏移和校验。常见失败原因：
- 传入的原始缓冲区没预留足够 padding —— 至少要多申请
alignment - 1字节 - 原始指针地址本身不满足最小对齐要求（比如
new char[1024]返回的是 8 字节对齐地址，但你要 64 字节对齐） - 传了非 2 的幂的对齐值，如
12或100，标准规定行为未定义
正确姿势是先多申请、再对齐：
char* raw = new char[1024 + 64]; // 多留 64 字节
void* ptr = raw;
size_t space = 1024 + 64;
if (std::align(64, sizeof(MyStruct), ptr, space)) {
MyStruct* s = new(ptr) MyStruct(); // placement new
}
aligned_alloc 和 _mm_malloc 的实际差异
两者都返回对齐的堆内存，但语义和生命周期管理不同：
-
aligned_alloc(alignment, size)是 C11 标准函数，alignment必须是 2 的幂且整除size；释放必须用free()，不能用delete -
_mm_malloc(size, alignment)是 Intel 提供的 intrinsic，alignment只需是 2 的幂，不要求整除size；释放必须用_mm_free()，混用会崩溃 - Windows 上
_aligned_malloc行为类似_mm_malloc，但头文件是malloc.h
跨平台项目建议封装一层判断：
#ifdef __GNUC__
ptr = aligned_alloc(32, size);
#else
ptr = _mm_malloc(size, 32);
#endif
自定义对齐分配器必须处理的三个硬约束
一个能落地的分配器不能只靠 std::align，还得管住这三件事：
- 原始内存块的起始地址是否满足最小对齐？如果不满足，得先跳过前面若干字节（即“head room”）
- 每次分配后要更新剩余可用空间大小，否则后续
std::align调用可能因space不足而失败 - 释放时无法仅凭指针还原原始缓冲区起始地址 —— 必须显式记录头信息（比如在缓冲区最前写入原始
raw指针或 offset）
这意味着：纯无状态的 std::align 无法构成完整分配器，必须搭配元数据管理。
alignas 对堆分配完全无效，别被名字骗了
alignas(N) 只影响编译期布局，对 new 出来的地址对齐性零约束力：
- 全局变量或栈变量加
alignas(64)，编译器会保证地址对齐 - 但
struct alignas(64) Vec4 { float x,y,z,w; };+new Vec4，仍可能拿到 8 字节对齐地址 -
sizeof(Vec4)会变成 64（补 pad），但这只是结构体内部填充，不是运行时分配保证
想让堆上对象严格对齐，只能绕过 new，用 aligned_alloc + placement new，或直接用对齐 malloc 系列函数。
最容易被忽略的一点：对齐不只是“让地址能被整除”，它牵扯到缓冲区大小计算、元数据存放位置、释放路径一致性——漏掉任意一环，std::align 就只是个优雅的空指针生成器。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
