源程序文件是怎样变成可执行的二进制文件的

下面以linux x86 下的程序来说明一个源程序是怎样变成一个可执行的二进制文件的。下面的程序交换两个数组元素的值。

main.c源文件的代码，和swap.c源文件代码分别如下：

1  #include<stdio.h>2  #define  SIZE 23  int buf[SIZE]={1,2};4  void swap();5  int main(){6       PRintf("before swap buf[0]=%d ,buf[1]=%d/n",buf[0],buf[1]);   7 　　　　swap();8 　　　  printf("after swap buf[0]=%d ,buf[1]=%d/n",buf[0],buf[1]);   9  }

extern int buf[];void swap(){     int temp;     temp=buf[0];     buf[0]=buf[1]     buf[1]=temp;  }

通过下面这条命令，main.c和swap.c 就产生了一个可执行二进制文件swap

》gcc mian.c swap.c -o swap

那么这条命令是么样把源程序变成可执行程序的呢？

步骤如下：

1、驱动程序首先调用C预处理器（CPP）把源文件翻译成一个ASCII中间文件mian.i，预处理器会把#include所包含的内容都插入到声明的位置，并且做宏替换，把main.c 文件的第3行 的SIZE替换成2（注意这里只是做简单的文本替换）。

2、接下来驱动程序的C编译器将main.i翻译成汇编语言程序main.s

3、然后驱动程序的汇编器将汇编语言程序main.s 翻译成可重定位的二进制文件main.o

4、最后运行链接器将main.o 与swap.o 以及一些必要的系统目标文件（比如你将调用的printf函数就是printf.o）连接起来变成一个可执行的二进制文件。