std::align 是在已有缓冲区内重定位指针以满足对齐要求的底层工具，不分配内存；它修改传入的指针和剩余空间值，要求缓冲区足够大、对齐值为2的幂且≤max_align_t，常用于自定义内存池或栈上紧凑布局。
std::align 是用来重定位指针，不是分配内存
它不申请新内存，只在已有缓冲区里“挪动”指针位置，使其满足指定对齐要求。常见误用是以为它能帮你分配对齐内存——其实不能，它只改 ptr 和 space 的值，靠你传入的原始缓冲区撑住整个过程。
典型场景：写自定义内存池、序列化 buffer、或在栈上预分配一块大内存后逐个放置不同对齐要求的对象（比如先放 int，再放 double，再放 std::max_align_t 成员）。
- 必须保证传入的缓冲区足够大，否则
std::align会返回空指针 -
ptr必须是可写的指针（比如char*），且初始指向缓冲区起始或中间某处 - 对齐值必须是 2 的幂，且不大于
alignof(std::max_align_t)（通常为 16），否则行为未定义
怎么调用 std::align？参数顺序和含义容易搞反
函数原型是：void* std::align(std::size_t alignment, std::size_t size, void*& ptr, std::size_t& space)。最容易错的是把 size 当成“要对齐的数据大小”，其实它是“对齐后需要占用的空间大小”——也就是你接下来要往这个地址写入的对象/数组的实际字节数。
举个例子：你想在 buffer 里放一个 double（8 字节，需 8 字节对齐），buffer 起始地址是 buf，剩余空间是 remaining：
立即学习“C++免费学习笔记（深入）”；
char buf[1024]; char* p = buf; std::size_t space = sizeof(buf); double* aligned_ptr = static_cast<double*>(std::align(8, sizeof(double), p, space));
如果成功，aligned_ptr 就是可用地址；失败则为 nullptr，且 p 和 space 可能已被修改（别再依赖原值）。
-
alignment是目标对齐值（如 8、16），不是类型名，别写alignof(double)算完再传——可以，但没必要，直接写数字更清楚 -
size必须 ≤ 修改后的space，否则无法容纳，std::align直接返回nullptr -
ptr和space都是引用传入，会被函数内部修改：前者移到对齐后地址，后者减去偏移量
为什么有时 std::align 返回 nullptr？常见失败原因
不是 bug，而是条件不满足。最常踩的坑是低估了对齐带来的“空洞”——比如在地址 0x1005 处想按 8 字节对齐，std::align 会把指针挪到 0x1008，这 3 字节就“丢”了，得从 space 里扣掉。如果剩余空间本来就不够 size + 对齐偏移，就失败。
- 缓冲区太小：例如
space == 7，却要求alignment == 8→ 不可能对齐，直接返回nullptr - 传入的
ptr已超出缓冲区范围（比如之前手动加过偏移但没检查边界） - 对齐值非法：比如传
3或12→ 行为未定义，结果不可预测 - 多线程下共享同一 buffer 但没同步
ptr和space→ 数据竞争，结果错乱
替代方案：new、std::aligned_alloc、std::pmr::polymorphic_allocator
std::align 是底层工具，适合精细控制；真要分配对齐内存，优先考虑更高层接口：
-
new (std::align_val_t{16}) T：C++17 起支持，由 operator new 处理对齐，比手撸std::align安全得多 -
std::aligned_alloc(alignment, size)：C++17 引入，但要求size是alignment的整数倍，且alignment是 2 的幂 -
std::pmr::monotonic_buffer_resource配合std::pmr::polymorphic_allocator：适合批量小对象、明确生命周期的场景，自动处理对齐
用 std::align 的唯一强理由，是你已经有一块固定 buffer（比如 mmap 出来的页、栈数组、或别人给的 raw memory），且必须在里面做紧凑布局——这时候，它的不可替代性才真正体现出来。
对齐偏移量不归零、space 剩余量变少、以及多次调用时 ptr 的起始位置必须严格承接上一次结束位置——这些细节，漏掉任何一个，buffer 就会悄悄越界或重叠。
