编译和链接

一般来说我们写的代码只是一堆字符和数字，计算机和操作系统并不以能直接识别出来，所以有了编译，在ANSI C实现下一般有两种环境，一种叫编译环境，在编译环境中，可执行的源代码会被转化成可执行的机器指令（二进制指令），第二种叫执行环境，用于实际执行代码。编译环境一般依赖于我们的编译器比如VS 而执行环境依赖的是我们的操作系统。
而编译环境又分为了两个，一个叫编译一个叫链接，我们的.c文件经过编译成为.obj文件，这种obj文件一般称为目标文件，而目标文件加上链接库经过link.exe（又称为链接器）的处理后生成可执行程序。
编译还能再次细分，分为预处理，编译，汇编三个阶段，如图所示。

预处理，编译，汇编

而在预处理成.i文件时，#include和#define都会被处理，比如define会被直接删除，将define定义的部分直接替换成具体的值。而对include的处理则是将它所包含的头文件的内容插入到预编译的位置，这个过程是递归的，也就是说如果如果include包含其他文件，那也会被一并插入进来，同时删除掉所有注释，添加行号和文件名标识，方便之后生成调试的信息，最后保留所有的pragma指令，因为后续编译器会用到。
在经过预处理之后.i文件不再包含宏定义，因为已经被展开了，所包含的头文件也被插入，所以想知道宏定义和头文件是不是正确的，我们可以看预处理后的.i文件来确认，当然只有你故意想看才能看到，因为生成并使用完之后.i文件会默认删除。

到了编译这一步，其实它会做的有四点: 词法分析，语法分析，语义分析以及优化。它整体的功能是把c代码转化成汇编代码。
经过以上两个步骤，就生成了一个.o的目标文件，此时链接过程中经过地址和空间分配以及符号决议，重定位这些步骤，解决了一个项目中多个文件和多个模块调用的问题之后，和上面的汇编代码结合生成一个可执行程序。
最后就是运行了，在运行前必须载入到内存中，这一步一般由操作系统完成，而独立的环境中则需要手动操作。开始运行后首先要找到main函数，紧接着调用它执行程序代码，此时程序会使用一个运行时堆栈用来存局部变量和返回地址，当然也可以使用静态内存，使在运行中一直保留它的值，最后终止程序，可能是正常结束有可能是意外终止。

以上就是编译和链接的全部过程。

#define

#define可以定义常量这个是比较普遍的用法，需要注意的是它和typedef不一样，它只是单纯的替换，并不是和typedef一样的起别名。如图所示



它只会把定义的常量替换进去，甚至都不会计算好再放进去，所以如果有符号，那么你不要吝啬加上括号来保证它的优先级正确，而如果内部有自增自减的话，你还需要考虑解决它的负作用。
#define还有一种用法，那就是定义宏，如图所示

我们可以看到宏它其实有一点像函数，同样都是传参，不同的是它的参数会被替换成值，如果这里面不注意自增自减或者符号结合优先级的话，那结果将会是不可控的，侧面说明了#define中括号的重要性。

可以看到确实是被替换，替换成5+1*5+1。

在调用宏的时候，首先就会检测是否有#define定义的常量，如果有那会被直接替换，最后扫描整个文件看是否还有，有的话会重复以上操作。
宏和define参数中是可以包含其他define定义的常量的，但是这并不是递归，对于宏，是不能出现递归的，同样宏和define也不会影响字符串中的同名数据。
这样看起来好像函数和宏差不多，但是实际上还是有区别的，如果同样是比较简单的运算，那么函数可能一秒就算出来了，但是它经过调用返回的步骤花费的时间可能比算的时间还长，但是如果是宏它直接替换就能算出来，所以如果是简单的运算直接用宏就可以完成。
还有一点就是函数不能使用类型为变量，但是宏可以，宏的参数和类型无关，如图所示。




说了这么多，宏被吹的天花乱坠无所不能，但是它其实也是有缺点的，每次用宏，宏的定义都会被插入，除非代码比较短，不然代码的长度会变得很长，另外由于宏是直接替换，所以它是没有办法调试的，并且由于和类型无关，所以它的精确度也有所降低，以及上面说的运算优先级容易出错。


 

#和##

这里的#可不是#define前面的那个#，它的左右是把你的参数转化为字符串，如图所示。

 

可以看到我们替换了两次a，但是只有第二次才替换了值，第一次还是以字符形式打印它。

##的作用其实也差不多，它是把##左右的两个成员连接成一个，如图所示。

\ 是续行符，##将int和_max链接起来了，这样看着好像是实现了一个函数，但它的本质还是宏，所以它也不支持调试。

 

条件编译指令

有时候我们写代码有些代码删了可惜，不删又暂时用不到，这种时候除了注释还可以使用条件编译指令，顾名思义只有条件满足的时候才会去调用包含的代码。如图所示。



如果  __debug__我们定义了，那我们就执行，当我们不想用了，把#define注释掉，它就不参与进运算了。可以看到一旦我们不#define 他就不打印了。

还有一种分支条件编译指令，#if后面也可以跟值，为真参与为假则不参与。如图所示
 

手动置为0它就判断为假就不打印了

除了单分支也有多分支，和上面一样 #if做开头，#endif做结尾，中间用#elif或者#else做其他分支判断，如图所示。

我们也可以用是否定义来判断，如果上面有定义，则为真，否则为假，如图所示。


可以看到如果我们没有事先声明，他就不会被打印，而以上这些也可以用来实现嵌套。

头文件的包含

正常情况下我们头文件只会包含一次，但是如果是多文件的情况难免出纰漏，那么如果多次包含，虽然也可以，但是会在处理的时候多次编译，会对系统造成负担。
#include包含本地文件时使用双引号，而包含库文件时使用的是尖括号，经过操作我们发现库文件用双引号也可以，这就要谈到系统的查找策略了，如果是双引号，那就是本地文件，系统会在源文件目录中查找你，如果没找到，那它会像找库函数头文件的目录底下找你，如果还没找到则会报错，这样就清晰明了了，虽然都可以用双引号，但是何必浪费一步呢。