【Linux入门】07.Linux 下的编译器——gcc/g++

一、背景知识

gcc和g++分别是GNU的C和C++的编译器，gcc和g++在执行编译的时候一般有以下四个步骤：
1.预处理（头文件展开、去注释、宏替换、条件编译）
2.编译（C代码翻译成汇编语言）
3.汇编（汇编代码转为二进制目标代码）
4.链接（将汇编过程产生的二进制代码进行链接）

二、gcc/g++使用

语法： gcc/g++ 选项 文件
常用选项：
• -E 只进行预处理，这个不生成文件，你需要把他重定向到一个输出文件里面（否则将把预处理后的结果打印到屏幕上）
• -S 编译到汇编语言，不进行汇编和链接，即只进行预处理和编译
• -c 编译到目标代码
• -o 将处理结果输出到指定文件，该选项后需紧跟输出文件名
• -static 此选项对生成的文件采用静态链接
• -g 生成调试信息（若不携带该选项则默认生成release版本）
• -shared 此选项将尽量使用动态库，生成文件较小
• -w 不生成任何警告信息
• -Wall 生成所有警告信息
• -O0/-O1/-O2/-O3 编译器优化选项的四个级别，-O0表示没有优化，-O1为缺省值，-O3优化级别最高
示例：

[caryon@VM-24-10-centos ~]$ gcc code.c -o code

2.1 预处理

指令：gcc -E test.c -o test.i
功能：
• 预处理功能主要包括头文件展开、去注释、宏替换、条件编译等
• 预处理指令是以#开头的代码行
• -E选项的作用是让gcc/g++在预处理结束后停止编译过程
• -o选项是指目标文件，“xxx.i”文件为已经过预处理的原始程序

2.2 编译

指令：gcc -S test.i -o test.s
功能：
• 在这个阶段中，gcc/g++首先检查代码的规范性、是否有语法错误等，以确定代码的实际要做的工作，在检查无误后，将代码翻译成汇编语言。
• 用户可以使用-S选项来进行查看，该选项只进行编译而不进行汇编，生成汇编代码。
• -o选项是指目标文件，“xxx.s”文件为已经过翻译的原始程序。

2.3 汇编

指令： gcc -c test.s -o test.o
功能：
• 汇编阶段是把编译阶段生成的“xxx.s”文件转成目标文件。
• 使用-c选项就可以得到汇编代码转化为“xxx.o”的二进制目标代码了。

2.4 链接

指令： gcc test.o -o test
功能：
• 链接的主要任务就是将生成的各个“xxx.o”文件进行链接，生成可执行文件或者库文件。
• gcc/g++不带-E、-S、-c选项时，就默认生成预处理、编译、汇编、链接全过程后的文件。
• 若不用-o选项指定生成文件的文件名，则默认生成的可执行文件名为a.out。

三、对链接的认识

3.1 函数库的认识

我们的C程序中，并没有定义“printf”的函数实现,且在预编译中包含的“stdio.h”中也只有该函数的声明,而没有定义函数的实现,那么,是在哪里实“printf”函数的呢?
系统把这些函数实现都被打包到名为 libc.so.6 的库文件中去了,在没有特别指定时,gcc 会到系统默认的搜索路径“/usr/lib”下进行查找,也就是链接到 libc.so.6 库函数中去,这样就能实现函数“printf”了,而这也就是链接的作用

我们可以通过ldd指令来查看可执行程序使用了哪些库

[caryon@VM-24-10-centos ~]$ ldd test
	linux-vdso.so.1 =>  (0x00007ffd659d8000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f2d3df88000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f2d3e356000)

这里我们发现test文件包含libc.so.6这个动态库，这是C语言的库。而实际上ll等指令也包含这个库，大部分的指令都是使用C语言写的。

讨论：是先有的语言还是先有的编译器？
先有的编译器然后才有语言，只不过第一版的编译器是由上一代语言写的而已，而后语言/编译器实现了自举。

3.2 动态库与静态库

函数库一般分为静态库和动态库两种：
• 静态库是指编译链接时，把库文件的代码全部加入到可执行文件当中，因此生成的文件比较大，但在运行时也就不再需要库文件了，静态库一般以.a为后缀
• 动态库与之相反，在编译链接时并没有把库文件的代码加入到可执行文件当中，而是在程序运行时由链接文件加载库，这样可以节省系统的开销，动态库一般以.so为后缀

接下来使用一个故事来讲解一下动态库和静态库：
你是一名准高中生，但是你比较喜欢打CS，你在暑假的时候去找一个叫张三的学长请教怎样才能在学校里玩游戏，学长告诉你学校北门出门左转走200米有一家红蜻蜓网吧，那里有很多电脑，其中888号电脑网速最快还靠窗，非常棒，你就把这件事记在了心里。你上学后放周末了，你就开始列你这一天都要干什么（背单词、写作业、上网），你一件一件的去做，到点了你就去上网，然后就找到了张三学长告诉你的888号主机，你在那里玩得很开学，玩完就回来了，这样的日子一直持续到放寒假。你考试成绩很棒，你就和你老爸说，你要是没有跑来跑去的时间可能成绩还会更好，希望你老爸能和校长说一说，给你在宿舍安个电脑，你们校长看你成绩也不错就同意了，然后你就可以在宿舍玩游戏了。

上面的这个故事中，网吧就类似于动态库，你到玩的时候找到这家网吧，玩完了再回来，而你宿舍里的电脑就是静态库，你想多天玩就多天玩
所谓动态库就是这个库放在公共的区间，谁想用都可以，而静态库就是你自己有一份，想什么时候用就什么时候用

3.3 动态链接与静态链接

动态链接：
 优点：省空间（磁盘的空间，内存的空间），bin体积小，加载速度快
 缺点：依赖动态库，程序可移植性较差
静态链接：
 优点：不依赖第三方库，程序的可移植性较高
 缺点：浪费空间
  
动态链接就是程序调用动态库进行链接，而静态链接则是调用静态库进行链接

gcc和g++默认生成的二进制程序是动态链接的，我们可以使用file指令进行查看

[caryon@VM-24-10-centos ~]$ file code
code: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=e8625d13488f2780664671d6e3802e4c0e08abe3, not stripped

那么我们如何实现静态链接呢？
指令: gcc test.c -o test_static -static

[caryon@VM-24-10-centos ~]$ gcc code.c -o code_static -static
[caryon@VM-24-10-centos ~]$ ll
total 3
-rwxrwxr-x 1 caryon caryon   8360 Dec 16 21:21 code
-rw-rw-r-- 1 caryon caryon     77 Dec 16 21:21 code.c
-rwxrwxr-x 1 caryon caryon 861288 Dec 16 21:45 code_static

我们可以看到静态链接的程序大小远大于动态编译的程序大小