C陷阱与缺陷之声明与定义

发布于 2016-04-06  806 次阅读


下面的声明语句:

如果其位置出现在所有函数体之外,那么它就被称为外部对象a的定义。这个语句说明了a是一个外部整型变量,同时为a分配了存储空间。因为外部对象a并没有被明确指定任何初始值,所以它的初始值默认为0(某些系统中的连接器对以其他语言编写的程序并不保证这一点,C编译器有责任以适当方式通知连接器,确保未指定初始值的外部变量被初始化为0)。

下面的声明语句

在定义a的同时也为a明确了初始值。这个语句不仅为a分配内存,而且也说明了在该内存中应该存储的值。

下面的声明语句

并不是对a的定义。这个语句仍然说明了a是一个外部整型变量,但是因为它包括了extern着急字,这就电焊工说明了a的存储空间是在程序的其他地方分配的。从连接器的角度来看,上述声明是对一个外部对象的显式引用,即使它出现在一个函数的内部,也仍然具有同样的含义。下面的函数srand在外部变量random_seed中保存了其整型参数n的一份拷贝:

每个外部对象都必须在程序某个地方进行定义。因此,如果一个程序包括了语句

那么,这个程序就必须在别的某个地方包括语句

这两个语句即可以是在同一个源文件中,也可以位于程序的不同源文件中。

如果一个程序对同一个外部变量的定义不止一次,又将如何处理呢?也就是说,假定下面的语句

出现在两个或者多个不同的源文件中,情况会是怎样呢?或者说,如果语句

出现在一个源文件中,而语句

出现在另一个源文件中,将出现什么样的情形呢?这个问题的答案与系统有关,不同的系统可能有不同的处理方式。严格的规则是,每个外部变量只能够定义一次。如果外部变量的多个定义各指定一个初始值,例如:

出现在一个源文件中,而

出现在另一个源文件中,大多数系统都会拒绝接受该程序。但是,如果一个外部变量在多个源文件中定义却没有初始始值,那么某些系统会接受这个程序,而另一些系统则不会接受。要想在所有的C语言实现中避免这个问题,惟一的解决办法就是每个外部变量只定义一次。


公交车司机终于在众人的指责中将座位让给了老太太