宏定义中的特殊参数(#、##、...和__VA_ARGS__)

参考：http://blog.youkuaiyun.com/cqupt_chen/article/details/8055215

最近在android的某个代码的头文件中发现很多__VA_ARGS__,google一下.还是比较有用.附带其它宏定义参数,一起记录之.

1.    ...和__VA_ARGS__

看看msdn上给得例子吧

[cpp]  view plain  copy

1. #include <stdio.h>  
2. #define EMPTY  
3.   
4. #define CHECK1(x, ...) if (!(x)) { printf(__VA_ARGS__); }  
5. #define CHECK2(x, ...) if ((x)) { printf(__VA_ARGS__); }  
6. #define CHECK3(...) { printf(__VA_ARGS__); }  
7. #define MACRO(s, ...) printf(s, __VA_ARGS__)  
8.   
9. int main() {  
10.     CHECK1(0, "here %s %s %s", "are", "some", "varargs1(1)\n");  
11.     CHECK1(1, "here %s %s %s", "are", "some", "varargs1(2)\n");   // won't print  
12.       
13.     CHECK2(0, "here %s %s %s", "are", "some", "varargs2(3)\n");   // won't print  
14.     CHECK2(1, "here %s %s %s", "are", "some", "varargs2(4)\n");  
15.       
16.     // always invokes printf in the macro  
17.     CHECK3("here %s %s %s", "are", "some", "varargs3(5)\n");  
18.       
19.     MACRO("hello, world\n");  
20.     // MACRO("error\n", EMPTY);   would cause C2059  
21. }  

我们看看输出:

here are some varargs1(1)
here are some varargs2(4)
here are some varargs3(5)
hello, world

是不是很有趣,以后我们如果在一些情况下要定义自己的打印函数就特别方便了

比如我们要在A条件成立,且B条件不成立的情况下打印输出

可以做如下定义:

[cpp]  view plain  copy

1. #define CHECK1(A,B,...) if ((A)&&!(B)) { printf(__VA_ARGS__); }  // ... 用 __VA_ARGS__ 来代替

记住一点...只能代替后面的参数,如下定义可行不通:

[cpp]  view plain  copy

1. #define W(x,...,y)  

是不是很像C++的函数的默认参数一样.

宏中"#"和"##"的用法

一、一般用法 
我们使用#把宏参数变为一个字符串,用##把两个宏参数贴合在一起. 
用法: 
#include<cstdio> 
#include<climits> 
using namespace std; 
#define STR(s)     #s 
#define CONS(a,b)  int(a##e##b) 

int main() 
{ 
    printf(STR(vck));           // 输出字符串"vck" 
    printf("%d ", CONS(2,3));  // 2e3 输出:2000 
    return 0; 
} 
二、当宏参数是另一个宏的时候 
需要注意的是凡宏定义里有用'#'或'##'的地方宏参数是不会再展开.
1, 非'#'和'##'的情况 
#define TOW      (2) 
#define MUL(a,b) (a*b) 
printf("%d*%d=%d ", TOW, TOW, MUL(TOW,TOW)); 
这行的宏会被展开为： 
printf("%d*%d=%d ", (2), (2), ((2)*(2))); 
MUL里的参数TOW会被展开为(2). 

2, 当有'#'或'##'的时候 
#define A          (2) 
#define STR(s)     #s 
#define CONS(a,b)  int(a##e##b) 
printf("int max: %s",  STR(INT_MAX));    // INT_MAX #include<climits>
这行会被展开为： 
printf("int max: %s", "INT_MAX"); 
printf("%s", CONS(A, A));               // compile error 
这一行则是： 
printf("%s", int(AeA)); 
INT_MAX和A都不会再被展开, 然而解决这个问题的方法很简单. 加多一层中间转换宏. 
加这层宏的用意是把所有宏的参数在这层里全部展开, 那么在转换宏里的那一个宏(_STR)就能得到正确的宏参数. 
#define A           (2)
#define _STR(s)     #s 
#define STR(s)      _STR(s)          // 转换宏 
#define _CONS(a,b)  int(a##e##b) 
#define CONS(a,b)   _CONS(a,b)       // 转换宏 
printf("int max: %s", STR(INT_MAX));          // INT_MAX,int型的最大值，为一个变量 #include<climits>
输出为: int max: 0x7fffffff 
STR(INT_MAX) -->  _STR(0x7fffffff) 然后再转换成字符串； 
printf("%d", CONS(A, A)); 
输出为：200CONS(A, A)  -->  _CONS((2), (2))  --> int((2)e(2))

三、'#'和'##'的一些应用特例 
1、合并匿名变量名 
#define  ___ANONYMOUS1(type, var, line)  type  var##line
#define  __ANONYMOUS0(type, line)  ___ANONYMOUS1(type, _anonymous, line)
#define  ANONYMOUS(type)  __ANONYMOUS0(type, __LINE__)
例：ANONYMOUS(static int);  即: static int _anonymous70;  70表示该行行号； 
第一层：ANONYMOUS(static int);  -->  __ANONYMOUS0(static int, __LINE__);
第二层：                        -->  ___ANONYMOUS1(static int, _anonymous, 70);
第三层：                        -->  static int  _anonymous70;
即每次只能解开当前层的宏，所以__LINE__在第二层才能被解开； 
2、填充结构 
#define  FILL(a)   {a, #a} 
enum IDD{OPEN, CLOSE}; 
typedef struct MSG{ 
  IDD id; 
  const char * msg; 
}MSG; 

MSG _msg[] = {FILL(OPEN), FILL(CLOSE)}; 
相当于： 
MSG _msg[] = {{OPEN, "OPEN"}, 
              {CLOSE, "CLOSE"}};

3、记录文件名 
#define  _GET_FILE_NAME(f)   #f 
#define  GET_FILE_NAME(f)    _GET_FILE_NAME(f) 
static char  FILE_NAME[] = GET_FILE_NAME(__FILE__); 

4、得到一个数值类型所对应的字符串缓冲大小 
#define  _TYPE_BUF_SIZE(type)  sizeof #type 
#define  TYPE_BUF_SIZE(type)   _TYPE_BUF_SIZE(type) 
char  buf[TYPE_BUF_SIZE(INT_MAX)]; 
     -->  char  buf[_TYPE_BUF_SIZE(0x7fffffff)];
     -->  char  buf[sizeof "0x7fffffff"];
这里相当于： 
char  buf[11];

使用#把宏参数变为一个字符串,用##把两个宏参数贴合在一起

2.   #

这个特殊的宏定义参数也特别有用.#作为一个预处理运算符,它可以把语言符号字符串化(stringizing).例如我们定义的变量等.

看一个简单的例子:

[cpp]  view plain  copy

1. #include <stdio.h>  
2. #define TEST(x) printf("square of  " #x " is %d.\n",(x)*(x))  
3. void main()  
4. {  
5.     int y =4;  
6.     TEST(y);  
7.     TEST(6-3);  
8.     TEST(y+3);  
9. }  

输出结果:

[cpp]  view plain  copy

1. square of  y is 16.  
2. square of  6-3 is 9.  
3. square of  y+3 is 49.  

3.   ##

##运算符可以用于类函数宏的替换部分.##还可以用于类对象宏的替换部分.这个运算符可以把两个语言符号组合成单个语言符号.

例如:

[cpp]  view plain  copy

1. #define XNAME(n) x##n  
2. 执行宏调用:  
3. int XNAME(4)  
4. 展开后:  
5. x4;//相当于直接定义 int x4 这里也就体现了两个语言符号的拼接.不过在android经常看到有关##拼接语言符号的情况.  

20，宏定义防止使用是错误 
用小括号包含。 
例如：#define ADD(a,b) （a+b） 
用do{}while(0)语句包含多语句防止错误 
例如：#difne DO(a,b) a+b;\ 
                   a++;
应用时：if(….) 
          DO(a,b); //产生错误 
        else 
解决方法: #difne DO(a,b) do{a+b;\ 
                   a++;}while(0)

 

宏中"#"和"##"的用法

一、一般用法 
我们使用#把宏参数变为一个字符串,用##把两个宏参数贴合在一起. 
用法: 
#include<cstdio> 
#include<climits> 
using namespace std; 
#define STR(s)     #s 
#define CONS(a,b)  int(a##e##b) 

int main() 
{ 
    printf(STR(vck));           // 输出字符串"vck" 
    printf("%d ", CONS(2,3));  // 2e3 输出:2000 
    return 0; 
} 
二、当宏参数是另一个宏的时候 
需要注意的是凡宏定义里有用'#'或'##'的地方宏参数是不会再展开.
1, 非'#'和'##'的情况 
#define TOW      (2) 
#define MUL(a,b) (a*b) 
printf("%d*%d=%d ", TOW, TOW, MUL(TOW,TOW)); 
这行的宏会被展开为： 
printf("%d*%d=%d ", (2), (2), ((2)*(2))); 
MUL里的参数TOW会被展开为(2). 

2, 当有'#'或'##'的时候 
#define A          (2) 
#define STR(s)     #s 
#define CONS(a,b)  int(a##e##b) 
printf("int max: %s",  STR(INT_MAX));    // INT_MAX #include<climits>
这行会被展开为： 
printf("int max: %s", "INT_MAX"); 
printf("%s", CONS(A, A));               // compile error 
这一行则是： 
printf("%s", int(AeA)); 
INT_MAX和A都不会再被展开, 然而解决这个问题的方法很简单. 加多一层中间转换宏. 
加这层宏的用意是把所有宏的参数在这层里全部展开, 那么在转换宏里的那一个宏(_STR)就能得到正确的宏参数. 
#define A           (2)
#define _STR(s)     #s 
#define STR(s)      _STR(s)          // 转换宏 
#define _CONS(a,b)  int(a##e##b) 
#define CONS(a,b)   _CONS(a,b)       // 转换宏 
printf("int max: %s", STR(INT_MAX));          // INT_MAX,int型的最大值，为一个变量 #include<climits>
输出为: int max: 0x7fffffff 
STR(INT_MAX) -->  _STR(0x7fffffff) 然后再转换成字符串； 
printf("%d", CONS(A, A)); 
输出为：200CONS(A, A)  -->  _CONS((2), (2))  --> int((2)e(2))

三、'#'和'##'的一些应用特例 
1、合并匿名变量名 
#define  ___ANONYMOUS1(type, var, line)  type  var##line
#define  __ANONYMOUS0(type, line)  ___ANONYMOUS1(type, _anonymous, line)
#define  ANONYMOUS(type)  __ANONYMOUS0(type, __LINE__)
例：ANONYMOUS(static int);  即: static int _anonymous70;  70表示该行行号； 
第一层：ANONYMOUS(static int);  -->  __ANONYMOUS0(static int, __LINE__);
第二层：                        -->  ___ANONYMOUS1(static int, _anonymous, 70);
第三层：                        -->  static int  _anonymous70;
即每次只能解开当前层的宏，所以__LINE__在第二层才能被解开； 
2、填充结构 
#define  FILL(a)   {a, #a} 
enum IDD{OPEN, CLOSE}; 
typedef struct MSG{ 
  IDD id; 
  const char * msg; 
}MSG; 

MSG _msg[] = {FILL(OPEN), FILL(CLOSE)}; 
相当于： 
MSG _msg[] = {{OPEN, "OPEN"}, 
              {CLOSE, "CLOSE"}};

3、记录文件名 
#define  _GET_FILE_NAME(f)   #f 
#define  GET_FILE_NAME(f)    _GET_FILE_NAME(f) 
static char  FILE_NAME[] = GET_FILE_NAME(__FILE__); 

4、得到一个数值类型所对应的字符串缓冲大小 
#define  _TYPE_BUF_SIZE(type)  sizeof #type 
#define  TYPE_BUF_SIZE(type)   _TYPE_BUF_SIZE(type) 
char  buf[TYPE_BUF_SIZE(INT_MAX)]; 
     -->  char  buf[_TYPE_BUF_SIZE(0x7fffffff)];
     -->  char  buf[sizeof "0x7fffffff"];
这里相当于： 
char  buf[11];