C链接属性

--<<c和指针>>--
当组成一个程序的各个源文件分别被编译之后, 所有的目标文件以及那些从一个或多个函数库中引用的函数链接在一起, 形成可执行程序, 然而, 如果相同的标识符出现在几个不同的源文件中时, 他们表示同一个实体还是表示不同的实体? 标识符的链接属性决定如何处理在不同文件中出现的标识符, 标识符的作用域与它的链接属性有关, 但这两个属性并不相同.
链接属性包括三种: external(外部), internal(内部)和none(无).
没有链接属性的标识符(none)总是被当做单独的个体, 也就是说改标识符的多个声明被当做独立不同的实体
属于internal 链接属性的标识符在同一个源文件内的所有声明中都指同一个实体, 但位于不同源文件的多个声明则分属于不同的实体;
属于external 链接属性的标识符不论声明了多少次, 位于几个源文件内都表示同一个实体.
1 ----> typedef char *a; 2 ----> int b; 3 ----> int c (4 -----> int d) { 5 -----> int e; 6 -----> int f (7 ---->int g) }
如上图, 在缺省情况下, 标识符b, c, f的链接属性为external, 其余标识符的链接属性则为none, 因此, 如果另一个源文件也包含了标识符b的类似声明并调用函数c, 它们实际上访问的是这个源文件中定义的实体, f的链接属性之所有是external 是因为它是个函数名, 在这个源文件中调用函数f, 它实际上将链接到其他源文件中定义的函数, 甚至这个函数定义可能出现在某个函数库

extern 和 static
关键词extern 和 static 用于在声明中修改标识符的链接属性, 如果某个声明在正常情况下具有external链接属性, 在它前面加上 static 关键词, 就可以使它的链接属性变为 internal, 例如, 如果第二个声明写成
static int b
那么变量b 将变成这个源文件所私有, 也可以把函数声明为static , 如下
static int c ( int d )
这样可以防止它被其他源文件调用

static 只对缺省链接属性为external的声明才有改变链接属性的效果

extern 关键词规则一般而言, 它为一个标识符指定external链接属性, 这样就可以访问在其他任何位置定义的这个实体, 为函数中某个标识符指定external 链接属性, 这样函数就可以访问在其他源文件声明的外部变量
static int i; int func() { int j; extern int k; extern int i; }