alignas 只影响对象起始地址对齐，不直接改变 sizeof；sizeof 由成员布局和尾部填充共同决定，且必须是 alignof 的整数倍。
alignas 改变的是对象起始地址，不是 sizeof 结果
很多人以为 alignas(16) 会让 sizeof 变成 16，其实不会——sizeof 只管“占多少字节”，而 alignas 管“从哪开始放”。编译器会在必要时往结构体末尾补填充字节，让整个对象大小变成对齐值的整数倍，但这不是 alignas 的直接效果，而是对齐要求和成员布局共同作用的结果。
常见错误现象：static_assert(sizeof(MyStruct) == 16) 失败，但你明明写了 alignas(16)。原因：如果结构体成员加起来才 12 字节，且最大自然对齐是 4，那即使加了 alignas(16)，sizeof 也可能是 16（补 4 字节），也可能还是 12（取决于是否触发尾部填充规则）——这取决于成员顺序和编译器实现细节。
- 结构体里有
int a;和char b;，加alignas(8)后sizeof不一定变；但加alignas(8)+ 后面跟一个long long c;，就很可能让整体变成 16 - 类模板中用
alignas(N)修饰模板参数类型时，N必须是 2 的幂，且不能超过平台最大支持对齐（如 x86-64 通常是 16，某些 AVX512 场景可到 64） - 使用
alignas后，对象必须分配在满足该对齐的内存上，否则行为未定义——new默认满足，但栈上局部变量、malloc返回的指针不一定
alignas 对 struct 成员布局的影响很隐蔽
加 alignas 到某个成员变量上，不只是让它自己对齐，还会拖动后续成员的位置，甚至影响整个结构体的 sizeof 和 offsetof 偏移。这不是 bug，是标准规定的“每个成员按其声明顺序依次放置，位置必须满足自身对齐要求”。
使用场景：写 SIMD 类型（如 __m128）或硬件寄存器映射结构体时，必须控制字段偏移。比如 PCIe 配置空间要求某字段严格位于 offset 0x10，你就得靠 alignas + 填充字段来卡住位置。
立即学习“C++免费学习笔记（深入）”；
-
struct S { char a; alignas(8) int b; };中，b的offsetof是 8（不是 1），因为a占 1 字节，后面要填 7 字节才能让b起始地址 % 8 == 0 - 如果把
alignas(8)换成alignas(1)，offsetof(b)就变成 1 —— 对齐要求越松，填充越少 - 多个
alignas成员叠加时，对齐效果不是相加，而是取各自要求的最大值；但填充量由它们之间的相对位置决定
alignas 和 new/malloc 的配合容易出未定义行为
声明了 alignas(32) struct Vec32 { ... };，不代表你用 new Vec32 就一定能拿到 32 字节对齐的地址。C++17 起，带对齐要求的 new 表达式会自动调用对齐感知版本（operator new(std::size_t, std::align_val_t)），但前提是编译器和标准库都支持。老代码或嵌入式环境可能不走这条路。
错误现象：Vec32* p = new Vec32; 后，reinterpret_cast<uintptr_t>(p) % 32 != 0</uintptr_t>，接着用 _mm256_load_si256 就崩溃。
- 安全做法：用
aligned_alloc(32, sizeof(Vec32))+new(p) Vec32（placement new）；注意aligned_alloc要求 size 是对齐值的整数倍 - 避免用
malloc分配alignas(N)类型——malloc只保证alignof(max_align_t)（通常是 16），不够时必出问题 - 栈上变量如
alignas(32) Vec32 v;在大多数主流编译器（GCC/Clang/MSVC）下是安全的，但某些嵌入式工具链可能忽略栈对齐提示
sizeof 和 alignof 的关系不是固定公式
alignof(T) 是类型 T 所需的最小对齐值，sizeof(T) 是它占多少字节。两者没有数学等式关系，但存在隐含约束：标准要求 sizeof(T) 必须是 alignof(T) 的整数倍。这是为了保证数组中每个元素都能满足自身对齐要求。
容易被忽略的点：这个“整数倍”约束只对完整对象生效，对基类子对象、位域、空基类优化（EBO）都不强制。所以继承体系里，派生类的 sizeof 可能比所有基类 alignof 的最大值大得多，也可能小——取决于填充策略。
-
struct A { alignas(8) char x; };→alignof(A) == 8，sizeof(A) == 8 -
struct B { char x; alignas(8) char y; };→alignof(B) == 8，sizeof(B) == 16（因为y要求 offset % 8 == 0，而x占 1 字节，中间填 7，y占 1，再补 7 才能让总大小是 8 的倍数） - 别依赖
sizeof(T) == alignof(T)，尤其在跨平台或换编译器时；检查时优先用static_assert(alignof(T) 而非 <code>sizeof
