【C语言】宏详解（下卷）

前言

紧接上卷，我们继续来了解宏。

宏替换的规则

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

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

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

举例说明：

#include<stdio.h>
#define M 100
#define MAX(x,y) ((x)>(y)?(x):(y))
int main()
{
	int m = MAX(M, 15);

	return 0;
}

比如，对于这个代码，宏的参数中有#define定义的符号M，所以会首先被替换，变为这样：

#include<stdio.h>

#define MAX(x,y) ((x)>(y)?(x):(y))
int main()
{
	int m = MAX(100, 15);

	return 0;
}

然后再替换MAX：

#include<stdio.h>


int main()
{
	int m = ((100) > (15) ? (100) : (15));

	return 0;
}

注意：

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

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

比如： 

宏和函数的对比

宏通常用于执行简单的运算。

比如我们要在两个数中找出较大的一个时，选择写下面的宏，会更有优势：

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

为什么这么说呢？

优：

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

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

当然，和函数相比，宏也有自己的劣势：

劣：

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

2.宏没有办法进行调试。

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

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

补充：

我们在执行函数时的步骤是这样的：

1.调用函数的准备工作 （12条汇编指令）

2.执行函数的核心运算 （8条汇编指令）

3.从函数调用中返回值 （4条汇编指令）

而如果是宏，代码在执行时代码都已经被替换过了。只需要核心运算部分的指令。（在真正执行开始前的预处理等阶段的时间，用户是感受不到的。）

宏为什么不能调试：

程序要经过预编译 编译 链接 运行，而调试是程序已经运行起来以后的事。但运行起来后宏已经被替换，调试的也不是宏替换后的代码而不是宏了。

注意：

宏的参数是直接替换的，而函数的参数是计算好才传的。比如都是3+5，宏就是替换为3+5，而函数实参得到的是8。

有时，宏能做到函数绝对做不到的事。

比如，宏的参数可以出现类型，但是函数不行：

#include<stdio.h>

int main()
{
	int* p = (int*)malloc(10 * sizeof(int));

	return 0;
}

这个代码可以通过宏简化成这样：

#include<stdio.h>
#define MALLOC(n,type) (type*)malloc(n*sizeof(type))

int main()
{
	int* p = MALLOC(10,int);

	return 0;
}

可以看到，我们的宏的参数可以放type，也就是类型。 

对比总结

使用宏还是函数的抉择： 如果实现的逻辑比较简单不容易出错，可以考虑使用宏。

至此，宏的讲解就结束了，祝阅读愉快^_^