一个C++源文件从文本到可执行文件经历的过程

文章目录

  • 一、预处理(产生.i文件,-E)
    • 1、面试题--->#ifndef,#ifdef,#endif的作用?
    • 2、面试题--->#include尖括号和双引号的区别?
  • 二、编译(产生.s文件,-s)
  • 三、汇编(产生.o或.obj文件,-c)
  • 四、链接(产生.out或.exe文件,-o)
    • 1、静态链接/库
    • 2、动态链接/库

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

一、预处理(产生.i文件,-E)

  首先是源代码文件helloworld.cpp和相关头文件预处理成一个.i文件。命令如下g++ -E helloworld.cpp -o helloworld.i预处理的过程主要处理那些源代码文件中只能够以“#”开始的预处理指令,主要规则如下:

  • 将所以#define删除,并将宏定义展开

  • 处理一些条件预编译指令如#ifndef,#ifdef,#elif,#else,#endif等。将不必要的代码过滤掉。

  • 处理#include预编译指令,将被包含的文件插入到该预编译指令的位置。这个过程是递归进行的,因为被包含的文件可能也包含其他文件。

  • 预处理过程还会过滤掉所有注释/**/和//里面的内容。

  • 另外还会添加行号和文件名标识。

  • 最后会保留#pragma编译器指令,因为编译器需要使用它们。

1、面试题—>#ifndef,#ifdef,#endif的作用?

  防止重复包含头文件

2、面试题—>#include尖括号和双引号的区别?

  • #include<> ,从标准库中寻找头文件。

  • #include"",从当前目录开始寻找头文件。

二、编译(产生.s文件,-s)

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

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

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

三、汇编(产生.o或.obj文件,-c)

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

  • 代码段:该段中所包含的主要是程序的指令。该段一般是可读和可执行的,但一般却不可写。

  • 数据段:主要存放程序中要用到的各种全局变量或静态的数据。一般数据段都是可读,可写,可执行的。

  UNIX环境下主要有三种类型的目标文件:

  • 可重定位文件:其中包含有适合于其它目标文件链接来创建一个可执行的或者共享的目标文件的代码和数据。

  • 共享的目标文件:这种文件存放了适合于在两种上下文里链接的代码和数据。第一种事链接程序可把它与其它可重定位文件及共享的目标文件一起处理来创建另一个目标文件;第二种是动态链接程序将它与另一个可执行文件及其它的共享目标文件结合到一起,创建一个进程映象。

  • 可执行文件:它包含了一个可以被操作系统创建一个进程来执行之的文件。

  汇编程序生成的实际上是第一种类型的目标文件。对于后两种还需要其他的一些处理方能得到,这个就是链接程序的工作了。

四、链接(产生.out或.exe文件,-o)

  链接就是把每个源代码独立的编译,然后按照它们的要求将它们组装起来,链接主要解决的是源代码之间的相互依赖问题,链接的过程包括地址和空间的分配,符号决议,和重定位等这些步骤。最基本的静态链接如图所示:
在这里插入图片描述
  每个目标文件除了拥有自己的数据和二进制代码外,还拥有三个表,未解决符号表,地址重定向表,导出符号表。根据开发人员指定的同库函数的链接方式的不同,链接处理可分为两种:

1、静态链接/库

  在链接阶段,会将汇编生成的目标文件.o与引用到的库一起链接打包到可执行文件中,因此对应的链接方式称为静态链接。

  静态库可以简单看成是一组目标文件(.o/.obj文件)的集合,即很多目标文件经过压缩打包后形成的一个文件

一个C++源文件从文本到可执行文件经历的过程_第1张图片
  静态库的缺点在于:浪费空间和资源,因为所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件

2、动态链接/库

  动态库在程序编译时并不会被连接到目标代码中,而是在程序运行是才被载入不同的应用程序如果调用相同的库,那么在内存里只需要有一份该共享库的实例,规避了空间浪费问题。动态库在程序运行是才被载入,也解决了静态库对程序的更新、部署和发布页会带来麻烦。用户只需要更新动态库即可,增量更新。
一个C++源文件从文本到可执行文件经历的过程_第2张图片

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

你可能感兴趣的:(#,C++面试题)