64位系统中，栈指针对齐时非结构体变量能否取消内存填充？

首先明确核心结论：对于这三个独立的非结构体变量，编译器完全可以不添加额外的内存填充。下面具体解释原因：

1. 独立变量与结构体成员的布局差异 #

内存填充（padding）主要出现在结构体/联合体的成员排布中——因为结构体要求成员连续存储，为了满足每个成员的对齐要求，必须在成员之间插入额外的填充字节。但独立的局部变量（比如你提到的单独的char、int、char）是由编译器独立分配栈空间的，它们的地址不需要连续，因此不存在“为了对齐而插入填充”的场景。

2. 64位机（按8字节块访问）下的布局可能性 #

按照你假设的“内存只能按8字节块访问”的规则，编译器可以这样安排这三个变量的栈空间：

• 将两个char变量放在同一个8字节块的前两个字节（char仅需1字节对齐，完全符合要求）；
• 将int变量放在下一个8字节块的起始位置（满足int的对齐要求，通常4字节或8字节，在8字节访问粒度下完全合规）。

这种布局中没有任何主动添加的填充字节，所有未被使用的栈空间只是自然空闲，而非为了对齐强制插入的浪费。

3. 关于“内存浪费”的补充 #

你觉得填充是不必要的浪费，这种感受在结构体场景中确实存在——为了保证成员连续和对齐，不得不插入填充。但独立变量的布局更灵活，编译器可以根据对齐规则优化空间使用，避免不必要的内存占用。当然，实际编译中部分编译器可能为了简化栈管理，会给每个独立变量分配对齐后的整块空间（比如给char分配8字节），但这不是“填充”，而是栈分配的粒度选择，并非必须。

内容的提问来源于stack exchange，提问作者Leonardo Maia