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

说明

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

问题

• 编译器处理栈变量地址分配有什么规则？
• 后续测试，测试环境如下：

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

1. 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

2. 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

• 根据测试结果可知：

1. windows下，函数参数的入栈顺序：自右向左； linux下，自左向右。