std::align总返回空指针是因为它只在给定缓冲区内滑动指针找对齐位置，若缓冲区太小、起始地址偏移过大或对齐值非2的幂，就返回nullptr；需确保缓冲区长度≥对象大小+对齐值−1，且ptr为可写变量。
std::align 为什么总返回空指针？
因为 std::align 不分配内存，它只在已有缓冲区内“滑动”指针找对齐位置；如果缓冲区太小、或起始地址加大小后没留够对齐余量，它就直接返回空指针，不报错也不提示。
常见错误现象：std::align 返回 nullptr，但代码继续用原指针操作，结果越界或未对齐访问崩溃。
- 缓冲区长度必须 ≥ 所需对象大小 + 对齐值 − 1（最坏情况下偏移最大）
- 传入的
ptr必须是可写的指针变量（不是字面量或临时地址），std::align会修改它 - 对齐值必须是 2 的整数次幂，否则行为未定义（多数实现会静默失败）
std::align 的正确调用模式
典型用法是配合 std::aligned_storage 或手动申请的 raw 缓冲区，在其上构造对齐对象。关键在于：先预留足够空间，再用 std::align 调整指针，最后用 placement new 构造。
char buffer[256];
void* ptr = buffer;
std::size_t space = sizeof(buffer);
// 要对齐到 16 字节，存放一个 int
void* aligned_ptr = std::align(16, sizeof(int), ptr, space);
if (aligned_ptr == nullptr) {
// 失败：buffer 不够大或无法满足对齐
}
else {
new (aligned_ptr) int(42); // placement new
}
注意：ptr 和 space 是输入输出参数——std::align 修改它们以反映剩余可用区域。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
和 malloc / aligned_alloc 的区别在哪？
std::align 是纯指针运算，零开销，但不保证内存页对齐或线程安全；而 aligned_alloc（C11）或 std::aligned_alloc（C++17）会向系统申请新内存块，支持任意对齐（只要 ≤ 页面大小），但有分配成本和可能失败风险。
- 用
std::align：你已控制缓冲区生命周期（如栈数组、池内存），只需局部对齐 - 用
std::aligned_alloc：需要独立、可释放、跨作用域有效的对齐内存 -
malloc只保证最低对齐（通常 8 或 16 字节），不接受对齐参数，不能用于alignas(32)类型
对齐失败时容易忽略的边界条件
最隐蔽的问题是：缓冲区首地址本身可能离目标对齐边界很远，而 std::align 只能向前跳（即增加指针值），不能回退。所以即使总空间够，也可能因起始偏移“卡住”而失败。
- 例如：buffer 起始地址是
0x1003，要对齐到 16 字节且放 4 字节 int → 需跳到0x1010，但若space < 13（0x1010 − 0x1003 + 4），就失败 - 调试技巧：打印原始
ptr和对齐后值，确认偏移是否合理 - 别假设
sizeof(T)就是实际占用——如果有alignas(64)成员，对齐值才是关键约束
真正难的不是调用函数，而是提前算清缓冲区最小尺寸和初始偏移之间的关系。漏掉这个，std::align 就只是个优雅的空指针生成器。
