宏：#与##

1 #运算符

        宏定义可以包含两个运算符：#和##。编译器不会识别这两种运算符相反，它们会在预处理时被执行。

        #运算符将一个宏的参数转换为字符串字面量。它仅允许出现在带参数的宏的替换列表中。 （一些C程序员将#操作理解为“stringization（字符串化）”；其他人则认为这实在是对英语的滥用。）

        #运算符有大量的用途，这里只来讨论其中的一种。假设我们决定在调试过程中使用PRINT_INT宏作为一个便捷的方法，来输出一个整型变量或表达式的值。#运算符可以使PRINT_INT为每个输出的值添加标签。下面是改进后的PRINT_INT：

#define PRINT_INT(x) printf(#x " = %d\n", x)

x之前的#运算符通知预处理器根据PRINT_INT的参数创建一个字符串字面量。因此，调用

PRINT_INT(i/j);

会变为

printf("i/j" " = %d\n", i/j);

在C语言中相邻的字符串字面量会被合并，因此上边的语句等价于：

printf("i/j = %d\n", i/j);

当程序执行时，printf函数会同时显示表达式i/j和它的值。例如，如果i是11，j是2的话，输出为

i/j = 5

 

2  ##运算符

       ##运算符可以将两个记号（例如标识符）“粘”在一起，成为一个记号。（无需惊讶，##运算符被称为“记号粘合”。）如果其中一个操作数是宏参数，“粘合”会在当形式参数被相应的实际参数替换后发生。考虑下面的宏：

#define MK_ID(n) i##n

当MK_ID被调用时（比如MK_ID(1)），预处理器首先使用自变量（这个例子中是1）替换参数n。接着，预处理器将i和1连接成为一个记号（i1）。下面的声明使用MK_ID创建了3个标识符：

int MK_ID(1), MK_ID(2), MK_ID(3);

预处理后声明变为：

int i1, i2, i3;

##运算符不属于预处理器经常使用的特性。实际上，想找到一些使用它的情况是比较困难的。为了找到一个有实际意义的##的应用，我们来重新思考前面提到过的MAX宏。如我们所见，当MAX的参数有副作用时会无法正常工作。一种解决方法是用MAX宏来写一个max函数。遗憾的是，往往一个max函数是不够的。我们可能需要一个实际参数是int值的max函数，还需要参数为float值的max函数，等等。除了实际参数的类型和返回值的类型之外，这些函数都一样。因此，这样定义每一个函数似乎是个很蠢的做法。

        解决的办法是定义一个宏，并使它展开后成为max函数的定义。宏会有唯一的参数type，它表示形式参数和返回值的类型。这里还有个问题，如果我们是用宏来创建多个max函数，程序将无法编译。（C语言不允许在同一文件中出现两个同名的函数。）为了解决这个问题，我们是用##运算符为每个版本的max函数构造不同的名字。下面是宏的显示形式：

#define GENERIC_MAX (type)           \

type type##_max(type x,  type y)    \

{                                        \

   return x > y ? x : y;               \

}

请注意宏的定义中是如何将type和_max相连来形成新函数名的。

现在，假如我们需要一个针对float值的max函数。下面是如何使用GENERIC_MAX宏来定义函数：

GENERIC_MAX(float)

预处理器会将这行展开为下面的代码：

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

 ******************************************************************************************************************************

#if 0

...

#endif

经常用来代替/*  */，方便在调试中注释掉某段代码。需要激活时将#if 0该为#if 1即可。