可使用 _alignof 运算符在编译期获取类型或表达式的对齐要求，其结果为2的非负整数幂，适用于对齐验证、结构体布局分析及跨平台适配。
如果您需要在 C++ 程序中判定某个类型或表达式的对齐要求，以确保内存布局符合硬件或 ABI 规范，则可以借助标准提供的 _alignof 关键字。以下是该关键字在实际开发中的使用方式与验证步骤：
一、理解 _alignof 的语义与基本用法
_alignof 是 C++11 引入的运算符（兼容 C11 的 _Alignof），用于获取类型或表达式所需的最小对齐字节数，其结果为编译时常量整型值。它不触发对象构造，也不依赖运行时信息，仅由类型定义和编译器 ABI 决定。
1、在支持 C++11 或更高标准的编译器中，_alignof(T) 可直接作用于类型名，如 int、struct S；
2、也可作用于表达式，例如 _alignof(x)，此时返回该表达式类型的对齐要求；
3、对齐值恒为 2 的非负整数幂（如 1、2、4、8、16…），且至少为 1；
4、若类型为不完整类型（如未定义的 struct），则使用 _alignof 将引发编译错误。
二、编写通用对齐判定辅助函数
为提升可读性与复用性，可封装 _alignof 为模板函数，支持类型推导与静态断言集成。该函数不执行任何运行时操作，仅作为编译期对齐信息提取工具。
1、定义模板函数 alignment_of_v
2、使用 static_assert 在调用点验证目标类型是否满足特定对齐约束，例如要求至少 16 字节对齐；
3、对用户自定义结构体，在定义后立即调用该函数输出对齐值，确认编译器是否按预期填充；
4、避免将该函数用于 volatile 限定类型或位域成员，因 _alignof 对此类情形行为未标准化。
三、验证结构体内存布局与对齐一致性
结构体的实际对齐值可能受成员顺序、填充字节及最大成员对齐共同影响。_alignof 返回的是整个结构体的对齐要求，而非其内部偏移。需结合 offsetof 与 sizeof 进行交叉验证。
1、定义一个含 char、short、int、double 成员的结构体，并依次改变成员声明顺序；
2、对每种顺序，分别打印 _alignof(StructName)、sizeof(StructName) 和各成员的 offsetof 值；
3、观察 _alignof 结果是否等于结构体中最大成员对齐值（或其整数倍）；
4、当结构体含 alignas(32) 说明符时，确认 _alignof 是否返回 32 而非默认推导值。
四、跨平台对齐差异的检测与适配
不同架构（x86-64、ARM64、RISC-V）及 ABI（System V、MSVC）对基础类型的对齐要求存在差异。_alignof 可作为编译期探测手段，辅助条件编译逻辑分支。
1、使用预处理器宏判断目标平台，再结合 _alignof(long long) 区分 ILP32 与 LP64 模型；
2、针对 SIMD 类型（如 __m128），通过 _alignof(__m128) 验证是否为 16 字节对齐；
3、在头文件中定义 ALIGNED_TO_32 宏，仅当 _alignof(T) >= 32 时启用特定优化路径；
4、禁止在模板特化中直接比较 _alignof(T) 与字面量，应改用 std::is_same_v
五、规避常见误用陷阱
_alignof 表达式本身不具副作用，但其使用位置与上下文易引发误解。尤其在模板元编程或 SFINAE 场景中，需严格区分对齐查询与实例化约束。
1、不得在常量表达式中对临时对象取地址后应用 _alignof，如 _alignof(&T{}) 是非法的；
2、不可对函数类型或 void 类型使用 _alignof，否则编译失败；
3、在类模板中，若依赖 _alignof(U) 作非类型模板参数，须确保 U 已完全定义且对齐值可常量求值；
4、当与 alignas 联合使用时，若指定对齐小于 _alignof(T)，编译器将忽略该 alignas 并发出警告。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
