编译原理 - 栈变量地址分配

    技术2025-05-21  41

    说明

    变量地址在编译期就由编译器确定了(栈变量也一样,不同的是栈变量确定的是栈偏移),程序运行时才做真正的内存分配。栈空间由高地址往低地址分配。

    问题

    编译器处理栈变量地址分配有什么规则?后续测试,测试环境如下: Linux : gcc (Ubuntu 4.8.4-2ubuntu1~14.04.4) 4.8.4 windows : Code::Blocks 17.12

    普通局部变量

    int main(int argc, char **argv){ int a; char b; int c; short d; printf("a: %p, b: %p, c: %p, d: %p\n", &a, &b, &c, &d); return 0; } * Linux 上运行结果 a: 0x7ffe813fe7f8, b: 0x7ffe813fe800, c: 0x7ffe813fe7fc, d: 0x7ffe813fe7f6 * 同一台电脑,windows 上运行结果 a: 0028FF1C, b: 0028FF1B, c: 0028FF14, d: 0028FF12 windows平台下变量先定义先入栈,按顺序入栈;linux下会按照一定规则,对地址进行分配,并不是按顺序入栈,会做内存对齐,字节大的变量先入栈,相同大小的变量,先定义后入栈。 #include <stdio.h> int main(int argc, char **argv){ char a[2]; char b[4]; char c[3]; char d[2]; printf("%p, %p, %p, %p\n", &a, &b, &c, &d); return 0; } * Linux 上运行结果 0x7ffe61815bf0, 0x7ffe61815c20, 0x7ffe61815c10, 0x7ffe61815c00 * 同一台电脑,windows 上运行结果 0028FF1E, 0028FF1A, 0028FF17, 0028FF15 windows平台下不会对数组做对齐操作,两个数组之间不会留空隙,容易造成踩内存问题,而Linux下会按照一定对齐规则,留出部分内存空间。

    函数参数

    #include <stdio.h> void test(int a, int b, int c, int d) { printf("%p, %p, %p, %p\n", &a, &b, &c, &d); } int main(int argc, char **argv){ test(1, 2, 3, 4); return 0; } * linux上运行结果 0x7ffe341cbf5c, 0x7ffe341cbf58, 0x7ffe341cbf54, 0x7ffe341cbf50 * window上运行结果 0028FF10, 0028FF14, 0028FF18, 0028FF1C 根据测试结果可知: windows下,函数参数的入栈顺序:自右向左; linux下,自左向右。
    Processed: 0.010, SQL: 9