alignof 返回类型在内存中的最小字节对齐值，是编译期常量；alignas(64) 仅强制变量首地址对齐，不改变内部布局或保证缓存行对齐，需配合显式填充和自定义分配器才能避免 false sharing。
alignof 返回的是类型在内存中的自然对齐要求
alignof 是编译期常量表达式，返回类型所需的最小字节对齐值。它不等于缓存行大小，也不保证能被 CPU 缓存行整除——比如 alignof(double) 在 x64 上通常是 8，但现代 CPU 缓存行是 64 字节。
常见误用是以为 alignof(MyStruct) == 64 就代表它已对齐到缓存行，其实这只是说明该类型自身对齐需求为 64；若其成员最大对齐只有 16，alignof 仍会返回 16，哪怕你手动加了 alignas(64)。
alignas(64) 只影响变量/类型的起始地址，不改变内部布局
加 alignas(64) 到结构体定义上，只强制该结构体变量的首地址是 64 的倍数；结构体内字段的相对偏移仍按默认规则（填充、成员顺序）计算。如果结构体本身尺寸不是 64 的倍数，连续分配多个实例时，第二个实例仍可能跨缓存行。
- 正确做法：配合
alignas(64)和显式填充（如char padding[64 - sizeof(...)]），确保单个对象大小也是 64 的倍数 - 错误写法：
struct alignas(64) Counter { int a; int b; };—— 这个结构体大小仍是 8 字节，alignas只让每个Counter实例起始对齐，但无法防止 false sharing - 更安全的方式：用
alignas(64) struct { int value; char pad[60]; };，明确控制尺寸与对齐
数组和 std::vector 中 alignas 不自动传播
对结构体加了 alignas(64)，声明 Counter arr[4] 时，只有 arr[0] 的地址保证是 64 对齐的；arr[1] 地址 = &arr[0] + sizeof(Counter)，若 sizeof(Counter) != 64，后续元素必然错位。
-
std::vector默认使用std::allocator，它不感知alignas，即使元素类型带alignas(64)，分配出的内存也只满足new的基本对齐（通常是 16），不会提升到 64 - 需要缓存行对齐的动态数组，必须用自定义分配器，例如基于
aligned_alloc(64, size)或_mm_malloc(size, 64)（Windows） - 简单替代：用
std::aligned_storage_t手动管理内存，或直接用std::array配合静态对齐
不同平台对 alignas 的支持和限制要实测
Clang/GCC 支持 alignas(N)（N 必须是 2 的幂且 ≤ 实现上限），MSVC 从 VS2015 起支持，但某些嵌入式工具链（如 ARM GCC 4.9）可能只接受字面量常量，不支持模板参数推导出的对齐值。
- 编译期检查对齐是否生效：用
static_assert(alignof(MyType) >= 64, "not cache-line aligned"); - 运行期验证地址：
assert(reinterpret_cast（仅调试用，别留在线上）(&x) % 64 == 0); - 注意：过度对齐可能触发 malloc 实现降级（如 glibc 对 > 64 字节对齐会 fallback 到 mmap），带来额外开销
真正关键的不是“用了 alignas”，而是确认对象起始地址、尺寸、以及相邻对象间距三者共同满足缓存行边界——这需要结合 alignof、sizeof、内存分配方式一起看，缺一不可。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
