C语言中的链接属性

当组成一个程序的各个源文件分别被编译之后，所有的目标文件以及那些从一个或多个函数库中引用的函数链接在一起，形成可执行程序。如果相同的标识符出现在几个不同的源文件中时，它们是表示同一个变量还是不同的变量呢？这个就取决于标识符的链接属性(linkage)。要注意的是，标识符的作用域与链接属性有关，但这两个属性不相同。

链接属性一共有3种：external(外部)、internal(内部)和none(无)。

1、没有链接属性的标识符(none)总是被当作单独的个体，也就是说该标识符的多个声明被当作独立不同的实体。

2、属于internal链接属性的标识符在同一个源文件内的所有声明中指同一个实体，但位于不同源文件的多个声明则属于不同的实体。使用static关键字来声明一个internal类型的标识符。static只对缺省链接属性为external的声明才有改变链接属性的效果。static用于声明局部变量时，是使这个变量成为静态变量，就是这个变量在程序的整个运行过程中总是存在的，直到程序结束。

3、属于external链接属性的标识符无论声明多少次、位于几个源文件都表示同一个实体。当extern关键字用于源文件中一个标识符的第1次声明时，它指定该标识符具有external链接属性。但是，如果它用于该标识符的第2次或以后的声明时，它并不会更改由第1次声明所指定的链接属性。

参考资料：
《C和指针》 Kenneth A.Reek 著，徐波 译，人民邮电出版社。