先声明int变量再声明数组，指针偏移为何与预期不符？

先看你给出的代码：

int n;
int a[5];
int *p = &n;

你发现&a[0]等于p + 3，而非预期的p + 4，且n的地址为4，a的起始地址为20，中间存在填充空间，这本质是编译器的内存对齐策略导致的。

核心原因：内存对齐 #

CPU访问内存时，会按固定的字长（比如32位CPU为4字节、64位为8字节）批量读取数据。如果数据起始地址未对齐到对应字长的倍数，CPU需要分多次读取并拼接数据，会大幅降低效率；部分严格架构甚至会直接触发错误。因此编译器会自动在变量或数组之间插入填充字节（Padding Bytes），强制满足对齐要求。

你的场景拆解 #

1. 指针运算的规则：p + k并非直接偏移k字节，而是偏移k * sizeof(*p)字节。这里p是int*类型，sizeof(int)为4，所以p + 3等价于&n + 3*4 = &n + 12字节。
2. 填充字节的由来：你的n占用4字节（地址4-7），后续的数组a需要满足平台规定的对齐要求（比如部分平台要求数组起始地址对齐到8或16字节边界）。编译器为了让a的起始地址20符合规则，在n和a之间插入了12字节的填充空间（地址8-19），这就是你看到的“无法识别的空间”。
3. 关于p + 4的误解：p + 4对应&n + 16字节，地址为20，这正是a的起始地址。你观察到&a[0]等于p + 3，大概率是地址计算时的表述误差，但核心逻辑是填充字节的存在改变了变量间的内存偏移。

注意事项 #

• 填充字节的值是未定义的，不要尝试读取或修改这些空间，属于编译器的内部优化行为。
• 不同编译器（GCC、MSVC）和硬件架构（x86、ARM）的对齐规则可能不同，具体由目标平台的ABI（应用二进制接口）规定。

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