C++中判定内存地址对齐有四种方法：一、位运算快速判定（addr & (alignment-1) == 0）；二、std::align间接验证；三、reinterpret_cast加模运算校验；四、alignas配合static_assert编译期检测。
如果您在编写C++底层内存管理代码时需要准确判定某个地址是否满足特定对齐要求，则可能是由于编译器未提供直接可调用的运行时对齐校验接口。以下是实现内存地址对齐底层判定的辅助函数方法：
一、基于位运算的对齐判定函数
该方法利用对齐边界必为2的幂次这一特性，通过按位与运算快速判断地址是否落在合法对齐位置。当地址值与（对齐值-1）做按位与结果为0时，表明地址已对齐。
1、定义模板函数，接受指针类型参数和对齐字节数作为非类型模板参数；
2、将指针转换为uintptr_t类型以获取原始地址数值；
3、执行表达式 (addr & (alignment - 1)) == 0 判定结果；
4、返回布尔值表示对齐状态。
二、使用std::align进行间接验证
该方法借助标准库中已定义的对齐调整工具，在不修改原地址前提下模拟对齐过程，并比对输入与输出地址是否一致，从而推断原始地址是否已满足要求。
1、声明足够大的缓冲区（如256字节）并初始化起始地址；
2、调用 std::align(alignment, size, ptr, space)，其中ptr为待测地址，space为缓冲区剩余长度；
3、检查调用后ptr是否与原始地址值完全相等；
4、若相等则说明原始地址已自然对齐于指定边界。
三、通过reinterpret_cast与模运算双重校验
该方法结合类型转换与整数取模，适用于调试阶段或需跨平台兼容性保障的场景，虽性能略低于位运算，但语义清晰且易于验证逻辑正确性。
1、将指针变量通过 reinterpret_cast
2、对该地址值执行 addr % alignment 运算；
3、判断余数是否为零；
4、余数为零即代表该地址可被对齐值整除，满足对齐条件。
四、利用alignas声明配合静态断言检测编译期对齐
该方法不用于运行时判定，但在结构体定义或变量声明阶段可强制约束对齐方式，并通过static_assert在编译期捕获不满足条件的情况，提升代码健壮性。
1、定义结构体时在类名后添加 alignas(N) 指定最小对齐要求；
2、在关键位置插入 static_assert(alignof(T) >= N, "Alignment requirement not met");；
3、确保T为实际使用的类型或变量；
4、编译失败时将提示具体未达标的对齐约束。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
