C/CPP程序的执行过程

    以我们最初学到的“hello world”程序为例。这个程序在编译中是这样进行的，首先执行g++ helloworld.cpp命令得到a.out文件；执行./a.out命令就可以输出hello world!事实上执行g++ helloworld.cpp可以分为四个步骤，分别是预处理，编译，汇编，和链接，这就像一个被隐藏的过程，使用者可以通过简单的命令即可完成复杂的步骤。

一、预处理
    首先是源代码文件helloworld.cpp和相关头文件预处理成一个.i文件。命令如下 g++ -E helloworld.cpp -o helloworld.i预处理的过程主要处理那些源代码文件中只能够以“#”开始的预处理指令，主要规则如下：
（1）将所以#define删除，并将宏定义展开。
（2）处理一些条件预编译指令如#if,#ifdef,#elif,#else,#endif等。将不必要的代码过滤掉。
（3）处理#include预编译指令，将被包含的文件插入到该预编译指令的位置。这个过程是递归进行的，因为被包含的文件可能也包含其他文件。
（4）预处理过程还会过滤掉所有注释”//”和“/**/”里面的内容。

（5）另外还会添加行号和文件名标识。
（6）最后会保留#pragma编译器指令，因为编译器需要使用它们。

二、编译
    编译就是将预处理的文件进行一系列的词法分析，语法分析，语义分析，以及优化后产生相应的汇编代码文件，这个过程是程序构建的核心部分，也是最复杂的。执行命令如下：

g++ -S helloworld.i -o helloworld.s

    可以使用vi/vim查看相应的汇编代码。在这个过程中又分为六步：词法分析，语法分析，语义分析，源代码优化，代码生成和目标代码优化。具体过程请参照《编译原理》

三、汇编

    汇编过程实际上指把汇编语言代码翻译成目标机器指令的过程。对于被翻译系统处理的每一个C语言源程序，都将最终经过这一处理而得到相应的目标文件。目标文件中所存放的也就是与源程序等效的目标的机器语言代码。

    目标文件由段组成。通常一个目标文件中至少有两个段：
   （1）代码段：该段中所包含的主要是程序的指令。该段一般是可读和可执行的，但一般却不可写。  
   （2）数据段：主要存放程序中要用到的各种全局变量或静态的数据。一般数据段都是可读，可写，可执行的。
    UNIX环境下主要有三种类型的目标文件：
  （1）可重定位文件：其中包含有适合于其它目标文件链接来创建一个可执行的或者共享的目标文件的代码和数据。
  （2）共享的目标文件：这种文件存放了适合于在两种上下文里链接的代码和数据。第一种事链接程序可把它与其它可重定位文件及共享的目标文件一起处理来创建另一个目标文件；第二种是动态链接程序将它与另一个可执行文件及其它的共享目标文件结合到一起，创建一个进程映象。
  （3）可执行文件：它包含了一个可以被操作系统创建一个进程来执行之的文件。
汇编程序生成的实际上是第一种类型的目标文件。对于后两种还需要其他的一些处理方能得到，这个就是链接程序的工作了。

四、链接
    把每个源代码独立的编译，然后按照它们的要求将它们组装起来，这个组装模块的过程就是链接，链接的过程包括地址和空间的分配，符号决议，和重定位等这些步骤。
    最基本的静态链接如图所示：

    每个目标文件除了拥有自己的数据和二进制代码外，还拥有三个表，未解决符号表，地址重定向表，导出符号表：

    ①未解决符号表提供了所有在该 编译单元里引用，但是定义不是在本编译单元的符号以及其出现的地址

    ②导出符号表提供本编译单元具有定义，并且愿意提供给其他单元使用的符号以其地址

    ③地址重定向表提供所有自身地址的引用的记录。
   

【Note】:

    根据开发人员指定的同库函数的链接方式的不同，链接处理可分为两种： 

    （1）静态链接 

    在这种链接方式下，函数的代码将从其所在地静态链接库中被拷贝到最终的可执行程序中。这样该程序在被执行时这些代码将被装入到该进程的虚拟地址空间中。静态链接库实际上是一个目标文件的集合，其中的每个文件含有库中的一个或者一组相关函数的代码。
   （2）动态链接 

    在此种方式下，函数的代码被放到称作是动态链接库或共享对象的某个目标文件中。链接程序此时所作的只是在最终的可执行程序中记录下共享对象的名字以及其它少量的登记信息。在此可执行文件被执行时，动态链接库的全部内容将被映射到运行时相应进程的虚地址空间。动态链接程序将根据可执行程序中记录的信息找到相应的函数代码。
     对于可执行文件中的函数调用，可分别采用动态链接或静态链接的方法。使用动态链接能够使最终的可执行文件比较短小，并且当共享对象被多个进程使用时能节约一些内存，因为在内存中只需要保存一份此共享对象的代码。但并不是使用动态链接就一定比使用静态链接要优越。在某些情况下动态链接可能带来一些性能上损害。

转自：http://blog.csdn.net/f905699146/article/details/72877413?utm_source=itdadao&utm_medium=referral
http://apps.hi.baidu.com/share/detail/32660500