alignof 返回类型所需最小对齐值（2的幂），非sizeof；如struct{char a;int b;}的alignof为4、sizeof可能为8；误用易致跨平台问题或SFINAE失效。
alignof 返回的到底是什么值，为什么有时和 sizeof 不一样
alignof 返回的是类型在内存中自然对齐所需的字节数，不是类型大小。比如 struct { char a; int b; } 的 sizeof 可能是 8（因填充），但 alignof 是 4（由 int 决定）。对齐值永远是 2 的幂，常见为 1/2/4/8/16。它只看成员里对齐要求最严的那个——不是按总大小算的。
容易踩的坑：
- 误以为
alignof(T) == sizeof(T)，尤其在自定义小结构体时； - 在模板元编程里用
alignof做 SFINAE 判断，却忘了空类（如struct {}）的alignof是 1，不是 0； - 跨平台时，
alignof(std::max_align_t)在 x86-64 Linux 是 16，Windows MSVC 可能是 8，影响手动对齐逻辑。
alignas 怎么用才真正起作用，哪些写法其实是摆设
alignas 只有在「分配内存的位置」满足对齐约束时才生效。它不改变已有对象的布局，也不强制编译器重排字段——那是 [[gnu::packed]] 或 #pragma pack 干的事。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 对栈变量加
alignas(32)：有效，编译器会把该变量地址对齐到 32 字节边界； - 对全局变量或 static 局部变量加
alignas(64)：有效，链接器会按需调整段偏移； - 对 struct 定义加
alignas(16) struct Vec4 { ... };：只影响该类型的对象实例的起始地址，不影响内部字段排列； - 对 new 分配的内存加
alignas：无效，必须配合operator new重载或std::aligned_alloc； - 写成
alignas(3) int x;：编译失败，因为对齐值必须是 2 的幂且不小于默认对齐要求。
什么时候对齐真能提升性能，什么时候只是白忙活
对齐起效的核心场景是 CPU 向量指令（如 AVX、SSE）和缓存行访问。如果数据没对齐，_mm256_load_ps 这类函数可能触发 #GP 异常，或降级为多周期慢路径加载。
关键判断点：
- 你的数据是否会被向量化代码直接读取？如果是，且长度 ≥ 16/32/64 字节，
alignas(32)很可能省下几个周期； - 结构体是否作为数组元素频繁遍历？若每个元素跨缓存行（64 字节），未对齐会导致单次访问触发两次 cache miss；
- 你用的是
std::vector<t></t>？别指望alignas自动传导——std::vector的堆内存由默认operator new分配，只保证std::max_align_t对齐（通常 16），不够就自己写分配器； - 在 ARM64 上，未对齐访问不一定崩溃，但可能比对齐访问慢 2–3 倍，尤其涉及
ld1q指令时。
alignas 和 alignof 在模板里怎么安全组合使用
模板里不能直接写 alignas(N)（N 非字面量），但可以用 alignas(alignof<t>())</t> 或 alignas(alignof_v<t>)</t>（C++17 起）。更常见的是用 std::aligned_storage_t 或 std::aligned_union_t 做类型擦除缓冲区。
要注意的细节：
-
alignof_v<t></t>是constexpr，可用于非类型模板参数，但T必须是完整类型； - 对引用类型（
T&）或函数类型调用alignof是非法的； - 模板特化里若想统一控制对齐，别只改
alignas——还要检查sizeof是否因对齐膨胀，避免意外增加 cache 占用； - 用
alignas包装std::array<float></float>时，alignof_v<:array>></:array>是 4，不是 32，所以得显式写alignas(32) std::array<float> data;</float>。
对齐不是越严越好。32 字节对齐的结构体塞进 std::vector，若实际只用前 12 字节，等于每项浪费 20 字节带宽和 cache 空间——这比几纳秒的加载延迟更伤性能。
