II. C语言本质_20链接祥解_2 定义与声明.doc

第?20?章?链接详解 2.?定义和声明 2.1.?extern和static关键字 在上一节我们把两个程序文件放在一起编译链接，main.c用到的函数push、pop和is_empty由stack.c提供，其实有一点小问题，我们用-Wall选项编译main.c可以看到： $ gcc -c main.c -Wall main.c: In function ‘main’: main.c:8: warning: implicit declaration of function ‘push’ main.c:12: warning: implicit declaration of function ‘is_empty’ main.c:13: warning: implicit declaration of function ‘pop’ 这个问题我们在HYPERLINK ../拷给小宋/Linux C编程一站式学习/html-chunk/ch03s02.html \l func.ourfirstfunc第?2?节 “自定义函数”讨论过，由于编译器在处理函数调用代码时没有找到函数原型，只好根据函数调用代码做隐式声明，把这三个函数声明为： int push(char); int pop(void); int is_empty(void); 现在你应该比学HYPERLINK ../拷给小宋/Linux C编程一站式学习/html-chunk/ch03s02.html \l func.ourfirstfunc第?2?节 “自定义函数”的时候更容易理解这条规则了。为什么编译器在处理函数调用代码时需要有函数原型？因为必须知道参数的类型和个数以及返回值的类型才知道生成什么样的指令。为什么隐式声明靠不住呢？因为隐式声明是从函数调用代码推导而来的，而事实上函数定义的形参类型可能跟函数调用代码传的实参类型并不一致，如果函数定义带有可变参数（例如printf），那么从函数调用代码也看不出来这个函数带有可变参数，另外，从函数调用代码也看不出来返回值应该是什么类型，所以隐式声明只能规定返回值都是int型的。既然隐式声明靠不住，那编译器为什么不自己去找函数定义，而非要让我们在调用之前写函数原型呢？因为编译器往往不知道去哪里找函数定义，像上面的例子，我让编译器编译main.c，而这几个函数的定义却在stack.c里，编译器又怎么会知道呢？所以编译器只能通过隐式声明来猜测函数原型，这种猜测往往会出错，但在比较简单的情况下还算可用，比如上一节的例子这么编译过去了也能得到正确结果。 现在我们在main.c中声明这几个函数的原型： /* main.c */ #include stdio.h extern void push(char); extern char pop(void); extern int is_empty(void); int main(void) { push(a); push(b); push(c); while(!is_empty()) putchar(pop()); putchar(\n); return 0; } 这样编译器就不会报警告了。在这里extern关键字表示这个标识符具有External Linkage。External Linkage的定义在上一章讲过，但现在应该更容易理解了，push这个标识符具有External Linkage指的是：如果把main.c和stack.c链接在一起，如果push在main.c和stack.c中都有声明（在stack.c中的声明同时也是定义），那么这些声明指的是同一个函数，链接之后是同一个GLOBAL符号，代表同一个地址。函数声明中的extern也可以省略不写，不写extern的函数声明也表示这个函数具有External Linkage。 如果用static关键字修饰一个函数声明，则表示该标识符具有Internal Linkage，例如有以下两个程序文件： /* foo.c */ static void foo(void) {} /* main.c */ void foo(void); int main(void) { foo(); return 0; } 编译链接在一起会出错： $ gcc foo.c main.c /tmp/ccRC2Yjn.o: In function `main: main.c:(.text+0x12): undefined reference to `foo collect2: ld returned 1 exit status 虽然在foo.c中定义了函数foo，但这个函数只具有Internal Linkage，只有在foo.c中多次声明才表示同一个函数，