std::align 不是内存分配函数，仅在已有内存块内调整指针；误用会导致未定义行为，必须确保原始内存余量≥对齐值−1、对齐值为2的幂且≤平台最大对齐，调用后须检查ptr是否为nullptr。
std::align 不是内存分配函数，它只在已有内存块内“挪指针”，传错原始地址或空间不足会直接导致后续访问未定义行为（UB）。
std::align 的典型误用场景
常见错误是把它当 aligned_alloc 用：传入一个未对齐的 char*（比如 new char[1024] 返回的地址），再调用 std::align(32, sizeof(int), &ptr, &space)，结果 ptr 可能没变、或指向越界位置——因为 std::align 要求原始内存预留余量 ≥ 对齐值 − 1，否则返回 nullptr 或不修改指针。
- 必须确保传入的
ptr和space是你真实拥有的内存起始地址与可用字节数 - 对齐值（如
32）必须是 2 的幂，且 ≤ 当前平台最大支持对齐（alignof(std::max_align_t)通常是 16 或 32） - 调用后要检查
ptr是否为nullptr，不能假设一定成功
如何安全构造一块对齐内存并放置对象
真正需要“分配 + 对齐”时，应组合使用 aligned_alloc（C++17）或 std::aligned_storage（C++11 起）+ 定位 new。例如：
// C++17 推荐方式：直接分配对齐内存
void* buf = aligned_alloc(64, sizeof(MyStruct));
if (buf) {
MyStruct* obj = new(buf) MyStruct(); // 定位 new
// ... 使用 obj
obj->~MyStruct(); // 手动析构
free(buf);
}
-
aligned_alloc要求 size 是对齐值的整数倍，否则行为未定义 -
std::aligned_storage本质是带::type __attribute__((aligned(A)))的 union，仅适用于编译期已知大小和对齐的场景 - 栈上对齐用
alignas(64) char buf[sizeof(MyStruct)]更轻量，但大小必须静态确定
判断某地址是否满足指定对齐要求的辅助函数
底层判定只需一行位运算：(reinterpret_cast。但要注意 alignment 必须是 2 的幂，否则该表达式失效。
- 封装成函数时，建议加
assert((alignment & (alignment - 1)) == 0)检查对齐值合法性 - 不要对
nullptr做判定，避免未定义行为 - 该判断不涉及任何内存访问，纯地址计算，零开销
结构体成员布局与对齐验证的实操要点
实际调试中，offsetof 和 alignof 是最直接的验证工具。例如：
struct S { char a; int b; };
static_assert(offsetof(S, b) == 4, "b must be at offset 4");
static_assert(alignof(S) == 4, "S must align to 4");
-
alignof(T)返回的是类型T的自然对齐要求，不是sizeof(T) - 结构体总大小不等于各成员大小之和，填充字节（padding）不可忽略，尤其在跨平台通信或 memcpy 场景下
- 用
#pragma pack(1)强制紧凑布局会破坏对齐，可能触发 ARM 硬件异常或 SSE 指令崩溃
真正难的不是写对齐代码，而是理解哪一层该由谁负责：编译器管结构体布局，aligned_alloc 管堆上对齐内存，std::align 只管已有内存里的指针微调——混用就容易出 UB。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
