对齐缓存行需分场景：结构体数组用alignas(64)确保每元素独占一行防伪共享；大数组首地址对齐提升预取效率；二维访问必须行优先，对齐不能弥补顺序错误。
直接对齐到缓存行边界（通常是 64 字节）能显著减少跨行访问和伪共享，但盲目对齐反而浪费内存、降低缓存密度——关键在“对齐谁”和“为什么对齐”。
结构体数组元素按 alignas(64) 对齐防伪共享
多线程下，若多个线程各自更新数组中不同元素的独立计数器，而这些元素未对齐，极易落入同一缓存行，触发频繁的缓存同步。这时应让每个数组元素独占一行：
- 用
alignas(64)修饰结构体类型，而非单个变量 - 确保
sizeof(MyStruct)是64的整数倍（否则对齐无意义） - 避免在结构体内混入大数组或动态分配成员，它们会破坏对齐稳定性
struct alignas(64) Counter {
std::atomic<int> value{0};
// char padding[60]; // 不需要手动填，alignas(64) 已保证起始地址对齐
};
static_assert(sizeof(Counter) % 64 == 0, "Counter must occupy full cache line");
Counter counters[1024]; // 每个 counter 占据独立缓存行
一维数组首地址对齐提升预取效率
对连续处理的大型数组（如图像像素、SIMD 批量计算），让起始地址对齐到 64 字节，可使每次预取刚好覆盖完整缓存行，避免首尾跨行加载：
- 用
std::aligned_alloc(64, size)或operator new[](size, std::align_val_t{64})分配 - 仅对长度 ≥ 几百字节的数组有意义；小数组对齐开销反超收益
- 注意：
std::vector默认不支持构造时对齐，需自定义分配器或手动管理内存
auto* data = static_cast<float*>(std::aligned_alloc(64, N * sizeof(float))); // 使用完后必须用 std::free(data)，不能用 delete[]
二维数组访问必须行优先，对齐只是辅助
缓存行对齐不能弥补错误的访问顺序。即使数组首地址对齐，列优先遍历仍导致每步跨 N * sizeof(T) 字节，几乎必然跨行：
立即学习“C++免费学习笔记（深入）”；
- 永远优先用一维模拟二维：
data[y * width + x]，并确保内层循环是x - 若必须用
std::array<:array w>, H></:array>，确认编译器未做意外重排（检查sizeof和地址差） - 对齐只解决“起点是否干净”，不解决“走法是否合理”
错误示例：for (int j = 0; j —— 即使 <code>data[0] 对齐，data[1][0] 和 data[0][1] 地址差仍是 W * sizeof(T)，大概率跨行。
别为了对齐牺牲结构体紧凑性
一个 alignas(64) 的结构体如果实际只用 12 字节，等于主动把 81% 的缓存带宽喂给填充位——这比不对齐更糟：
- 先用
static_assert(sizeof(S) 确保不溢出 - 再按大小降序排列成员，压缩填充（如把
double、int、char依次排） - 热数据分离后，再对“热块”整体对齐，而非整个对象
真正容易被忽略的是：缓存行优化不是独立技巧，它必须和数据局部性、访问模式、编译器布局规则一起看。单独加 alignas(64) 而不检查 sizeof、不分析访问路径、不验证线程行为，大概率白忙活甚至负优化。
