栈上静态数组内存分配疑问：变量声明顺序为何不影响数组地址？

问题背景 #

我在研究漏洞利用和内存操作技术时遇到一个问题：资料显示函数内变量按声明顺序在栈上分配内存，但实际测试中，栈上数组的地址并未随声明位置改变。

测试代码1：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void myFunction() {
    char x[20];
    int a =1;
    int b= 2;
    int c = 3;
    int d = 4;
}
int main(int argc, char *argv[]) {
    myFunction();
}

编译调试后获取数组x的地址；修改代码将数组x声明在变量d之后（测试代码2）：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void myFunction() {
    int a =1;
    int b= 2;
    int c = 3;
    int d = 4;
    char x[20];
}
int main(int argc, char *argv[]) {
    myFunction();
}

重新编译调试后，数组x的地址未发生变化，请问这是为什么？

核心原因：编译器对栈帧的自主布局优化 #

C语言标准并未强制要求局部变量必须按声明顺序在栈上分配，栈帧的具体布局完全由编译器决定。现代编译器会基于内存对齐、空间效率、调试便利性等因素对变量进行重排或固定位置分配，这是导致你看到现象的主要原因，具体拆解如下：

• 内存对齐与空间优化
  int类型通常要求4字节对齐，而你的char数组x[20]刚好是4的倍数（20字节），天然符合4字节对齐要求。编译器为了减少内存碎片、提升CPU访问效率，会将同对齐要求的变量归类放置，不管声明顺序如何，x都会被分配到栈帧中满足对齐条件的固定区域，因此地址不变。

• 栈帧的整体分配策略
  编译器在处理函数时，会先计算所有局部变量所需的总内存（加上对齐填充的padding），然后一次性从栈上划出整块空间作为函数栈帧，再给每个变量分配具体位置，而非按声明顺序逐个压栈。这种情况下，变量的声明顺序不直接决定其在栈帧中的位置，编译器可以自由调整布局。

• 未使用变量的优化影响
  你的测试代码中所有变量都未被实际使用，编译器可能触发死代码消除优化，甚至不为这些变量分配真实栈空间（调试模式下可能保留，但布局仍由编译器决定）。即使在调试模式下，编译器也可能为了调试便利性，采用固定的变量布局规则，而非严格遵循声明顺序。

验证方法：关闭优化并强制使用变量 #

要观察到声明顺序对栈地址的影响，你需要：

1. 关闭编译器优化（使用-O0选项，这是大多数编译器的默认调试模式选项）
2. 强制使用所有变量，避免死代码消除

修改后的测试代码：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void myFunction() {
    char x[20];
    int a =1;
    int b= 2;
    int c = 3;
    int d = 4;
    // 强制使用变量，防止被编译器优化掉
    printf("x: %p, a: %p, b: %p, c: %p, d: %p\n", &x, &a, &b, &c, &d);
    x[0] = a + b + c + d;
}
int main(int argc, char *argv[]) {
    myFunction();
}

用gcc -O0 test.c -o test编译运行，再将x的声明移到最后重新编译运行，此时你会看到x的地址随声明顺序发生变化——因为关闭优化后，编译器会尽可能遵循声明顺序分配栈变量。

关键提示 #

在漏洞利用场景中，绝对不能依赖声明顺序推断栈布局，不同编译器（GCC/Clang/MSVC）、不同优化级别、不同操作系统甚至不同编译选项，都会导致栈帧布局产生差异，必须通过实际调试或编译后的二进制分析来确定变量的真实位置。

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