C语言宏定义使用分析

【 tulaoshi.com - 编程语言 】

1、如何区分宏定义中的“宏名称”和“宏字符串”？对于带参数的宏又该注意什么？

在宏定义中，“宏名称”和“宏字符串”是通过“空格”来区分的。编译器在处理时宏定义时，首先从“#define”后第一个空格开始读取字符串，直到遇见下一个空格为止，两个空格之间的字符串为“宏名称”，确定好“宏名称”之后，本行的所有其他字符串都为“宏字符串”。图示：#define + N个空格(1 N) + 宏名称(中间没有空格) + N个空格(1 N) + 宏字符串(直到本行结束)。这里讲到的都是一行之内的宏定义，如果跨越多行则用“”字符进行“续行”，本质上可以当做一行来对待。

对于“带参数宏”，宏名称和“( )”之间不能有空格，否则就变成了“无参数宏”（根据上面的原则）。而且当“无参数宏”和“带参数宏”的名字相同时，“无参数宏”会屏蔽掉“带参数宏”，即使以“带参数宏”的方式调用，也行不通。

试验内容及结果：

实验分析：

可以看到“#define PI  3.1415”和“#define P I 689”分别是两个不同的宏定义“PI”和“P”；"G(4)"被“(X) (2*X) (4)”替换掉；当调用“F(4)”时，系统并没有替换成“2*4”，而是替换成了“123(4)”，说明“#define F  123”完全屏蔽掉了“#define F(X)  (2*X)”，当注释掉“#define  F  123”后"#define F(X)  (2*X)"可以正常工作。因此，在进行宏定义时，要密切关注空格的影响，并且“带参数宏”和“无参数宏”的名称一定不能相同，否则会出现混乱。但是，在宏调用时空格并不影响效果，例如F(3)和F (3)效果相同(F(X)是带参数宏)。

2、宏和函数在使用方式和效果上有何异同？

在宏定义时，要善于利用括号对变量进行封装，把每个参数都括起来，预防出现与优先级有关的问题；同时整个结果表达式也应该括起来，以防止当宏用于一个更复杂的表达式时可能出现问题。尽量提高宏的可靠性，。例如：“#define ABS(x)  (((x) 0) ? (x) : (-x))”的可靠性要远远优于“#define ABS(x)  x 0 ? x : -x”，可以以ABS(a-b)来进行试验。

在宏调用时，如果有自增（++）或自减（--）操作符，一定要注意很可能会产生副作用。因为宏在替换时，如果变量出现了多次，就相当于自增或自减操作进了多次，这个跟函数调用是完全不同的，函数调用中形参会复制实参的数值，并对形参进行操作并不会影响实参，而宏调用就是直接多次修改实参。例如：a = 5; "ABS(a++) “展开后就变成“(((a++) 0) ? (a++) : (-a++))”，操作完成后”a = 7“而不是”a = 6“；当写成函数就完全不用担心这个问题。

如果在宏调用时，进行了了多层嵌套调用，则宏展开后会产生非常庞大的表达式，而且相当复杂；函数调用则不会出现这种情况。

3、宏和类型定义typedef的区别

由于宏的本质就是替换，所以可以对变量类型进行一层封装，利用该封装做变量定义，这样做的好处是增加可移植性，当修改时只需要改动宏定义即可。例如：
代码如下：

MY_TYPE a;
MY_TYPE b,c,d;

但是最好不要这么用，因为我们有typedef，它是专门进行类型定义的。而且，使用类型定义会使代码更加通用一些，避免一些深层的问题。例如：
代码如下：

typedef uint_8 * MY_TYPE2

MY_TYPE1 a,b;
MY_TYPE2 c,d;
分析：

从概念上看，MY_TYPE1 和 MY_TYPE2 完全相同，都是指向uint_8的指针，但是当我们声明多个变量时，就出现问题了。它们分别被扩展成了：
代码如下：

uint_8 *a,b;
MY_TYPE2 c,d; //因为MY_TYPE2已经是一种类型了

可以看到，本来想定义两个指针变量a,b；现在却变成了一个指针变量a和一个整型变量b，这不是我们想要的。而MY_TYPE2本身就是一种类型（自定义）了，故c,d都是指针类型，符合预期。所以，如果想自定义类型，果断选择 ”typedef“ 放弃宏定义，否则吃亏的是自己。