C语言中数组大小大于1时地址分配差异的疑问

首先明确：不管数组大小是多少，你的局部数组arr都分配在栈上——从测试结果里的0x7ff开头地址就能看出来，这是Linux/macOS系统下用户栈的典型地址范围，堆地址不会是这个区间。你看到的地址差异，核心原因是以下几点：

• C标准不规定局部变量的栈内排列顺序
  你默认“代码里先声明的变量，栈地址更高”是典型误解。C语言标准没有要求编译器必须按照变量的声明顺序分配栈内存，编译器会根据内存对齐、访问效率等优化策略，自由调整栈帧内变量的位置。

• 内存对齐的强制要求
  CPU访问内存时对数据地址有对齐规则（比如int类型通常要求4字节对齐）。当数组大小变化时，编译器可能会调整变量位置，或在变量间插入填充字节来满足对齐要求，这会导致变量间的地址差距看起来“不符合预期”。

• 栈的增长方向是栈帧整体的变化，而非单个变量顺序
  栈确实从高地址向低地址增长，但这个增长指的是整个函数栈帧的分配方向（调用函数时，新栈帧会分配在更低地址），栈帧内部的变量排列顺序，和栈的整体增长方向没有直接绑定关系。

看你的测试结果：

• 数组大小为1时，编译器刚好把a放在arr的高地址侧，符合你“先声明变量地址更高”的预期；
• 数组大小为2时，编译器把arr放在a的高地址侧，这只是编译器优化后的排列结果，本质上两个变量都在当前函数的栈帧里，完全属于栈内存。

另外，你代码里取&arr[1]的行为是未定义行为——数组arr[1]只有一个元素，访问arr[1]已经越界，虽然看起来地址和a重合，但这只是巧合，不能作为参考依据。

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