分类: C/C++
2009-08-19 15:41:03
#define WARN_IF(EXP) \那么实际使用中会出现下面所示的替换过程:
do{ if (EXP) \
fprintf(stderr, "Warning: " #EXP "\n"); } \
while(0)
WARN_IF (divider == 0);这样每次divider(除数)为0的时候便会在标准错误流上输出一个提示信息。
被替换为
do {
if (divider == 0)
fprintf(stderr, "Warning" "divider == 0" "\n");
} while(0);
而##被称为连接符(concatenator),用来将两个Token连接为一个Token。注意这里连接的对象是Token就行,而不一定是宏的变量。比如你要做一个菜单项命令名和函数指针组成的结构体的数组,并且希望在函数名和菜单项命令名之间有直观的、名字上的关系。那么下面的代码就非常实用:
struct commandCOMMAND宏在这里充当一个代码生成器的作用,这样可以在一定程度上减少代码密度,间接地也可以减少不留心所造成的错误。我们还可以n个##符号连接 n+1个Token,这个特性也是#符号所不具备的。比如:
{
char * name;
void (*function) (void);
};
#define COMMAND(NAME) { NAME, NAME ## _command }
// 然后你就用一些预先定义好的命令来方便的初始化一个command结构的数组了:
struct command commands[] = {
COMMAND(quit),
COMMAND(help),
...
}
#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;
#define myprintf(templt,...) fprintf(stderr,templt,__VA_ARGS__)第一个宏中由于没有对变参起名,我们用默认的宏__VA_ARGS__来替代它。第二个宏中,我们显式地命名变参为args,那么我们在宏定 义中就可以用args来代指变参了。同C语言的stdcall一样,变参必须作为参数表的最有一项出现。当上面的宏中我们只能提供第一个参数templt 时,C标准要求我们必须写成:
// 或者
#define myprintf(templt,args...) fprintf(stderr,templt,args)
myprintf(templt,);的形式。这时的替换过程为:
myprintf("Error!\n",);这是一个语法错误,不能正常编译。这个问题一般有两个解决方法。首先,GNU CPP提供的解决方法允许上面的宏调用写成:
替换为:
fprintf(stderr,"Error!\n",);
myprintf(templt);而它将会被通过替换变成:
fprintf(stderr,"Error!\n",);很明显,这里仍然会产生编译错误(非本例的某些情况下不会产生编译错误)。除了这种方式外,c99和GNU CPP都支持下面的宏定义方式:
#define myprintf(templt, ...) fprintf(stderr,templt, ##__VAR_ARGS__)这时,##这个连接符号充当的作用就是当__VAR_ARGS__为空的时候,消除前面的那个逗号。那么此时的翻译过程如下:
myprintf(templt);这样如果templt合法,将不会产生编译错误。 这里列出了一些宏使用中容易出错的地方,以及合适的使用方式。
被转化为:
fprintf(stderr,templt);
#define ceil_div(x, y) (x + y - 1) / y那么
a = ceil_div( b & c, sizeof(int) );将被转化为:
a = ( b & c + sizeof(int) - 1) / sizeof(int);这显然不是调用者的初衷。为了避免这种情况发生,应当多写几个括号:
// 由于+/-的优先级高于&的优先级,那么上面式子等同于:
a = ( b & (c + sizeof(int) - 1)) / sizeof(int);
#define ceil_div(x, y) (((x) + (y) - 1) / (y))
MY_MACRO(x);但是如果是下面的情况:
#define MY_MACRO(x) { \这样会由于多出的那个分号产生编译错误。为了避免这种情况出现同时保持MY_MACRO(x);的这种写法,我们需要把宏定义为这种形式:
/* line 1 */ \
/* line 2 */ \
/* line 3 */ }
//...
if (condition())
MY_MACRO(a);
else
{...}
#define MY_MACRO(x) do {这样只要保证总是使用分号,就不会有任何问题。
/* line 1 */ \
/* line 2 */ \
/* line 3 */ } while(0)
#define min(X,Y) ((X) > (Y) ? (Y) : (X))这时foo()函数就被调用了两次。为了解决这个潜在的问题,我们应当这样写min(X,Y)这个宏:
//...
c = min(a,foo(b));
#define min(X,Y) ({ \({...})的作用是将内部的几条语句中最后一条的值返回,它也允许在内部声明变量(因为它通过大括号组成了一个局部Scope)。
typeof (X) x_ = (X); \
typeof (Y) y_ = (Y); \
(x_ < y_) ? x_ : y_; })