内存地址对齐判定需满足alignment为2的幂，通过(addr & (alignment-1)) == 0位运算验证；alignas可声明变量或结构体对齐，但实际对齐取成员中最严格者；std::aligned_alloc分配对齐内存后须判空并用free释放。
判断一个内存地址是否满足特定对齐要求，是手动内存池管理、自定义分配器或SIMD数据处理时必须解决的问题，直接关系到程序是否崩溃或触发未定义行为。
底层地址对齐判定逻辑（位运算实现）
对齐的本质是地址值能被对齐数整除，即 addr % alignment == 0。但取模运算开销大，编译器和标准库均采用位运算优化。
第一步：确认对齐值 【必须是2的幂次】，例如 4、8、16、32、64。若 alignment 不是 2 的幂（如 12），该判定逻辑不适用，需回退到取模。
第二步：计算掩码 mask = alignment - 1。例如 alignment=16 → mask=15（二进制 1111）。
立即学习“C++免费学习笔记（深入）”；
第三步：执行 (addr & mask) == 0 判定。因为当且仅当 addr 低 log₂(alignment) 位全为 0 时，地址才对齐——这正是位与掩码为 0 的含义。
这一步不可省略验证：若 addr = 0x1003，alignment = 8，则 mask = 7（0b111），0x1003 & 7 = 3 ≠ 0，判定失败，说明该地址未按 8 字节对齐。
alignas声明变量并验证对齐结果
使用 alignas 可强制编译器在栈/全局区分配指定对齐的变量，但对齐效果依赖目标平台和编译器支持。
方法一：对单个变量施加对齐约束
声明 alignas(32) float simd_buffer[8]; 此时编译器确保 simd_buffer 起始地址是 32 的倍数；若平台不支持 32 字节对齐（如某些嵌入式 ARM），编译报错而非静默降级。
方法二：对结构体整体对齐，同时控制内部成员布局
struct alignas(64) CacheLineBlock { char data[64]; }; 这样定义后，sizeof(CacheLineBlock) 为 64，且每个实例起始地址必为 64 的倍数；注意 【若结构体内含更严格对齐成员（如 alignas(128) int x），则 alignas(64) 会被忽略，实际对齐取最大值】。
运行时动态分配对齐内存并校验
std::aligned_alloc 是 C++17 引入的标准方案，替代了非标准的 _aligned_malloc 或 posix_memalign。
① 调用 void* ptr = std::aligned_alloc(32, 1024); 分配 1024 字节、32 字节对齐的内存块。
② 检查返回值：若 ptr == nullptr，说明对齐值非法（非 2 的幂）或内存不足，【std::aligned_alloc 不会抛异常，必须显式判空】。
③ 验证对齐：使用前述位运算逻辑 assert((reinterpret_cast
④ 使用完毕后必须调用 std::free(ptr)，不能用 delete 或 delete[]，否则行为未定义。
