使用宏的注意事项

声明：不想看过程的可以直接看最后总结

1、优先级问题

  1) 传入变量优先级

    #define MULTI(a,b) a * b

   MULTI(1+2,3)   => 1 + 2 * 3 其实是想要(1 + 2) * 3

  2) 作为值返回时，类似1）

   #define ADD(a,b) (a) + (b)

   int c = ADD(a,b) * 3; => (a) + (b) * 3  其实是想要(a + b) * 3

 所以，一般的规则是：

宏里面参数全部用括号括起来；如果作为值返回，整个表达式也用括号括起来。

 所以，上面最好这么写：

    #define MULTI(a,b) ((a) * (b))

    #define ADD(a,b)  ((a) + (b))

2、实际使用参数和宏内部变量同名

   #define HASH(str,sz,rst) do{unsigned int n = 0; n = xxx; rst = n % sz;}while(0)

 这是一个hash的宏实现，其中定义了一个临时变量n，根据str计算n，然后对sz求模并把返回值赋给传进来的rst.

 这么调用：

   int n;

   HASH("hello",7,n);

 不会达到改变n的效果，因为实际使用参数n和宏内部的变量n同名。宏扩展中最后一条语句是：n = n % sz;因为宏内部n有更小作 用域，实际赋值的是宏内部的那个临时变量n。外面调用的n不会有任何改变。

 这个副作用有些隐蔽，一般的规则是：宏内部变量使用一种不同风格的命名方式。

 比如：

   #define HASH(str,sz,rst)  do{unsigned int __n = 0; __n = ...

3、++,--

   #define MAX(a,b)  ((a) > (b) ? (a) : (b))

   int a = 3,b = 2;

    int c = MAX(a++,b);

结果：

 

/***********************************************

补充：

int max(int a, int b)
{
cout << "max a = " << a << endl;
return a > b ? a : b;
}

int a = 3, b = 2;
//a在用完后才加
int c = max(a++, b);

结果：

**********************************************/

其实 宏内部一个变量"执行"多少次，它就自增或自减了多少次。

int a = 3, b = 2;
//int c = MAX(a++, b);
int c = a++ > b ? a++ : b;

结果一样：

所以：一般使用宏最好不要传入自增自减。如果你一定要在宏里消除这个副作用，可以这样：

   #define MAX(a,b)  ({int __x = (a), __y = (b);(__x > __y) ? __x : __y;})

 也就是：保证传入宏的参数在内部只使用一次。(注意：传入a++或++a都能得到各自正确的效果)

 这里的内部变量__x,__y是不需要用括号包起来的，原因可以自己想想。

 另外对宏中括号的使用补充说明两点：

  因为宏中定义了临时变量，所以要用{}括起来；

  因为要返回值，所以外面还要用()括起来({}不返回值)；

 另外，这里还有一个问题：实际中a,b不一定是int的，这个宏中的临时变量声明为int，不通用。

 改进：

   #define MAX(a,b,type) ({type __x = (a), __y = (b);(__x > __y) ? __x : __y;})

 使用：

   MAX(1,2,int);  MAX(1.1,1.2,double);

总结：

使用宏时：

1.  宏里面参数全部用括号括起来；如果作为值返回，整个表达式也用括号括起来。

2.  宏中定义了临时变量，要用{}括起来，外面再用（）括起。

3.  宏内部变量使用一种不同风格的命名方式 eg：_a 

4.  一般使用宏最好不要传入自增自减，若要用临时变量存储

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/pingnning/archive/2009/10/28/4737129.aspx