多目标文件的链接

考虑下面几个程序段：

/* stack.c */
char stack[512];
int top = -1;
void push(char c)
{
stack[++top] = c;
}
char pop(void)
{
return stack[top--];
}
int is_empty(void)
{
return top == -1;
}

/* main.c */
#include <stdio.h>
int a, b = 1;
int main(void)
{
push('a');
push('b');
push('c');
while(!is_empty())
putchar(pop(
putchar('\n');
return 0;
}

编译时可以一步编译 ：

gcc main.c stack.c -o main

也可以多步编译：

gcc -c main.c
gcc -c stack.c
gcc main.o stack.o -o main

用nm命令查看目标文件的符号表，会发现main.o中有未定义的符号push、 pop、 is_empty、 putchar，前三个符号在stack.o中实现了，链接生成可执行文件main时可以做符号解析，而putchar是libc的库函数，在可执行文件main中仍然是未定义的，要在程序运行时做动态链接。

我们通过readelf -a main命令可以看到， main的.bss段合并了main.o和stack.o的.bss段，其中包含了变量a和stack， main的.data段也合并了main.o和stack.o的.data段，其中包含了变量b和top， main的.text段合并了main.o和stack.o的.text段，包含了各函数的定义。如下图所示：

main的每个段中来自main.o的变量或函数都在前面，而来自stack.o的变量或函数都在后面呢？我们可以试试把gcc命令中的两个目标文件反过来写：

gcc stack.o main.o -o main

结果正如我们所预料的，可执行文件main的每个段中来自main.o的变量或函数都排到后面了。