<p>用 _alignof(T) 获取类型 T 的自然对齐值 A，再通过 (uintptr_t)p & (A - 1) == 0 判断指针 p 是否满足对齐要求；A 必须是 2 的幂，且需用 uintptr_t 转换地址，避免截断或符号问题。</p>
如何用 _alignof 判断类型是否满足某地址对齐要求
_alignof 返回的是类型在内存中自然对齐的字节数，比如 _alignof(int) 通常是 4，_alignof(std::max_align_t) 通常是 16。但它不直接告诉你“某个地址是否对齐”——它只告诉编译器“这个类型期望怎么放”。所以判断一个指针 p 是否按 T 对齐，不能只看 _alignof(T)，还得结合地址值本身。
常见错误是写成：if (_alignof(T) == 16) { /* 就认为 p 要模 16 为 0 */ } ——这逻辑跳步了：_alignof(T) 是前提，真正判定得靠地址运算。
- 正确做法是：先确认目标对齐值
A = _alignof(T)，再检查reinterpret_cast<uintptr_t>(p) % A == 0</uintptr_t> - 注意：
A必须是 2 的幂（C++ 标准保证），否则模运算不能简化为位与，且对齐无定义 - 若
T是用户自定义类型，_alignof(T)取决于其最大对齐成员，不是简单加总
为什么用 (uintptr_t)p & (A - 1) 比 % 更常用
模 2 的幂等价于掩码操作，addr % A 在 A 是 2 的幂时可转为 addr & (A - 1)，后者是单条 CPU 指令，无除法开销，也避免了编译器对 % 的符号处理歧义（尤其当指针转为有符号整型时）。
-
uintptr_t是唯一能无损容纳指针的整型，必须用它做转换，不能用size_t（虽常等价，但非保证） - 错误示例：
if (p % 16)——指针不能直接取模，编译不过 - 危险示例：
if ((long)p & 15)——long在 Windows x64 是 4 字节，截断高位地址
封装安全的对齐判定函数要注意什么
一个看似简单的 is_aligned(const void* p, size_t align) 函数，实际要防三类问题：参数非法、对齐值非法、类型擦除后丢失信息。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
align必须是 2 的幂且 > 0，否则& (align - 1)会出错甚至 UB；建议运行时断言align && (align & (align - 1)) == 0 - 不要试图从
void*反推对齐需求——对齐约束由使用方决定，比如你拿void*去 reinterpret_cast 成__m256，就得按 32 对齐，和原始分配无关 - 模板版本更可靠：
template<typename t> bool is_aligned(const void* p) { return reinterpret_cast<uintptr_t>(p) % _alignof(T) == 0; }</uintptr_t></typename>，但注意_alignof是编译期常量，无法用于运行时动态对齐值
实战中容易被忽略的对齐陷阱
你以为对齐检查通过了就万事大吉？未必。真正出问题往往在“对齐了，但没完全对齐”。
- AVX-512 指令要求 64 字节对齐，但
_alignof(__m512)可能返回 32（取决于编译器和 ABI），这时仅靠_alignof会误判 - malloc 返回的内存只保证
std::max_align_t对齐（通常 16），不保证更大对齐；要用aligned_alloc或_mm_malloc - 结构体成员偏移受填充影响，
_alignof(S)≠ 所有成员对齐值的最大值——如果最后一个成员是char，而前面有double，结构体对齐仍为 8，但总大小可能因尾部填充变成 16
对齐不是一锤子买卖，它依赖分配方式、使用意图、目标指令集三者对齐。光看 _alignof 和模运算是起点，不是终点。
