内核代码宏中 do{...}while(0) 的作用

在内核空间非常有限的情况下，为什么还要在某些宏里增加 do{...}while(0) 这种“没用”的代码行呢？

    带参数的宏定义的一般形式为：   

             #define   <宏名>(<参数表>)    <宏体>

    <宏名>：一个标识符

    <参数表>：参数可以是一个或多个。多个参数之间用逗号分隔

    <宏体>：被替换用的字符串，字符串是由参数表中的各个参数组成的一个或多个表达式

    *宏体在调用处直接展开

     eg：#define  N  2+3

            int main ()

            {

                  int n;

                  n = N*2;

                  printf ("%d", n);

                  return 0;

            }

           答案为8 (2+3*2=8)

  假设有这样一个宏定义：

              #define exch(x,y) int tmp; tmp=x; x=y; y=tmp;

  当我们这样用的时候：

             if (x > y) 

                exch(x,y);     

          else 

               do_something();        

                                                                                                   根据宏的用法，可得：

          if (x > y) 

               int tmp; 

               tmp = x;

               x = y; 

               y = tmp; 

          ;                            // empty statement 

         else 

              do_something();

   此时，语句tem = x; x = y; y = tmp;明显不在if代码块内。 

如果直接在宏定义处加上{},即：

        #define exch(x,y) { int tmp; tmp=x; x=y; y=tmp; }

那确实是解决了上面的问题，可是还会出现新的问题：

       if (x > y)

       { 

             int tmp; 

             tmp = x; 

             x = y;

             y = tmp;

       };                            // empty statement

       else 

            do_something();

  error: ‘else’ without a previous ‘if’

  else 前面的 ；表明之前已经是一个（段）完整的语句了，那么接下来直接用 else 就有语法错误了

 但是用上 do{...}while(0) 之后：

        if (x > y) 

             do { 

                     int tmp;

                     tmp = x; 

                     x = y; 

                     y = tmp; 

                  } while(0); 

        else 

                   do_something();

  为了尽量避免错误，使用do{….}while(0)  把代码块包裹起来，成为一个独立的语法单元，从而不会与上下文发生混   淆。绝大多数的编译器都能够识别do{…}while(0)并进行优化，所以使用这种方法也不会导致程序的性能降低。