局部变量在栈帧中连续布局可提升缓存命中率；需按大小降序排列结构体成员、用数组替代独立标量、避免跨缓存行，并通过汇编和perf验证实际效果。
在高性能计算中，局部变量表本身不是标准术语，但若指函数栈帧内连续分配的局部变量（尤其是数组、结构体成员或批量声明的基础类型），其连续内存布局确实能显著提升缓存命中率。关键不在于“变量表”这个概念，而在于这些变量是否被编译器分配在相邻地址、是否按访问频次和时序合理组织。
让局部变量在栈上真正连续排布
编译器通常将同作用域的局部变量紧凑分配在栈帧中，但对齐要求可能插入填充字节。例如：
// 编译器可能插入 4 字节 padding
struct BadLayout {
char a;
int b;
char c;
};
这种布局导致 b 和 c 不紧邻，访问时可能跨两个缓存行（64 字节）。优化方式是手动重排成员，把大尺寸、高频访问字段集中，小尺寸字段靠后或合并：
- 按大小降序排列结构体成员（如 double → int → char）
- 避免单个局部变量跨缓存行边界（可用
alignas(64)强制对齐关键变量组） - 用数组替代多个独立标量（
int data[4]比int a,b,c,d更易保证连续性）
利用栈空间的时间与空间局部性
函数调用时，整个栈帧一次性加载进 L1 缓存；只要局部变量集中在一页内（通常 4KB），且访问模式是顺序或小跨度跳跃，就能复用已加载的缓存行。例如：
// 高效：连续读取，预取器可识别模式
for (int i = 0; i
sum += local_array[i]; // local_array 在栈上连续
}
相比从堆上分散分配的 8 个独立 int 指针，栈上数组每次访问都大概率命中 L1——因为前一次加载的 64 字节缓存行已包含后续 7–15 个元素。
避免伪共享干扰局部变量缓存效率
多线程环境下，若不同线程的栈帧中局部变量恰好落在同一缓存行（尤其在线程栈临近分配时），可能引发伪共享。虽不如全局变量常见，但在高密度线程池中需警惕。对策包括：
- 对线程私有但频繁更新的局部结构体，显式按缓存行对齐：
alignas(64) struct ThreadLocalState { ... }; - 避免在栈上声明过大的临时结构体（如 >128 字节），防止跨页或跨缓存行冗余加载
- 用
__attribute__((packed))或#pragma pack(1)谨慎压缩，仅当确认无对齐性能损失时使用
编译器提示与实际验证不可少
即使代码写得连续，编译器优化（如寄存器提升、变量消除）可能让部分局部变量根本不入栈。要确认真实内存布局：
- 查看汇编输出（
g++ -S）观察栈偏移量 - 用 perf 工具统计 L1-dcache-load-misses，对比优化前后差异
- 对关键路径局部数组，加
__restrict__提示编译器避免别名判断，促进向量化与预取
