alignas 和 alignof 是 C++11 引入的内存对齐控制工具：alignof(T) 返回类型 T 的最小对齐值（编译时常量），由最严格成员决定；alignas(N) 强制指定至少 N 字节对齐（N 为 2 的幂），可作用于变量、类型或成员，仅提升不对齐要求。
alignas 和 alignof 是 C++11 引入的两个关键 工具，用于显式控制和查询类型的内存对齐要求。它们不改变数据语义，但直接影响对象在内存中的布局、访问效率，甚至能否被某些硬件指令（如 SIMD）正确使用。
alignof：查类型对齐要求
alignof(T) 返回类型 T 所需的最小 字节 对齐值（即地址必须是该值的整数倍），结果是编译时常量，类型为 std::size_t。
- 基础类型对齐通常等于其大小（如
int在多数平台为 4 字节对齐），但不是绝对规则（例如long double可能对齐到 16 字节） - 结构体 / 类的对齐由其 ** 最严格成员 ** 决定，再按编译器默认规则向上对齐（如含
double成员则至少 8 字节对齐） - 可作用于数组、引用、函数类型（但函数类型对齐通常为 1）
示例：
static_assert(alignof(int) == 4, “”);
struct S {char a; double b;};
static_assert(alignof(S) == 8, “”); // 因 double 要求 8 字节对齐
alignas：强制指定对齐方式
alignas(N)（N 为 2 的幂，如 1/2/4/8/16/……/4096）告诉编译器：该变量、类型或成员必须满足至少 N 字节对齐。它不降低原有对齐，只可能提升。
立即学习“C++ 免费学习笔记（深入）”；
- 用在变量声明前：让该变量地址按指定值对齐（常用于缓冲区、DMA 内存、SIMD 向量）
- 用在结构体 / 类定义前：提升整个类型的默认对齐（影响所有该类型的实例）
- 用在成员变量前：仅对该成员单独对齐（注意会破坏紧凑布局，可能增大整体 size）
- 多个 alignas 可同时出现，取最大值；与系统自然对齐冲突时，以更大者为准
示例：
alignas(32) int simd_array[8]; // 确保起始地址是 32 的倍数
alignas(64) struct CacheLineData {
int x, y;
double t;
}; // 整个结构体按 64 字节对齐（常见于缓存行优化）
struct S {
char a;
alignas(16) double b; // b 地址必须 16 字节对齐，a 和 b 之间可能填充 7 字节
};
对齐与 sizeof、内存布局的关系
对齐要求直接导致结构体中插入填充字节（padding），从而影响 sizeof 结果。即使你没写 alignas，编译器也会自动按需填充；而显式 alignas 可能引入额外填充。
- 结构体总大小必须是其自身对齐值的整数倍（否则数组第二个元素无法对齐）
- 成员按声明顺序 排列，每个成员从满足其对齐要求的首个偏移开始
- 使用
alignas提高某成员对齐，可能使后续成员起始位置后移，间接增大整体 size
验证技巧：用 offsetof 查成员偏移，结合 alignof 和 sizeof 推断填充位置。
实用建议与注意事项
- 优先用
alignof查询而非猜测——不同平台、编译器、标准库 实现可能不同 - 避免过度对齐：过大的
alignas浪费内存，还可能降低缓存局部性 - 跨模块使用对齐类型时，确保头文件一致包含，并开启相同 ABI 设置（如 GCC 的
-mssse3可能影响向量类型对齐） - 动态分配对齐内存请用
std::aligned_alloc（C++17）或_aligned_malloc（Windows）、posix_memalign（POSIX） - 类模板中慎用依赖模板参数的
alignas表达式，确保其为 ICE（整型常量表达式）
