c语言中的宏，#号##号，可变参数

最新推荐文章于 2024-10-23 23:11:43 发布

boborookie

最新推荐文章于 2024-10-23 23:11:43 发布

阅读量429

点赞数

分类专栏：技术积累

技术积累专栏收录该内容

21 篇文章 0 订阅

订阅专栏

http://blog.csdn.net/gneveek/article/details/8761190

C（和C++）中的宏（Macro）属于编译器预处理的范畴，属于编译期概念（而非运行期概念）。下面对常遇到的宏的使用问题做了简单总结。

关于#和##

在C语言的宏中，#的功能是将其后面的宏参数进行字符串化操作（Stringfication），简单说就是在对它所引用的宏变量通过替换后在其左右各加上一个双引号。比如下面代码中的宏：

#define WARN_IF(EXP) \

do{ if (EXP) \

fprintf(stderr, "Warning: " #EXP "\n"); } \

while(0)

那么实际使用中会出现下面所示的替换过程：

WARN_IF (divider == 0);

被替换为

do {

if (divider == 0)

fprintf(stderr, "Warning" "divider == 0" "\n");

} while(0);

这样每次divider（除数）为0的时候便会在标准错误流上输出一个提示信息。

而## 被称为连接符（concatenator），用来将两个Token连接为一个Token。注意这里连接的对象是Token就行，而不一定是宏的变量。比如你要做一个菜单项命令名和函数指针组成的结构体的数组，并且希望在函数名和菜单项命令名之间有直观的、名字上的关系。那么下面的代码就非常实用：

struct command

{

char * name;

void (*function) (void);

};

#define COMMAND(NAME) { NAME, NAME ## _command }

// 然后你就用一些预先定义好的命令来方便的初始化一个command结构的数组了：

struct command commands[] = {

COMMAND(quit),

COMMAND(help),

...

}

COMMAND宏在这里充当一个代码生成器的作用，这样可以在一定程度上减少代码密度，间接地也可以减少不留心所造成的错误。我们还可以n个##符号连接 n+1个Token，这个特性也是#符号所不具备的。比如：

#define LINK_MULTIPLE(a,b,c,d) a##_##b##_##c##_##d

typedef struct _record_type LINK_MULTIPLE(name,company,position,salary);

// 这里这个语句将展开为：

// typedef struct _record_type name_company_position_salary;

关于...的使用

...在C宏中称为Variadic Macro，也就是变参宏。比如：

#define myprintf(templt,...) fprintf(stderr,templt,__VA_ARGS__)

// 或者

#define myprintf(templt,args...) fprintf(stderr,templt,args)

第一个宏中由于没有对变参起名，我们用默认的宏__VA_ARGS__来替代它。第二个宏中，我们显式地命名变参为args，那么我们在宏定义中就可以用 args来代指变参了。同C语言的stdcall一样，变参必须作为参数表的最有一项出现。当上面的宏中我们只能提供第一个参数templt时，C标准要求我们必须写成：

myprintf(templt,);

的形式。这时的替换过程为：

myprintf("Error!\n",);

替换为：

fprintf(stderr,"Error!\n",);

这是一个语法错误，不能正常编译。这个问题一般有两个解决方法。首先，GNU CPP提供的解决方法允许上面的宏调用写成：

myprintf(templt);

而它将会被通过替换变成：

fprintf(stderr,"Error!\n",);

很明显，这里仍然会产生编译错误（非本例的某些情况下不会产生编译错误）。除了这种方式外，c99和GNU CPP都支持下面的宏定义方式：

#define myprintf(templt, ...) fprintf(stderr,templt, ##__VAR_ARGS__)

这时，##这个连接符号充当的作用就是当__VAR_ARGS__为空的时候，消除前面的那个逗号。那么此时的翻译过程如下：

myprintf(templt);

被转化为：

fprintf(stderr,templt);

这样如果templt合法，将不会产生编译错误。这里列出了一些宏使用中容易出错的地方，以及合适的使用方式。

#define display(name) printf(""#name"")
int main() {
display(name);
}
运行结果是name,为什么不是"#name"呢？
---------------------------------------------------------------

#在这里是字符串化的意思
printf(""#name"") 相当于
printf("" "name" "")
---------------------------------------------------------------

The number-sign or "stringizing" operator (#) converts macro parameters (after expansion) to string constants
---------------------------------------------------------------

printf("" ＃name "") <1>
相当于printf("" "name" "") <2>
而<2>中的第2，3个“中间时空格等价于("空＋name＋空')
---------------------------------------------------------------

## 连接符与# 符

## 连接符号由两个井号组成，其功能是在带参数的宏定义中将两个子串(token)联接起来，从而形成一个新的子串。但它不可以是第一个或者最后一个子串。所谓的子串 (token)就是指编译器能够识别的最小语法单元。具体的定义在编译原理里有详尽的解释，但不知道也无所谓。同时值得注意的是#符是把传递过来的参数当成字符串进行替代。下面来看看它们是怎样工作的。这是MSDN上的一个例子。

假设程序中已经定义了这样一个带参数的宏：
#define paster( n ) printf( "token" #n " = %d", token##n )

同时又定义了一个整形变量：
int token9 = 9;

现在在主程序中以下面的方式调用这个宏：
paster( 9 );

那么在编译时，上面的这句话被扩展为：
printf( "token" "9" " = %d", token9 );

注意到在这个例子中，paster(9);中的这个”9”被原封不动的当成了一个字符串，与”token”连接在了一起，从而成为了token9。而#n也被”9”所替代。

可想而知，上面程序运行的结果就是在屏幕上打印出token9=9
---------------------------------------------------------------

#define display(name) printf(""#name"")
int main() {
display(name);
}
====================================
特殊性就在于它是个宏，宏里面处理#号就如LS所说！
处理后就是一个附加的字符串！

但printf(""#name"") ；就不行了！
---------------------------------------------------------------

#define display(name) printf(""#name"")

该定义字符串化name，
得到结果其实就是 printf("name")
(前后的空字符串拿掉)

这样输出来的自然是 name

从另外一个角度讲，
#是一个连接符号，
参与运算了，自然不会输出了 ...