第20章链接详解2.定义和声明2.1.extern和static关键字在上一节我们把两个程序文件放在一起编译链接，main.c用到的函数push、pop和is_empty由stack.c提供，其实有一点小问题，我们用-Wall选项编译main.c可以看到：$gcc-cmain.c-Wallmain.c:Infunction‘main’:main.c:8:warning:implicitdeclarationoffunction‘push’main.c:12:warning:implicitdeclarationoffunction‘is_empty’main.c:13:warning:implicitdeclarationoffunction‘pop’这个问题我们在第2节“自定义函数”讨论过，由于编译器在处理函数调用代码时没有找到函数原型，只好根据函数调用代码做隐式声明，把这三个函数声明为：intpush(char);intpop(void);intis_empty(void);现在你应该比学第2节“自定义函数”的时候更容易理解这条规则了。为什么编译器在处理函数调用代码时需要有函数原型？因为必须知道参数的类型和个数以及返回值的类型才知道生成什么样的指令。为什么隐式声明靠不住呢？因为隐式声明是从函数调用代码推导而来的，而事实上函数定义的形参类型可能跟函数调用代码传的实参类型并不一致，如果函数定义带有可变参数（例如printf），那么从函数调用代码也看不出来这个函数带有可变参数，另外，从函数调用代码也看不出来返回值应该是什么类型，所以隐式声明只能规定返回值都是int型的。既然隐式声明靠不住，那编译器为什么不自己去找函数定义，而非要让我们在调用之前写函数原型呢？因为编译器往往不知道去哪里找函数定义，像上面的例子，我让编译器编译main.c，而这几个函数的定义却在stack.c里，编译器又怎么会知道呢？所以编译器只能通过隐式声明来猜测函数原型，这种猜测往往会出错，但在比较简单的情况下还算可用，比如上一节的例子这么编译过去了也能得到正确结果。现在我们在main.c中声明这几个函数的原型：/*main.c*/#include<stdio.h>externvoidpush(char);externcharpop(void);externintis_empty(void);intmain(void){push('a');push('b');push('c');while(!is_empty())putchar(pop());putchar('\n');return0;}这样编译器就不会报警告了。在这里extern关键字表示这个标识符具有ExternalLinkage。ExternalLinkage的定义在上一章讲过，但现在应该更容易理解了，push这个标识符具有ExternalLinkage指的是：如果把main.c和stack.c链接在一起，如果push在main.c和stack.c中都有声明（在stack.c中的声明同时也是定义），那么这些声明指的是同一个函数，链接之后是同一个GLOBAL符号，代表同一个地址。函数声明中的extern也可以省略不写，不写extern的函数声明也表示这个函数具有ExternalLinkage。如果用static关键字修饰一个函数声明，则表示该标识符具有InternalLinkage，例如有以下两个程序文件：/*foo.c*/staticvoidfoo(void){}/*main.c*/voidfoo(void);intmain(void){foo();return0;}编译链接在一起会出错：$gccfoo.cmain.c/tmp/ccRC2Yjn.o:Infunction`main':main.c:(.text+0x12):undefinedreferenceto`foo'collect2:ldreturned1exitstatus虽然在foo.c中定义了函数foo，但这个函数只具有InternalLinkage，只有在foo.c中多次声明才表示同一个函数，而在main.c中声明就不表示它了。如果把foo.c编译成目标文件，函数名foo在其中是一个LOCAL的符号，不参与链接过程，所以在链接时，main.c中用到一个ExternalLinkage的foo函数，链接器却找不到它的定义在哪儿，无法确定它的地址，也就无法做符号解析，只好报错。凡是被多次声明的变量或函数，必须有且只有一个声明是定义，如果有多个定义，或者一个定义都没有，链接器就无法完成链接。以上讲了用static和extern修饰函数声明的情况。现在来看用它们修饰变量声明的情况。仍然用stack.c和main.c的例子，如果我想在main.c中直接访问stack.c中定义的变量top，则可以用extern声明它：/*main.c*/#include<stdio.h>voidpush(char);charpop(void);intis_empty(void);externinttop;intmain(void){push('a');push('b');push('c');printf("%d\n",top);while(!is_empty())putchar(pop());putchar('\n');printf("%d\n",top);return0;}变量top具有ExternalLinkage，它...