std::align 不返回布尔值，而是尝试重定位指针：若原地址已对齐则返回原地址，否则返回对齐后新地址；判定是否原本对齐应比较 aligned_ptr == original_ptr。
如何用 std::align 判断一块内存是否满足指定对齐要求
直接结论：std::align 本身不返回“是否对齐”的布尔值，它做的是“尝试重定位指针”，成功时更新指针并返回新地址，失败则返回空指针 —— 所以判定逻辑得靠你手动比对原始地址和对齐后地址是否一致。
常见误用是把 std::align 当成校验函数调用，结果发现它总“改”了你的指针，却没意识到：它只在原始地址不满足对齐时才移动指针；若原本就对齐，它原样返回原地址（并更新 space_ptr 和 space_size）。
实操建议：
- 传入的原始指针必须是可写入的（比如堆分配或栈上足够大的缓冲区），
std::align不会分配内存，只做偏移计算 - 调用前保存原始指针副本，调用后比较两者是否相等：
aligned_ptr == original_ptr才说明原本就对齐 -
std::align的第四个参数（space_size）会被减去已跳过的字节数，务必用引用传入，否则无法反映真实剩余空间
void* buf = malloc(256); void* orig = buf; size_t space = 256; void* aligned = std::align(16, 32, buf, space); // 对齐到 16 字节，需求 32 字节空间 bool was_aligned = (aligned == orig); // 注意：不是检查 aligned != nullptr！
为什么不能直接用 (ptr & (align-1)) == 0 判定所有场景
这个位运算技巧在 align 是 2 的幂时确实快，但它只适用于“已知地址合法且未被 offset 过”的裸地址。实际中容易踩坑：
立即学习“C++免费学习笔记（深入）”；
- 指向
struct成员的指针可能因填充（padding）导致地址看似对齐，但该位置并不对应对象起始 —— 此时位运算成立，但reinterpret_cast<T*>(ptr)仍可能触发未定义行为 - 某些平台（如 ARMv7 非特权模式）对非对齐访问会 trap，但编译器生成的代码可能隐式插入 unaligned load/store，此时光看地址数值没用，得结合
alignof(T)和对象布局综合判断 - 使用
std::malloc分配的内存，其返回地址至少满足__STDCPP_DEFAULT_NEW_ALIGNMENT__（通常 16），但若你后续做了指针算术（比如p + 1），位运算就失效了
真正安全的判定，应绑定类型：先确认指针是否指向该类型的合法对象起始地址，再检查 reinterpret_cast<uintptr_t>(ptr) % alignof(T) == 0</uintptr_t> —— 而非任意整数对齐。
现代 C++ 中替代手写对齐判定的更可靠方式
C++17 起，std::aligned_alloc 和 std::assume_aligned 让对齐管理更明确，但它们不解决“判定”问题，而是把责任交给程序员声明意图。
实操建议：
- 需要频繁判定时，封装一个模板函数，强制绑定类型：
template<class T> bool is_properly_aligned(const void* p)，内部用alignof(T)和std::uintptr_t比较，同时加assert(p != nullptr) - 避免在运行时反复判定；若某块内存生命周期内需多次使用，首次分配/构造时就验证并缓存结果（比如用
std::optional<bool>存状态） - 注意
alignof返回的是类型要求的最小对齐，不是平台最大支持对齐；例如alignof(std::max_align_t)是 16，但你可以用alignas(32)强制更大对齐，此时判定必须用32，而非alignof
别忘了：alignas 修饰的变量，其地址由编译器保证对齐，运行时判定只是调试手段，不该出现在热路径里。
std::align 在自定义分配器中的典型误用与修复
很多手写 allocator 在 allocate 里调用 std::align 后直接返回 aligned，却忘了更新内部剩余空间记录 —— 导致下一次分配时从错误偏移开始，最终越界或覆盖元数据。
关键点：
-
std::align修改的是传入的ptr和space_size参数（按引用），不是拷贝；如果你传的是成员变量的副本，修改就丢了 - 正确做法是把待对齐缓冲区地址和大小作为引用成员维护，或者每次调用前重新计算可用空间（比如从 base + offset 开始）
- 若分配器支持多种对齐（如 small object pool 按 8/16/32 分桶），不要复用同一块缓冲区做多次
std::align调用 —— 第二次调用的space_size已被第一次缩小，可能不足
最稳妥的实践：每个对齐粒度单独管理空闲链表，绕过 std::align 的偏移逻辑，也避免运行时计算开销。
