<p>_alignof不能判断地址是否对齐，它只返回类型的编译期对齐要求；判断地址对齐需用reinterpret_cast<uintptr_t>(ptr) & (alignment - 1) == 0（alignment为2的幂）。</p>
怎么用 _alignof 判断一个地址是否对齐到指定字节数
_alignof 返回的是类型或变量的对齐要求（单位字节），比如 _alignof(int) 通常是 4，_alignof(std::max_align_t) 通常是 16。但它不直接告诉你某个地址是否满足对齐——得靠你自己做模运算。
核心逻辑就一句：(addr % alignment) == 0，但注意：这里 addr 必须是 uintptr_t 类型，不能直接对指针取模；alignment 必须是 2 的幂（否则模运算结果不可靠，且 C++ 对齐要求本身只定义 2 的幂）。
- 错误写法：
if (ptr % 16)—— 指针不能直接参与算术模运算，编译不过 - 正确做法：
if (reinterpret_cast<uintptr_t>(ptr) % 16 == 0)</uintptr_t> - 更安全封装：
auto addr = reinterpret_cast<uintptr_t>(ptr); return (addr & (alignment - 1)) == 0;</uintptr_t>（位与替代模，仅当alignment是 2 的幂时等价，且更快）
为什么不能直接用 alignof 替代运行时地址对齐检查
alignof(T) 是编译期常量，它只告诉你类型 T 的“自然对齐需求”，比如 alignof(double) 是 8，但这不等于你手头那个 double* 指针就一定指向 8 字节对齐地址——它可能来自 malloc（通常保证 max_align_t 对齐）、也可能来自栈上未对齐的 char 数组偏移、甚至来自 mmap 映射的任意页内偏移。
- 典型误用场景：写了
static_assert(alignof(MyStruct) >= 16)，就以为new MyStruct[100]的首地址一定 16 字节对齐 → 错，new只保证至少alignof(T)对齐，不保证更高 - 真正需要运行时检查的地方：自定义内存池分配后验证、SIMD 加载前校验（如
_mm256_load_ps要求 32 字节对齐）、DMA 缓冲区准备 - 补充：C++17 引入
std::aligned_alloc，但它返回的地址才保证按指定值对齐；普通malloc只保证max_align_t（常见为 16）
std::align 和手动模运算是不是重复劳动
不是重复，是分工不同。std::align 是帮你“把一块原始内存调整出一块对齐子区域”，它修改指针和剩余空间大小；而模运算是“判断当前指针是否已对齐”。两者常配合使用：先用 std::align 尝试对齐，再用模运算快速验证结果。
立即学习“C++免费学习笔记（深入）”；
-
std::align典型用途：从大块缓冲区里切出一个 64 字节对齐的float[1024]起始位置 - 它的返回值是指向对齐地址的指针，但你不应默认它成功——必须检查返回值是否非空，且原缓冲区足够大
- 手动模运算更适合轻量级断言，比如调试时加一句：
assert((reinterpret_cast<uintptr_t>(p) & 63) == 0);</uintptr_t>（比% 64稍快，也更常见于底层代码）
容易被忽略的边界问题：零地址、负偏移、非 2 的幂 alignment
对齐判定函数如果没做防御，遇到这些情况会行为异常甚至崩溃。
-
nullptr：reinterpret_cast<uintptr_t>(nullptr)</uintptr_t>是 0，0 % N == 0，所以判定为“对齐”——这数学上没错，但语义上多数人不认为空指针满足任何对齐，建议显式判空 - 负地址：在罕见嵌入式或自定义内存模型中可能出现，
uintptr_t是无符号类型，强制转换后自动归为大正数，模运算仍有效，但逻辑上需确认是否允许负地址参与对齐判断 - 非 2 的幂 alignment：C++ 标准只要求对齐值是 2 的幂，传入 12 或 10 会导致位与优化失效，
%运算虽能算但失去硬件意义，且_alignof永远不会返回这种值，应视为非法输入并 assert 或抛异常
真正麻烦的是跨平台差异：Windows 上 _aligned_malloc 返回地址对齐到请求值，Linux 的 posix_memalign 要求 alignment 是 2 的幂且 ≥ sizeof(void*)，少检查一个条件就可能 segfault。
