运行时验证内存地址对齐需用位运算或模运算：位运算要求对齐值为2的幂，通过uintptr_t转换后与(alignment-1)按位与为0判定；模运算更直观但性能略低；alignof获取类型对齐值；std::align调整指针；aligned_alloc分配对齐内存。
如果您需要在运行时验证某个内存地址是否满足特定对齐要求，则不能依赖编译期常量或类型信息直接得出结论。以下是实现该判定的底层逻辑与现代C++中安全处理对齐的多种方法：
一、使用位运算进行地址对齐判定
该方法基于对齐值必为2的幂这一前提，通过指针地址转换为整型后执行按位与操作，判断低log₂(alignment)位是否全为零。此方式零开销、可内联、适用于任意对齐值（前提是已知其为2的幂）。
1、将原始指针显式转换为uintptr_t类型，确保跨平台安全承载地址值。
2、将对齐值减1得到掩码，例如对齐64字节则掩码为63（二进制0b111111）。
3、对转换后的地址值执行按位与操作，结果为0即表示地址已按指定值对齐。
4、在封装函数中加入断言，检查传入的alignment是否为2的幂：assert((alignment & (alignment - 1)) == 0)。
5、显式排除nullptr输入，避免未定义行为：if (ptr == nullptr) return false;。
二、使用模运算进行地址对齐判定
该方法语义更直观，直接表达“地址值是否能被对齐值整除”，适用于所有正整数对齐值，但仅当对齐值为2的幂时才具备最优性能；现代编译器通常会将% N（N为2的幂）自动优化为位运算。
1、获取待判定的指针ptr，确认其非空。
2、调用reinterpret_cast<uintptr_t>(ptr)</uintptr_t>将其转为无符号整型地址。
3、计算addr % alignment，若结果为0则判定成功。
4、注意：不可对指针变量直接执行%运算，否则编译失败；必须先完成uintptr_t转换。
5、对齐值alignment必须大于0，且建议在调试版本中加入assert(alignment > 0)。
三、结合alignof运算符进行类型对齐需求匹配
该方法不用于判定具体地址，而是获取类型的自然对齐边界，作为判定目标的依据。它返回编译期常量，可用于泛型编程中动态适配不同平台的对齐策略。
1、使用标准alignof(T)获取类型T的对齐要求，例如alignof(double)通常返回8。
2、将该值作为第二步中位运算或模运算的alignment参数传入。
3、注意：alignof不适用于函数类型、不完整类型或位域成员；对结构体使用alignof(struct S)返回的是整个类型的对齐要求，而非其成员偏移。
4、若需验证结构体某成员的实际偏移是否满足其类型对齐，应配合offsetof使用：offsetof(S, member) % alignof(decltype(S::member)) == 0。
四、使用std::align进行已有内存块内的指针调整
该方法并非判定工具，而是对齐操作手段，适用于从一块原始缓冲区中切出满足指定对齐的子区域。它不分配新内存，仅修改指针和剩余空间大小，必须严格满足前置条件。
1、准备一块足够大的原始内存块，其起始地址为ptr，可用字节数为space。
2、确保space >= alignment - 1，否则std::align可能返回nullptr或不修改指针。
3、调用std::align(alignment, size, &ptr, &space)，其中size为目标对象所需字节数。
4、必须检查调用后ptr是否为nullptr，不可假设成功。
5、确认alignment是2的幂且不超过alignof(std::max_align_t)，典型值为16、32、64。
五、使用aligned_alloc进行真正对齐内存分配
该方法是C++17标准提供的原生对齐分配接口，返回的指针保证满足指定对齐要求，适用于需要独立分配对齐内存的场景，替代非标准的_aligned_malloc或手工模拟。
1、调用void* buf = aligned_alloc(alignment, size)，其中size必须为alignment的整数倍。
2、检查返回指针是否非空，若为nullptr说明分配失败。
3、使用定位new在该内存上构造对象：new(buf) MyStruct()。
4、对象使用完毕后，必须手动调用析构函数：static_cast
5、最终调用free(buf)释放内存；不可使用delete或delete[]。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
