alignof仅反映类型自然对齐要求，不能用于判断地址是否对齐；需用(uintptr_t)p % alignment == 0或(uintptr_t)p & (alignment - 1) == 0校验地址，且alignment必须是2的幂并做有效性断言。
怎么用 _alignof 判断一个类型是否满足特定对齐要求
_alignof（或标准 alignof）返回的是类型在内存中自然对齐的字节数，但它本身不告诉你某个地址是否对齐——它只管“类型该对齐到哪”，不管“这个地址有没有对齐”。所以直接拿 _alignof(int) 去比对指针值，是错的。
真正要判定「某块内存地址是否按 N 字节对齐」，得靠地址值本身做模运算。比如地址 p 是否 8 字节对齐，要看 (uintptr_t)p % 8 == 0。
- 必须先转成整型：用
uintptr_t（定义在<cstdint></cstdint>），不能用size_t或long，否则在某些平台（如 LLP64 的 Windows）可能截断 - 模数必须是 2 的幂：对齐要求永远是 2 的幂（如 1/2/4/8/16…），否则模运算结果不可靠，且硬件不支持
- 别用
&替代%除非你确认模数是 2 的幂：比如x % 8 == 0等价于(x & 7) == 0，但写成(x & 3) == 0却想判断 4 字节对齐是对的，换成(x & 5) == 0就完全失效
写一个通用的地址对齐判定函数要注意什么
最简形式是：bool is_aligned(const void* p, size_t alignment)，但这里有几个硬坑：
-
alignment必须是 2 的幂，且 > 0；否则行为未定义，建议加断言：assert(alignment && (alignment & (alignment - 1)) == 0) - 空指针
nullptr是合法输入，(uintptr_t)nullptr % alignment在多数平台是 0，但 C++ 标准不保证；稳妥做法是显式检查：if (!p) return alignment == 1;（因为只有 1 字节对齐才接受空指针） - 别用模板自动推导
alignment：比如template<size_t a> bool is_aligned(const void* p)</size_t>，看似能配合alignof用，但实际限制太大——你没法传变量、运行时值，也难以和std::aligned_alloc返回的地址联动
示例实现：
bool is_aligned(const void* p, size_t alignment) {
if (!p) return alignment == 1;
assert(alignment && (alignment & (alignment - 1)) == 0);
return (reinterpret_cast<uintptr_t>(p) & (alignment - 1)) == 0;
}</uintptr_t>
为什么不能直接用 alignof(T) 来校验 malloc 分配的地址
alignof(T) 告诉你的是「T 类型对象理论上应放在什么对齐边界上」，但 malloc 只保证返回地址至少满足 __STDCPP_DEFAULT_NEW_ALIGNMENT__（通常是 16），并不保证满足 alignof(__m256)（32）或 alignof(std::max_align_t)（常见为 16 或 32）。所以即使 T 要求 32 字节对齐，malloc(sizeof(T)) 返回的地址大概率不满足。
- 验证方式不是看
alignof(T)，而是看分配函数本身：用std::aligned_alloc(alignment, size)或_mm_malloc(size, alignment)，再用上面的is_aligned检查返回值 - 注意
std::aligned_alloc要求alignment是 2 的幂且 ≥alignof(max_align_t)，否则返回nullptr - Windows 上
_aligned_malloc和 Linux 的memalign行为略有差异：前者要求alignment是 2 的幂，后者允许任意值（但非 2 的幂时可能降级为malloc）
实战中容易被忽略的对齐陷阱
对齐不是只在分配时重要，结构体内存布局、SIMD 加载、DMA 缓冲区都依赖它。几个真实踩坑点：
- 结构体成员顺序影响整体对齐：比如
struct { char a; double b; }总大小通常是 16（因b要求 8 字节对齐，编译器在a后补 7 字节），但把double放前面，总大小还是 16；可一旦中间插个__m128（需 16 字节对齐），整个 struct 对齐要求就跳到 16，哪怕你只放一个char -
std::vector<:byte></:byte>分配的内存永远不保证特殊对齐，即使你 reserve 了空间；要用std::vector<alignas std::byte></alignas>才行（C++17 起支持） - 用
reinterpret_cast<__m256>(p)</__m256>前，必须确保p是 32 字节对齐的，否则在 AVX2 下触发#GP异常（Linux 会发SIGBUS）
对齐判定本身很简单，但它的上下文——分配方式、类型定义、硬件约束——才是复杂点所在。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
