编译预处理

1.预处理 

        编译可以分解成：预处理（有些书也叫预编译）、编译、汇编三个过程。我们在这篇文章中主要讨论预处理相关内容。

在预处理阶段，源文件和头文件会被处理成为.i为后缀的文件。预处理阶段主要处理那些源文件中#开始的预编译指令。比如：#include,#define，处理的规则如下：

（1）所有的 #define 删除，并展开所有的宏定义。

（2）处理所有的条件编译指令，如： #if 、 #ifdef 、 #elif 、 #else 、 #endif 。

（3）处理#include预编译指令，将包含的头文件的内容插入到该预编译指令的位置。这个过程是递归进行的，也就是说被包含的头文件也可能包含其他文件。

（4）删除所有的注释

（5）添加行号和文件名标识，方便后续编译器生成调试信息等。

（6）或保留所有的#pragma的编译器指令，编译器后续会使用。

（6）经过预处理后的.i文件中不再包含宏定义，因为宏已经被展开。并且包含的头文件都被插入到.i文件 中。所以当我们无法知道宏定义或者头文件是否包含正确的时候，可以查看预处理后的.i文件来确认。

2.预定义符号 

预定义符号是在编程语言中事先定义好的具有特定含义和用途的符号，可以直接使用，预定义符号也是在预处理期间处理的。

//__是两个下划线
__FILE__      //进⾏编译的源⽂件
__LINE__     //⽂件当前的⾏号
__DATE__    //⽂件被编译的⽇期
__TIME__    //⽂件被编译的时间
__STDC__    //如果编译器遵循ANSI C，其值为1，否则未定义

int main()
{
	printf("file:%s  line:%d  date:%s  ", __FILE__, __LINE__ , __DATE__);
	return 0;
}

 

2.#define

“#define”是 C/C++ 语言中的预处理器指令，用于定义常量和宏。
 通过“#define”，可以给一个标识符指定一个值或者一段代码片段。
 例如，“#define PI 3.14159” 定义了一个名为“PI”的常量，其值为 3.14159 。
 再比如，“#define SQUARE(x) ((x) * (x)) ” 定义了一个名为“SQUARE”的宏，用于计算一个数的平方。
 使用“#define”可以增加代码的可读性和可维护性，但如果使用不当，可能会导致一些意外的结果，比如参数的副作用等。

2.1#define定义常量

#define max 1000
#define min 10;
int main()
{
	int x = max;
	int n = min  //min被替换为10；
	printf("%d ", x);
	printf("%d ", n);
	return 0;
}

2.2#define定义宏 

#define 机制包括了⼀个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义宏 （definemacro）。

 #define name( parament-list ) stuff

其中的parament-list 是⼀个由逗号隔开的符号表，它们可能出现在stuff中。参数列表的左括号必须与name紧邻，如果两者之间有任何空白存在，参数列表就会被解释为stuff的⼀部分。 

下面我们举例看几个初学易错的几个点 

#define SQRT1(x) x + 1 * x + 1
#define SQRT2(x) (x + 1)*(x + 1)
int main()
{
	int a = SQRT1(3);//int a = 3 + 1 * 3 + 1
	int b = SQRT2(3);//int b = (3 + 1)*(3 + 1)
	printf("%d\n", a);//7
	printf("%d\n", b);//16
	return 0;
}

#define SQRT1(x) x + x
#define SQRT2(x) ((x) + (x))
int main()
{
	printf("%d ", 10 * SQRT1(5));//55
	//10 * SQRT(5)=10 * 5 + 5
	printf("%d ", 10 * SQRT2(5));//
	
	return 0;
}

用于对数值表达式进行求值的宏定义都应该用这种方式加上括号，避免在使用宏时由于参数中的 操作符或邻近操作符之间不可预料的相互作用。  

2.3 #undef

这条指令用于移除⼀个宏定义。

#undef NAME
//如果现存的⼀个名字需要被重新定义，那么它的旧名字⾸先要被移除。

#define NUM 100
int main()
{
	printf("%d ", NUM);//100
#undef NUM
	printf("%d ", NUM);
	return 0;
}

 

 

3.宏函数  

3.1带有副作用的宏参数

当宏参数在宏的定义中出现超过⼀次的时候，如果参数带有副作用，那么你在使用这个宏的时候就可能出现危险，导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。

x+1;//不带副作⽤
x++;//带有副作⽤

#define GENERIC_MAX(a,b) a++ > b++ ? a++ : b++

int main()
{
	int a = 3;
	int b = 5;
	int m = GENERIC_MAX(a, b);
	//m=a++ > b++ ? a++ : b++,a调用了一次，b调用了两次
	printf("%d\n", a);//4
	printf("%d\n", b);//7
	printf("%d\n", m);//6
	return 0;
}

3.2宏替换规则 

（一）在程序中扩展#define定义符号和宏时，需要涉及几个步骤。

1.在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先 被替换。

2.替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。

3.最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上 述处理过程。

（二）在 C 和 C++ 语言中，宏替换遵循以下规则：
1. 简单替换：宏定义中的标识符在代码中出现时，会被宏定义体所替换。
2. 文本替换：替换是纯粹的文本操作，不进行任何计算或语法分析。
3. 不检查类型：宏替换不考虑参数的类型。
4. 括号的作用：为了确保表达式的正确计算顺序，通常需要在宏定义中使用括号来括住参数和表达式。
5. 多次替换：如果宏定义体中包含已经定义的宏，也会进行再次替换。
6. 作用范围：从宏定义出现的位置开始，直到文件结束或者遇到取消宏定义的指令为止。
（三）注意：

1.宏参数和#define定义中可以出现其他#define定义的符号。但是对于宏，不能出现递归。

2.当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。

3.3宏和函数的对比 

宏通常被应用于执行简单的运算。比如在两个数中找出较大的⼀个时，写成下面的宏，更有优势⼀些。

 #define MAX(a, b) ((a)>(b)?(a):(b))

宏的优势 ：

1.用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜⼀筹。

2.更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于> 来比较的类型。宏的参数是类型无关的。

和函数相比宏的劣势：

1.每次使用宏的时候，⼀份宏定义的代码将插⼊到程序中。除非宏比较短，否则可能大幅度增加程序的长度。

2.宏是没法调试的

3.宏由于类型无关，也就不够严谨。

4.宏可能会带来运算符优先级的问题，导致程容易出现错。

宏有时候可以做函数做不到的事情。比如：宏的参数可以出现类型，但是函数做不到。

#define MALLOC(n,type) (type*)malloc(n sizeof(type))
int main()
{
	//......
	MALLOC(10, int);
	//预处理后得到(int*)malloc(10 sizeof(int))
	//.....
	return 0;
}

宏和函数的⼀个对比：

 

命名约定：我们平时的⼀个习惯是：

把宏名全部大写

函数名不要全部大写 

 

4.#和##

       #运算符将宏的⼀个参数转换为字符串字面量。它仅允许出现在带参数的宏的替换列表中。 #运算符所执行的操作可以理解为”字符串化“。 

        ## 可以把位于它两边的符号合成⼀个符号，它允许宏定义从分离的文本片段创建标识符。 为记号粘合这样的连接必须产生⼀个合法的标识符。否则其结果就是未定义的。
 有以下宏定义：
 

#define CONCAT(a, b) a##b

那么在使用时，像  CONCAT(num, 1)  会被扩展为  num1  。
 如果使用函数，写⼀个函数求2个数的较大值的时候，不同的数据类型就得写不同的函数。 

int int_max(int x, int y)
 {
 return x>y?x:y;
 }
 float float_max(float x, float y)
 {
 return x>yx:y;
 }

如果使用宏 

#define GENERIC_MAX(type) \
type type##_MAX(a, b) \
{ \
return a > b ? a : b;\
}
GENERIC_MAX(int);//得到函数int_MAX
GENERIC_MAX(float);//得到函数float_MAX
int main()
{
	int a = 3;
	int b = 5;
	int m = int_MAX(a, b);
	printf("%d", m);
	return 0;
}

5. 条件编译

1

#if  常量表达式       
//...
#endif

#define __DEBUG__ 
int main()
{
    int i = 0;
    int arr[10] = { 0 };
    for (i = 0; i < 10; i++)
    {
        arr[i] = i;
#ifdef __DEBUG__ 
        //如果有__DEBUG__这个定义，则printf执行编译，没有不执行
        printf("%d\n", arr[i]);
#endif 
    }
return 0;
 }

#define M 10
int main()
{
    int i = 0;
    int arr[10] = { 0 };
    for (i = 0; i < 10; i++)
    {
        arr[i] = i;
//#if 0   //不执行
#if M>0
        printf("%d\n", arr[i]);
#endif 
    }
return 0;
 }

 

2.多个分支的条件编译 

#if 常量表达式        
//...
#elif 常量表达式        
//...
#else
//...
#endif

 

3. 判断是否被定义

#if defined(symbol)
#ifdef symbol

#if !defined(symbol)
#ifndef symbol

 

4. 嵌套指令

#if defined(OS_UNIX)
        #ifdef OPTION1
                unix_version_option1();
        #endif
        #ifdef OPTION2
                unix_version_option2();
        #endif
#elif defined(OS_MSDOS)
        #ifdef OPTION2
                msdos_version_option2();
        #endif
#endif

6.头文件的包含 

6.1头文件的包含方式

头文件的包含：

#include "filename"

查找策略：先在源文件所在目录下查找，如果该头文件未找到，编译器就像查找库函数头文件⼀样在标准位置查找头文件。 如果找不到就提示编译错误。 

Linux环境的标准头文件的路径：

/usr/include

VS环境的标准头文件的路径： 

C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include
//这是VS2013的默认路径
 

库函数包含：

 #include <filename.h>

查找头文件直接去标准路径下去查找，如果找不到就提示编译错误。 

对于库文件也可以使⽤ “” 的形式包含，但是这样做查找的效率就低些，当然这样也不容易区分是库文件还是本地文件了。

6.2嵌套头文件包含

#include 指令可以使另外⼀个文件被编译。比如头文件stdio.h大致有几百到上千行代码，包含大量声明和定义

这种替换的方式很简单：预处理器先删除这条指令，并⽤包含⽂件的内容替换。⼀个头文件被包含10次，那就实际被编译10次，如果重复包含，对编译的压力就比较大。

 

#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
 int main()
 {

    return 0;
 }

如果直接这样写，test.c文件中将test.h包含5次，那么test.h文件的内容将会被拷贝5份在test.c中。如果test.h文件比较大，这样预处理后代码量会剧增。因此我们可以通过条件编译解决头文件重复引入问题 。

 在每个头文件开头这样写：
 

#ifndef __TEST_H__
//第一次__TEST_H__未定义
#define __TEST_H__
//头⽂件
#endif   

或者

#pragma once

就可以避免头文件的重复引入。 

还有其它预处理指令

 #error
 #pragma
 #line
//.....

可以参考《C语⾔深度解剖》学习 。