《C和指针》笔记11: external和internal链接属性

当组成一个程序的各个源文件分别被编译之后，所有的目标文件以及那些从一个或多个函数库中引用的函数链接在一起，形成可执行程序。然而，如果相同的标识符出现在几个不同的源文件中时，它们是像Pascal那样表示同一个实体？还是表示不同的实体？标识符的链接属性 (linkage)决定如何处理在不同文件中出现的标识符。标识符的作用域与它的链接属性有关，但这两个属性并不相同。

链接属性一共有3种——external（外部）、internal（内部）和none（无）。它们具有的性质有：

• 没有链接属性的标识符(none)总是被当作单独的个体，也就是说该标识符的多个声明被当作独立不同的实体。
• 属于internal链接属性的标识符在同一个源文件内的所有声明中都指同一个实体，但位于不同源文件的多个声明则分属不同的实体。
• 属于external链接属性的标识符不论声明多少次、位于几个源文件都表示同一个实体。

如上图所示，在缺省情况下，标识符b、c和f的链接属性为external，其余标识符的链接属性则为none。因此，如果另一个源文件也包含了标识符b的类似声明并调用函数c，它们实际上访问的是这个源文件所定义的实体。f的链接属性之所以是external是因为它是个函数名。在这个源文件中调用函数f，它实际上将链接到其他源文件所定义的函数，甚至这个函数的定义可能出现在某个函数库。

关键字extern和static用于在声明中修改标识符的链接属性。如果某个声明在正常情况下具有external链接属性，在它前面加上static关键字可以使它的链接属性变为internal。例如，如果第2个声明像下面这样书写

static int b;

那么变量b就将为这个源文件所私有（这有点类似C++类里面的私有函数）。在其他源文件中，如果也链接到一个叫做b的变量，那么它所引用的是另一个不同的变量。类似的，你也可以把函数声明为static，如下：

static int c( int d )

这可以防止它被其他源文件调用。

要注意的是：static只对缺省链接属性为external的声明才有改变链接属性的效果。例如，尽管你可以在声明5前面加上static关键字，但它的效果完全不一样，因为e的缺省链接属性并不是external。

extern关键字的规则更为复杂。一般而言，它为一个标识符指定external链接属性，这样就可以访问在其他任何位置定义的这个实体。上图中声明3为k指定external链接属性（它本身的缺省链接属性并不是external）。这样一来，函数就可以访问在其他源文件声明的外部变量了。

当用于具有文件作用域的声明时（参考博客《C和指针》笔记10:作用域 ），extern这个关键字是可选的。然而，如果你在一个地方定义变量，并在使用这个变量的其他源文件的声明中添加extern关键字，可以使其他人更容易理解你的意图。

当extern关键字用于源文件中一个标识符的第1次声明时，它指定该标识符具有external链接属性。但是，如果它用于该标识符的第2次或以后的声明时，它并不会更改由第1次声明所指定的链接属性。上图中的声明4并不修改由声明1所指定的变量i的链接属性。

总结：

关键字	链接属性	性质
extern	external	① 不论声明多少次、位于几个源文件都表示同一个实体 ② 函数和代码块外的变量声明缺省默认是exteral属性③ 当作用域为文件作用域的时候可选（文件作用域里声明的变量）④用于标识符的第一次声明指定为external属性有效，第二次及以上无效
static	internal	①在同一个源文件内的所有声明中都指同一个实体，但位于不同源文件的多个声明则分属不同的实体，②只有在链接属性是extern的时候使用static关键字才会让改变属性生效
	none	被当作单独的个体，也就是说该标识符的多个声明被当作独立不同的实体

参考

1. 《C和指针》