std::align 是在已有原始内存中查找满足对齐要求的子地址的运行期工具；它不分配内存、不修改对象布局，仅通过调整指针位置实现对齐，输入为缓冲区起始地址与大小、期望对齐值和对象大小，输出为对齐后地址并更新剩余空间。
std::align 是什么，它到底对齐谁？
std::align 不分配内存，也不修改已有对象的布局；它只在一块**已有的、足够大的原始内存区域**中，帮你找出一个满足对齐要求的子地址。常用于自定义内存池、placement new、或实现 std::allocator 的 allocate 后的手动对齐调整。
典型误用是以为它能“让某个变量对齐”——不行。std::align 操作的是指针和大小，不是变量本身。
- 输入：原始缓冲区起始地址（
void*&）、缓冲区总大小（size_t&）、期望对齐值（size_t）、待对齐对象大小（size_t） - 输出：若成功，更新传入的指针和剩余大小，并返回对齐后的地址；失败则返回
nullptr - 关键约束：缓冲区必须至少有
alignment + size字节，否则无法保证找到合法位置
std::align 的标准调用模式（带错误检查）
正确使用必须同时检查指针更新和剩余空间，不能只看返回值。下面是最小可行示例：
char buffer[256];
void* ptr = buffer;
size_t space = sizeof(buffer);
const size_t align_req = 16;
const size_t obj_size = sizeof(double);
<p>void* aligned_ptr = std::align(align_req, obj_size, ptr, space);
if (aligned_ptr == nullptr) {
// 对齐失败：buffer 不够大，或 align_req 不是 2 的幂
} else {
// aligned_ptr 可用于 placement new
new (aligned_ptr) double(3.14);
}注意：ptr 和 space 是引用传入，会被 std::align 修改——这是它“消耗”缓冲区的方式。很多初学者漏掉这一步，导致后续复用时出错。
立即学习“C++免费学习笔记（深入）”；
-
align_req必须是 2 的整数幂（如 1, 2, 4, 8, 16…），否则行为未定义 -
obj_size应 ≤ 原始space，但std::align不校验这点；越界写入由你负责 - 返回的
aligned_ptr地址满足：reinterpret_cast<uintptr_t>(aligned_ptr) % align_req == 0</uintptr_t>
和 _Alignas / alignof 的区别在哪？
_Alignas 是编译期对齐声明，作用于类型或变量定义；alignof 是编译期查询类型对齐要求；而 std::align 是运行期指针调整工具——三者不在同一抽象层。
例如：
struct _Alignas(32) cache_line { char data[64]; };
static_assert(alignof(cache_line) == 32, ""); // ✅ 编译期强制
<p>char raw[128];
void* p = raw;
size_t s = sizeof(raw);
std::align(32, sizeof(cache_line), p, s); // ✅ 运行期在 raw 中找 32 字节对齐起点- 用
_Alignas定义的变量，其地址由编译器/链接器保证对齐（栈/全局/静态存储） - 堆上
new出来的对象，只保证满足alignof(T)，不保证更高对齐；要更高对齐得用aligned_alloc或std::align配合自定义分配器 -
std::align无法提升原始缓冲区本身的对齐级别（比如从 8 字节对齐的malloc结果里硬凑 64 字节对齐），它只是跳过前面若干字节找下一个满足点
常见崩溃场景：为什么 std::align 返回 nullptr 却没报错？
最隐蔽的问题是传入的 align_req 非 2 的幂，或缓冲区太小。此时 std::align 直接返回 nullptr，但不会抛异常、不打印日志、也不修改 ptr 和 space（C++17 起标准明确要求保持原值）。
- 调试技巧：用
assert((align_req & (align_req - 1)) == 0)检查对齐值是否合法 - 安全封装建议：写个 wrapper，自动计算最小所需缓冲区（
obj_size + align_req），并在失败时触发断言或日志 - 注意平台差异：某些嵌入式 libc 实现可能对非标准对齐值行为不一致，优先用
alignof查询而非硬编码
真正难调试的不是对齐失败，而是对齐成功后忘了更新可用空间，导致下一次 std::align 在重叠区域操作——这种 bug 往往表现为随机内存损坏，而不是立即崩溃。
