关于全局静态内存分配的顺序

我们知道C语言中，局部变量分配顺序是固定的，可是你有没有想过全局变量分配的顺序呢？

没有，那么首先用2种方式运行下面的程序：

#include <iostream.h>

#define ONE 1 // 0

#if ONE

int a, b;

#else

int b, a;

#endif // ONE

void main()

{

#if ONE

cout << "TEST_ONE: 1st" << endl;

cout << &a << endl

<< &b << endl;

#else

cout << "TEST_ONE: 2nd" << endl;

cout << &b << endl

<< &a << endl;

#endif // ONE

}

// 结果是什么？

// 第1组是从低到高，第2组却是从高到低

// 好像全局静态存储区的分配还与变量名称有关(b就是比a地址高)

//------------------------------------------------------------------------------------------------------------------------------

为什么这样呢？

上面的程序中，变量确实是按字母顺序分配空间的。

但是如果在定义的时候把变量初始化：

#if ONE

int a=1 , b= 2;

#else

int b=1, a=2;

#endif // ONE

那么其地址顺序就是固定的，谁在前定义，它的地址就在前面。

综上我的结论是这样的：

这个和编译器在什么时候能够决定这是一个变量的定义有关。

在变量被初始化的时候，编译器在当前位置就能确定这是一个定义，所以立即为其分配空间。

而在变量未被初始化的时候，编译器在当前位置就不能确定这是一个声明还是定义，因为程序中可以写：

int a;

int a; //全局变量可以多次声明

int a;

那么在什么时候能确定这是定义呢？C中是在link的时候（C++中也许编译单个文件就能确定），不管是哪一种，他的前提都是已经扫描完了所有的代码，并把他们放入了符号表中，然后编译器开始从符号表中查看哪些变量是未定义的，如果没定义就补上定义，由于符号表是按字母顺序的，所以分配的变量也是按字母顺序的。

-------------------------------------

测试：

如果上面的推测正确的话，那么：

int a, b=2;

b的地址应该在a的前面。（因为b在当前位置被定义，而a在查看符号表时才能确定）

实验结果：a的地址远远大于b 。