c的链接详解
多目标文件的链接
stack.c
#include <stdio.h>
#define STACKSIZE 1000
typedef struct stack {
int data[STACKSIZE];
int top;
} stack;
stack s;
int count = 0;
void pushStack(int d)
{
s.data[s.top ++] = d;
count ++;
}
int popStack()
{
return s.data[-- s.top];
}
int isEmpty()
{
return s.top == 0;
}
link.c
#include <stdio.h>
int a, b;
int main()
{
a = b = 1;
pushStack(a);
pushStack(b);
pushStack(a);
while (！ isEmpty()) {
printf("%d\n", popStack());
}
return 0;
}
编译方式：
gcc -Wall stack.c link.c -o main
提示出错信息如下：
但是代码是可以执行的
定义和声明
static和extern修饰函数
上述编译出现错误的原因是：编译器在处理函数调用代码时没有找到函数原型，只好根据函数调用代码做隐式声明，把这三个函数声明为：
int pushStack(int); int popStack(void); int isEmpty(void);
编译器往往不知道去哪里找函数定义，像上面的例子，我让编译器编译main.c，而这几个函数定义却在stack.c里，编译器无法知道，因此可以用extern声明。修改link.c如下：
#include <stdio.h>
int a, b;
extern void pushStack(int d);
extern int popStack(void);
extern int isEmpty(void);
int main()
{
a = b = 1;
pushStack(a);
pushStack(b);
pushStack(a);
while (! isEmpty()) {
printf("%d\n", popStack());
}
return 0;
}
这样编译器就不会报警了。这里extern关键字表示这个标识符具有External Linkage.pushStack这个标识符具有External Linkage指的是：如果link.c和stack.c链接在一起，如果pushStack在link.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;}
编译链接在一起会出错，原因是：
虽然在foo.c中定义了函数foo，但是这个函数是static属性，只具有internal Linkage。如果把foo.c编译成目标文件，函数名foo在其中是一个LOCAL的符号，不参与链接过程，所以在链接时，main.c中用到一个External Linkage的foo函数，链接器却找不到它的定义在哪，无法确定它的地址，也就无法做符号解析，只好报错。
凡是被多次声明的变量或函数，必须有且只有一个声明是定义，如果有多个定义，或者一个定义都没有，链接器就无法完成链接
static和extern修饰变量
如果我想在link.c中访问stack.c中定义的int变量count，则可以用extern声明
#include <stdio.h>
int a, b;
extern void pushStack(int d);
extern int popStack(void);
extern int isEmpty(void);
extern int count;
int main()
{
a = b = 1;
pushStack(a);
pushStack(b);
pushStack(a);
printf("%d\n", count);
while (! isEmpty()) {
printf("%d\n", popStack());
}
return 0;
}
变量count具有external linkage，它的存储空间是在stack.c中分配的，所以link.c中的变量声明extern int count;不是变量定义，因为它不分配存储空间。
如果不想在stack.c外让外界访问到count，则可以用static关键字将count声明为Internal Linkage
区别
变量生命和函数声明有一点不同，函数声明的extern可写可不写，而变量声明如果不写extern，意思就完全变了。如果上面的例子不写extern就表示在main函数中定义一个全局变量count。
用static关键字声明具有Internal Linkage的函数和关键字是处于保护内部状态的目的，也是一种封装(Encapsulation)的思想。一个模块中，有些函数是提供给外界使用的，也称为导出(Export)给外界使用，这些函数用extern声明为External Linkage的。
头文件
为了防止每次函数extern声明，例如又有一个foo.c也使用pushStack等函数，又需要在foo.c中写多个extern声明，为了避免这种重复麻烦的操作，可以自己定义一个stack.h头文件：
#ifndef STACK_H
#define STACK_H
#define STACKSIZE 1000
typedef struct stack {
int data[STACKSIZE];
int top;
} stack;
extern void pushStack(int d);
extern int popStack(void);
extern int isEmpty(void);
#endif
这样，在link.c里就只需要包含这个头文件就可以了，而不需要写三个函数声明了：
#include <stdio.h>
#include "stack.h"
int a, b;
extern int count;
int main()
{
a = b = 1;
pushStack(a);
pushStack(b);
pushStack(a);
printf("%d\n", count);
while (! isEmpty()) {
printf("%d\n", popStack());
}
return 0;
}
为什么#include <stdio.h>用角括号，而#include "stack.h"用引号？原因：
- 对于用角括号包含的头文件，gcc首先查找-I选项指定的目录，然后查找系统的头文件目录(通常是/usr/include)
- 对于用“”包含的头文件，gcc首先查找包含头文件的.c文件所在的目录，然后查找-I选项指定的目录，然后查找系统的头文件目录
用#ifndef #define #endif是为了防止头文件的重复包含，头文件重复包含的问题如下：
- 使预处理的速度变慢了，要处理很多本来不需要处理的头文件
- 如果a.h包含了b.h,然后b.h又包含了a.h的情况，预处理就陷入死循环了
- 头文件按有些代码不允许重复出现
头文件中的变量和函数声明一定不能是定义。如果头文件中出现变量或函数定义，这个头文件又被多个.c文件包含，那么这些.c文件就不能链接在一起
