C陷阱与缺陷 第4章 链接 4.2 声明与定义

声明与定义
声明语句： 
int a;
如果其位置出现在所有函数体之外，就将其称为外部对象a的定义。这个语句说明a是一个外部整型变量，同时为a分配了存储空间。因为外部对象a并没有被明确指定任何初始值，所以它的初始值默认为0（某些系统中的链接器对以其他语言编写的程序并不保证这一点，C编译器由责任以适当方式通知链接器，确保未指定初始值的外部变量被初始化为0）。
下面的声明语句：
int a = 7;
在定义a的同时也为a明确了指定了初始值。这个语句不仅为a分配内存，也说明了在该内存中应该存储的值。
下面的声明语句：
extern int a;
并不是对a的定义。这个语句仍然说明a是一个外部整型变量，但是因为它包含了extern关键字，这就显示地说明了a的存储空间是在程序的其他地方分配的。从链接器的角度来看，上述声明是一个对外部变量a的引用，而不是对a的定义。因为这种形式的声明是对一个外部对象的显示引用，即使它出现在一个函数的内部，也仍然具有同样的含义。
下面的函数srand在外部变量random_seed中保存了其整型参数n的一份副本： 

void srand(int n) {
    extern int random_seed;
    random_seed = n;
}
每个外部对象都必须在程序某个地方进行定义。因此，如果一个程序中包括了语句
extern int a;
那么，这个程序就必须在别的某个地方包括语句
int a;
这两个语句既可以是在同一个源文件中，也可以位于程序的不同源文件之中。

如果一个程序对同一个外部变量的定义不止一次，定义可能出现在同一个源文件中，或位于不同的源文件中如何处理这个问题与系统有关，不同的系统可能有不同的处理方式。严格的规则是，每个外部变量只能定义一次。

要想在所有的C语言中避免这个问题，唯一的解决办法就是每个外部变量定义一次。