<p>运行时验证指针对齐需用位运算或模运算：位运算（addr & (alignment - 1) == 0）高效推荐；模运算（addr % alignment == 0）语义清晰但需防nullptr；模板函数可类型安全封装；结合alignof可校验类型对齐；std::align后须再次验证。</p>
如果您需要在运行时验证某个指针是否满足指定字节数的内存对齐要求，则不能依赖编译期的 alignof 运算符，而必须通过地址值本身的位运算或模运算进行判定。以下是实现该判定逻辑的多种可靠方案：
一、使用位运算判断对齐（推荐）
该方法基于对齐值必为 2 的幂这一前提，利用掩码清除低 log₂(alignment) 位后判零，效率高且被现代编译器充分优化。它不涉及除法或模运算，纯整型位操作，零开销。
1、将原始指针显式转换为 uintptr_t 类型，确保可承载完整地址值且跨平台安全。
2、确认对齐值 alignment 是 2 的幂（例如 1、2、4、8、16、32、64），否则掩码无效。
立即学习“C++免费学习笔记（深入）”；
3、执行位与运算：(addr & (alignment - 1)) == 0，结果为 true 表示地址已按该值对齐。
二、使用模运算判断对齐（语义清晰）
该方法直接表达“地址除以对齐值余数为 0”的数学含义，语义直观，适用于调试或对可读性要求高于极致性能的场景。现代编译器在 alignment 为 2 的幂时会自动将其优化为位运算。
1、将指针转换为 uintptr_t 类型，避免未定义行为。
2、使用 % 运算符计算余数：addr % alignment == 0。
3、注意：不可对 nullptr 执行此判定，因其地址值为 0，0 % N == 0 恒成立，可能掩盖逻辑错误。
三、封装为类型安全的模板函数
为避免每次手动转换和重复校验，可封装成泛型辅助函数，支持传入任意类型的指针，并在编译期约束对齐值为常量表达式。该函数内嵌对 alignment 合法性的断言检查，防止运行时误用非 2 的幂值。
1、定义函数签名：template<typename T> constexpr bool is_aligned(const T* ptr, std::size_t alignment)。
2、在函数体内插入 assert((alignment & (alignment - 1)) == 0)，确保 alignment 是 2 的幂。
3、执行 reinterpret_cast<uintptr_t>(ptr) & (alignment - 1) == 0 并返回布尔结果。
四、结合 alignof 进行类型对齐验证
当目标是验证某指针对齐是否满足某一类型的自然对齐需求（如 int 或 double）时，应使用 alignof(T) 获取该类型的对齐要求，再代入位运算或模运算判定，而非硬编码数值。
1、获取类型对齐值：constexpr auto req = alignof(double)。
2、传入待测指针 double* 或 void*，转换为 uintptr_t。
3、执行判定：(addr & (req - 1)) == 0，确保其满足该类型在当前平台的实际对齐边界。
五、运行时动态对齐验证配合 std::align 使用
在调用 std::align 尝试从缓冲区中切出对齐子区域后，必须验证其返回结果是否有效，且新指针确实满足预期对齐。此步骤不可省略，因 std::align 在空间不足或参数非法时可能返回 nullptr 或不修改原指针。
1、调用 std::align(alignment, size, &ptr, &space) 并检查返回值是否非空。
2、若返回非空指针，立即使用位运算再次验证：reinterpret_cast<uintptr_t>(ptr) & (alignment - 1) == 0。
3、若验证失败，说明输入缓冲区起始地址或可用长度不符合 std::align 的前置条件（即原始余量 ≥ alignment − 1），应终止后续对象构造流程。
