c程序经过连接后生成可执行文件

当我们编写C程序时，会经常听到连接（Link）这个词。那么，连接的作用是什么呢？连接是这样一个过程：将多个目标文件连接在一起，成为一个可执行文件。下面，就从多个角度分别来分析C程序经过连接后生成可执行文件。

一、连接的作用

连接的主要作用是将编译后生成的多个目标文件连接在一起，成为一个可执行文件。编写大型程序时，往往需要分多个模块协同工作。这就需要将编译后生成的多个目标文件，例如各种库文件，你自己所写的源文件以及系统自带的头文件等等，全部连接起来，才能生成可供操作系统使用的可执行文件。

二、连接的过程

连接过程一般包括了：符号解析、重定位和地址绑定三个步骤。

符号解析：符号解析的目的是将所有在源代码中使用的符号（函数名，全局变量名等）转换为其对应的地址。这一步需要将所有出现的符号与其定义进行匹配，并找到其在存储器中对应的位置。

重定位：重定位是指在连接之前，每个编译后的目标文件中符号对应的地址都是相对地址。而在连接之后，这些符号对应的地址需要被重新定位到绝对地址上。重定位的过程中，需要重新计算绝对地址，并链接符号。

地址绑定：地址绑定是连接过程的最后一步。在这一步，生成的可执行文件会被写入磁盘，并分配一个基地址。所有函数和变量的地址都会映射到这个基地址上，实现真正的运行。

三、连接器的作用

在连接过程中，连接器（Linker）起到了非常重要的作用。连接器所做的工作就是确定程序中各个符号的实际地址，并将各个目标文件中的指令和数据合并成一个可执行文件。连接器的主要任务包括：符号解析、重定位和地址绑定。

四、不同操作系统下连接的差异

连接在不同的操作系统下，有着一些不同的实现方式。例如，在Linux系统下，链接器一般是GNU的ld；而在Windows系统下，链接器一般是Microsoft的Linker.exe。这些连接器虽然都能完成连接的功能，但是不同的连接器在处理连接相关的问题时，也有着不同的处理方式。

五、结构化编程与连接

结构化编程的核心思想是将程序拆分为多个模块，每个模块处理一个特定的任务。连接在结构化编程中，有着非常重要的作用，因为它可以将这些模块连接起来，构成最终的程序。通过合理的连接，可以让程序更加易于维护、扩展。

六、总结

连接是将多个目标文件连接在一起，成为一个可执行文件的过程。连接的过程包括了符号解析、重定位和地址绑定三个步骤。连接器是完成链接的核心工具。不同操作系统下的链接器有着不同的实现方式。结构化编程中，连接有着非常重要的意义。通过连接，可以将程序的各个模块有机地组合在一起，形成一个完整的程序。