DSB2510的专栏

在浑噩的生活中寻找一丝清醒~!

宏定义的一些使用技巧总结

 我在写代码的时候喜欢使用宏,不仅使代码看起来整洁,而且用好了还能极大的减轻编码的工作量,但是如果 使用不当的话,出了问题查找起来就就非常的难了,下面的总结大部分是从网上看到的,也有一些是我自己在工作中总结出来的。

宏使用中的常见的基础问题
1. 防止一个头文件被重复包含
   #ifndef BODYDEF_H
   #define BODYDEF_H
   //头文件内容
   #endif

2. 重新定义一些类型,防止由于各种平台和编译器的不同,而产生的类型字节数差异,方便移植。
   typedef  unsigned char      boolean;     /* Boolean type. */
   typedef  unsigned long      uint32;      /* Unsigned 32 bit */
   typedef  unsigned short     uint16;      /* Unsigned 16 bit */
   typedef  unsigned char      uint8;       /* Unsigned 8  bit */
   typedef  signed long int    int32;       /* Signed 32 bit */
   typedef  signed short       int16;       /* Signed 16 bit */
   typedef  signed char        int8;        /* Signed 8  bit */

   //下面的不建议使用
   typedef  unsigned char     byte;         /* Unsigned 8  bit type. */
   typedef  unsigned short    word;         /* Unsinged 16 bit type. */
   typedef  unsigned long     dword;        /* Unsigned 32 bit type. */
   typedef  unsigned char     uint1;        /* Unsigned 8  bit type. */
   typedef  unsigned short    uint2;        /* Unsigned 16 bit type. */
   typedef  unsigned long     uint4;        /* Unsigned 32 bit type. */
   typedef  signed char       int1;         /* Signed 8  bit type. */
   typedef  signed short      int2;         /* Signed 16 bit type. */
   typedef  long int          int4;         /* Signed 32 bit type. */
   typedef  signed long       sint31;       /* Signed 32 bit */
   typedef  signed short      sint15;       /* Signed 16 bit */
   typedef  signed char       sint7;        /* Signed 8  bit */

3. 得到指定地址上的一个字节或字
   #define  MEM_B(x)  (*((uint8*)(x)))
   #define  MEM_W(x)  (*((uint16*)(x)))

4. 得到一个field在结构体(struct)中的偏移量
   #define FPOS(type,field) ((uint32) &((type *)0)->field)

5. 得到一个结构体中field所占用的字节数
   #define FSIZ(type,field) sizeof(((type *)0)->field)

6. 求最大值和最小值
   #define  MAX(x,y) (((x)>(y))?(x):(y))
   #define  MIN(x,y) (((x)<(y))?(x):(y))

7. 得到一个变量的地址
   #define  B_PTR(var)  ((byte *) (void *) &(var))
   #define  W_PTR(var)  ((word *) (void *) &(var))

8. 按照LSB格式把两个字节转化为一个Word
   #define  FLIPW(ray) ((((word) (ray)[0]) * 256) + (ray)[1])

9. 按照LSB格式把一个Word转化为两个字节
   #define  FLOPW( ray, val ) /
      (ray)[0] = ((val) / 256); /
      (ray)[1] = ((val) & 0xFF)

10.得到一个字的高位和低位字节
   #define  WORD_LO(***)  ((byte) ((word)(***) & 0xFF))
   #define  WORD_HI(***)  ((byte) ((word)(***) >> 8))

11.将一个字母转换为大写
   #define  UPCASE(c) (((c) >= 'a' && (c) <= 'z') ? ((c) - 0x20) : (c))

12.判断字符是不是10进值的数字
   #define  DECCHK(c) ((c) >= '0' && (c) <= '9')

13.判断字符是不是16进值的数字
   #define  HEXCHK(c) (((c) >= '0' && (c) <= '9') || /
                       ((c) >= 'A' && (c) <= 'F') || /
                       ((c) >= 'a' && (c) <= 'f'))

14.防止溢出的一个方法
   #define  INC_SAT(val)  (val = ((val)+1 > (val)) ? (val)+1 : (val))

15.返回数组元素的个数
   #define  ARR_SIZE(a)  (sizeof((a)) / sizeof((a[0])))

16.返回一个比X大的最接近的8的倍数
   #define RND8(x) ((((x) + 7) / 8 ) * 8)

17.返回一个无符号数n尾的值MOD_BY_POWER_OF_TWO(X,n)=X%(2^n)
   #define MOD_BY_POWER_OF_TWO(val, mod_by) /
            ((dword)(val) & (dword)((mod_by)-1))

18.对于IO空间映射在存储空间的结构,输入输出处理
   #define inp(port)         (*((volatile byte *) (port)))
   #define inpw(port)        (*((volatile word *) (port)))
   #define inpdw(port)       (*((volatile dword *)(port)))
   #define outp(port, val)   (*((volatile byte *) (port)) = ((byte) (val)))
   #define outpw(port, val)  (*((volatile word *) (port)) = ((word) (val)))
   #define outpdw(port, val) (*((volatile dword *) (port)) = ((dword) (val)))

19.使用一些宏跟踪调试
   ANSI标准说明了五个预定义的宏名。它们是:
   __LINE__   (两个下划线),对应%d
   __FILE__   对应%s
   __DATE__   对应%s
   __TIME__   对应%s
   __STDC__

   如果编译不是标准的,则可能仅支持以上宏名中的几个,或根本不支持。记住编译程序也许还提供其它预定义的宏名。
   __LINE__宏指令表示当前指令所在的行,是个整型数
   __FILE__宏指令表示当前指令所在文件,包含完整路径
   __DATE__宏指令含有形式为月/日/年的串,表示源文件被翻译到代码时的日期。
   __TIME__宏指令包含源代码翻译到目标代码的时间。串形式为时:分:秒。
   如果实现是标准的,则宏__STDC__含有十进制常量1。如果它含有任何其它数,则实现是非标准的。

   可以定义宏,例如:
   当定义了_DEBUG,输出数据信息和所在文件所在行
   #ifdef _DEBUG
       #define DEBUGMSG(msg,date) printf(msg);printf("%d%d%d",date,_LINE_,_FILE_)
   #else
       #define DEBUGMSG(msg,date)
   #endif

20.宏定义防止使用时错误
   用小括号包含。

   例如:#define ADD(a,b) (a+b)
   用do{}while(0)语句包含多语句防止错误

   例如:#define DO(a,b)      /
                   a+b;        /
                   a++;
   应用时:if(...)
             O(a,b); //产生错误
           else

   解决方法: #difne DO(a,b)       /
                 do{              /
                    a+b;          /
                    a++;          /
                 }while(0)


宏中"#"和"##"的用法
在C语言的宏中,#的功能是将其后面的宏参数进行字符串化操作(Stringfication),简单 说就是在对它所引用的宏变量通过替换后在其左右各加上一个双引号。
而##被称为连接符(concatenator),用来将两个Token连接为 一个Token.注意这里连接的对象是Token就行,而不一定是宏的变量。
1. 一般用法
   我们使用#把宏参数变为一个字符串,用##把两个宏参数贴合在一起.
   #include <stdio.h>
   #include <stdLib.h>

   #define STR(s)     #s
   #define CONS(a,b)  int(a##e##b)

   int main()
   {
       Printf(STR(vck));           // 输出字符串"vck"
       printf("%d/n", CONS(2,3));  // 2e3 输出:2000
       return 0;
   }

2. 当宏参数是另一个宏的时候
   需要注意的是凡宏定义里有用"#"或"##"的地方宏参数是不会再展开.
(1)非'#'和 '##'的情况
   #define TOW      (2)
   #define MUL(a,b) (a*b)

   printf("%d*%d=%d/n", TOW, TOW, MUL(TOW,TOW));
   这行的宏会被展开为:
   printf("%d*%d=%d/n", (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/n",  STR(INT_MAX));    // INT_MAX #include<climits>
   这行会被展开为:
   printf("int max: %s/n", "INT_MAX");

   printf("%s/n", CONS(A,A));               // compile error
   这一行则被展开为:
   printf("%s/n", 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/n", STR(INT_MAX));          // INT_MAX,int型的最大值
   输出为: int max: 0x7fffffff
   STR(INT_MAX) -->  _STR(0x7fffffff) 然后再转换成字符串;

   printf("%d/n", CONS(A, A));
   输出为:200
   CONS(A, A)  -->  _CONS((2), (2))  --> int((2)e(2))


3. "#"和"##"的一些应用特例
(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];

......符号的使用
   ......在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合法,将不会产生编译错误。

   另外,在vxworks中,还可以允许下面的宏定义:

   #define myprintf(arg...)        printf(arg)

   宏的第一个参数就设置为变参,因此下面的几种使用方式都是正确的:

   myprintf("number");
   myprintf("number %d",2);
   myprintf("number %d %d",2,3);

宏使用中的陷阱
   这里列出了一些宏使用中容易出错的地方,以及合适的使用方式。

   错误的嵌套-Misnesting

   宏的定义不一定要有完整的、配对的括号,但是为了避免出错并且提高可读性,最好避免这样使用。

   由操作符优先级引起的问题-Operator Precedence Problem

   由于宏只是简单的替换,宏的参数如果是复合结构,那么通过替换之后可能由于各个参数之间的操作符优先级高于单个参数内部各部分之间相互作用的操作符优先 级,如果我们不用括号保护各个宏参数,可能会产生预想不到的情形。比如:

   #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))

   消除多余的分号-Semicolon Swallowing

   通常情况下,为了使函数模样的宏在表面上看起来像一个通常的C语言调用一样,通常情况下我们在宏的后面加上一个分号,比如下面的带参宏:

   MY_MACRO(x);

   但是如果是下面的情况:

   #define MY_MACRO(x) { /
   /* line 1 */ /
   /* line 2 */ /
   /* line 3 */ }
   //……

   if (condition())
       MY_MACRO(a);
   else
       {......}

   这样会由于多出的那个分号产生编译错误。为了避免这种情况出现同时保持MY_MACRO(x);的这种写法,我们需要把宏定义为这种形式:

   #define MY_MACRO(x) do {   /
   /* line 1 */ /
   /* line 2 */ /
   /* line 3 */ } while(0)

   这样只要保证总是使用分号,就不会有任何问题。

   Duplication of Side Effects

   这里的Side Effect是指宏在展开的时候对其参数可能进行多次Evaluation(也就是取值),但是如果这个宏参数是一个函数,那么就有可能被调用多次从而达 到不一致的结果,甚至会发生更严重的错误。比如:

   #define min(X,Y) ((X) > (Y) ? (Y) : (X))
   //......

   c = min(a,foo(b));

   这时foo()函数就被调用了两次。为了解决这个潜在的问题,我们应当这样写min(X,Y)这个宏:

   #define min(X,Y) ({ /
   typeof (X) x_ = (X); /
   typeof (Y) y_ = (Y); /
   (x_ < y_) ? x_ : y_;})

   ({......})的作用是将内部的几条语句中最后一条的值返回,它也允许在内部声明变量(因为它通过大括号组成了一个局部Scope)。

http://blog.pfan.cn/lingdlz/31278.html

写好C语言,漂亮的宏定义很重要,使用宏定义可以防止出错,提高可移植性,可读性,方便性 等等。下面列举一些成熟软件中常用得宏定义。。。。。。

1,防止一个头文件被重复包含

#ifndef COMDEF_H

#define COMDEF_H

  //头文件内容

#endif

2,重新定义一些类型,防止由于各种平台和编译器的不同,而产生的类型字节数差异,方便移植。

typedef  unsigned char      boolean;     /* Boolean value type. */

typedef  unsigned long int  uint32;      /* Unsigned 32 bit value */

typedef  unsigned short     uint16;      /* Unsigned 16 bit value */

typedef  unsigned char      uint8;       /* Unsigned 8  bit value */

typedef  signed long int    int32;       /* Signed 32 bit value */

typedef  signed short       int16;       /* Signed 16 bit value */

typedef  signed char        int8;        /* Signed 8  bit value */

//下面的不建议使用

typedef  unsigned char     byte;         /* Unsigned 8  bit value type. */

typedef  unsigned short    word;         /* Unsinged 16 bit value type. */

typedef  unsigned long     dword;        /* Unsigned 32 bit value type. */

typedef  unsigned char     uint1;        /* Unsigned 8  bit value type. */

typedef  unsigned short    uint2;        /* Unsigned 16 bit value type. */

typedef  unsigned long     uint4;        /* Unsigned 32 bit value type. */

typedef  signed char       int1;         /* Signed 8  bit value type. */

typedef  signed short      int2;         /* Signed 16 bit value type. */

typedef  long int          int4;         /* Signed 32 bit value type. */

typedef  signed long       sint31;       /* Signed 32 bit value */

typedef  signed short      sint15;       /* Signed 16 bit value */

typedef  signed char       sint7;        /* Signed 8  bit value */

3,得到指定地址上的一个字节或字

#define  MEM_B( x )  ( *( (byte *) (x) ) )

#define  MEM_W( x )  ( *( (word *) (x) ) )

4,求最大值和最小值

   #define  MAX( x, y ) ( ((x) > (y)) ? (x) : (y) )

   #define  MIN( x, y ) ( ((x) < (y)) ? (x) : (y) )

5,得到一个field在结构体(struct)中的偏移量

#define FPOS( type, field ) /

/*lint -e545 */ ( (dword) &(( type *) 0)-> field ) /*lint +e545 */

6,得到一个结构体中field所占用的字节数

#define FSIZ( type, field ) sizeof( ((type *) 0)->field )

7,按照LSB格式把两个字节转化为一个Word

#define  FLIPW( ray ) ( (((word) (ray)[0]) * 256) + (ray)[1] )

8,按照LSB格式把一个Word转化为两个字节

#define  FLOPW( ray, val ) /

  (ray)[0] = ((val) / 256); /

  (ray)[1] = ((val) & 0xFF)

9,得到一个变量的地址(word宽度)

#define  B_PTR( var )  ( (byte *) (void *) &(var) )

#define  W_PTR( var )  ( (word *) (void *) &(var) )

10,得到一个字的高位和低位字节

#define  WORD_LO(***)  ((byte) ((word)(***) & 255))

#define  WORD_HI(***)  ((byte) ((word)(***) >> 8))

11,返回一个比X大的最接近的8的倍数

#define RND8( x )       ((((x) + 7) / 8 ) * 8 )

12,将一个字母转换为大写

#define  UPCASE( c ) ( ((c) >= 'a' && (c) <= 'z') ? ((c) - 0x20) : (c) )

13,判断字符是不是10进值的数字

#define  DECCHK( c ) ((c) >= '0' && (c) <= '9')

14,判断字符是不是16进值的数字

#define  HEXCHK( c ) ( ((c) >= '0' && (c) <= '9') ||/

                       ((c) >= 'A' && (c) <= 'F') ||/

((c) >= 'a' && (c) <= 'f') )

15,防止溢出的一个方法

#define  INC_SAT( val )  (val = ((val)+1 > (val)) ? (val)+1 : (val))

16,返回数组元素的个数

#define  ARR_SIZE( a )  ( sizeof( (a) ) / sizeof( (a[0]) ) )

17,返回一个无符号数n尾的值MOD_BY_POWER_OF_TWO(X,n)=X%(2^n)

#define MOD_BY_POWER_OF_TWO( val, mod_by ) /

           ( (dword)(val) & (dword)((mod_by)-1) )

18,对于IO空间映射在存储空间的结构,输入输出处理

  #define inp(port)         (*((volatile byte *) (port)))

  #define inpw(port)        (*((volatile word *) (port)))

  #define inpdw(port)       (*((volatile dword *)(port)))

  #define outp(port, val)   (*((volatile byte *) (port)) = ((byte) (val)))

  #define outpw(port, val)  (*((volatile word *) (port)) = ((word) (val)))

  #define outpdw(port, val) (*((volatile dword *) (port)) = ((dword) (val)))

[2005-9-9添加]

19,使用一些宏跟踪调试

A N S I标准说明了五个预定义的宏名。它们是:

_ L I N E _

_ F I L E _

_ D A T E _

_ T I M E _

_ S T D C _

如果编译不是标准的,则可能仅支持以上宏名中的几个,或根本不支持。记住编译程序

也许还提供其它预定义的宏名。

_ L I N E _及_ F I L E _宏指令在有关# l i n e的部分中已讨论,这里讨论其余的宏名。

_ D AT E _宏指令含有形式为月/日/年的串,表示源文件被翻译到代码时的日期。

源代码翻译到目标代码的时间作为串包含在_ T I M E _中。串形式为时:分:秒。

如果实现是标准的,则宏_ S T D C _含有十进制常量1。如果它含有任何其它数,则实现是

非标准的。

可以定义宏,例如:

当定义了_DEBUG,输出数据信息和所在文件所在行

#ifdef _DEBUG

#define DEBUGMSG(msg,date) printf(msg);printf(“%d%d%d”,date,_LINE_,_FILE_)

#else

      #define DEBUGMSG(msg,date)

#endif

20,宏定义防止使用是错误

用小括号包含。

例如:#define ADD(a,b) (a+b)

用do{}while(0)语句包含多语句防止错误

例如:#difne DO(a,b) a+b;/

                   a++;

应用时:if(….)

          DO(a,b); //产生错误

        else

C语言中如何使用宏
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合法,将不会产生编译错误。

       宏是如何解释的

宏在日常编程中的常见使用

宏使用中的陷阱

这里列出了一些宏使用中容易出错的地方,以及合适的使用方式。

       错误的嵌套-Misnesting
宏的定义不一定要有完整的、配对的括号,但是为了避免出错并且提高可读性,最好避免这样使 用。

由操作符优先级引起的问题-Operator Precedence Problem
由于宏只是简单的替换,宏的参数如果是复合结构,那么 通过替换之后可能由于各个参数之间的操作符优先级高于单个参数内部各部分之间相互作用的操作符优先级,如果我们不用括号保护各个宏参数,可能会产生预想不 到的情形。比如:
#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))

消除多余的分号-Semicolon Swallowing
通常情况下,为了使函数模样的宏在表面上看起来像一个通常的C语言调用一样,通 常情况下我们在宏的后面加上一个分号,比如下面的带参宏:
MY_MACRO(x);
但是如果是下面的情况:
#define MY_MACRO(x) { /
      /* line 1 */ /
      /* line 2 */ /
      /* line 3 */ }
      //...
if (condition())
      MY_MACRO(a);
else
      {...}
这样会由于多出的那个分号产生编译错误。为了避免这种情况出现同时保持MY_MACRO(x);的这种写法,我们需要把宏定义为这种 形式:
#define MY_MACRO(x) do {
      /* line 1 */ /
      /* line 2 */ /
      /* line 3 */ } while(0)
这样只要保证总是使用分号,就不会有任何问题。

       Duplication of Side Effects
这里的Side Effect是指宏在展开的时候对其参数可能进行多次Evaluation(也就是取值),但是如果这个宏参数是一个函数,那么就有可能被调用多次从而达 到不一致的结果,甚至会发生更严重的错误。比如:
#define min(X,Y) ((X) > (Y) ? (Y) : (X))
//...
c = min(a,foo(b));
这时foo()函数就被调用了两次。为了解决这个潜在的问题,我们应当这样写min(X,Y)这个宏:
#define min(X,Y) ({ /
      typeof (X) x_ = (X); /
      typeof (Y) y_ = (Y); /
      (x_ < y_) ? x_ : y_; })
({...})的作用是将内部的几条语句中最后一条的值 返回,它也允许在内部声明变量(因为它通过大括号组成了一个局部Scope)。

补充:

1、#define

命令#define定义了一个标识符及一个串。在源程序中每次遇到该标识符时,均以定义的串代换它。ANSI标准将标识符定义为宏名,将替换过程称 为宏
替换。命令的一般形式为:

#define identifier string

注意:

? 该语句没有分号。在标识符和串之间可以有任意个空格,串一旦开始,仅由一新行结束。

? 宏名定义后,即可成为其它宏名定义中的一部分。

? 宏替换仅仅是以文本串代替宏标识符,前提是宏标识符必须独立的识别出来,否则不进行替换。例如: #define XYZ
this is a test,使用宏printf("XYZ");//该段不打印"this is a test"而打印"XYZ"。因为预编译器识
别 出的是"XYZ"

? 如果串长于一行,可以在该行末尾用一反斜杠' /'续行。


2、#error

处理器命令#error强迫编译程序停止编译,主要用于程序调试。


3、#i nclude

命令#i nclude使编译程序将另一源文件嵌入带有#i nclude的源文件,被读入的源文件必须用双引号或尖括号括起来。例如:

#i nclude"stdio.h"或者#i nclude

这两行代码均使用C编译程序读入并编译用于处理磁盘文件库的子程序。

将文件嵌入#i nclude命令中的文件内是可行的,这种方式称为嵌套的嵌入文件,嵌套层次依赖于具体实现。

如果显式路径名为文件标识符的一部分,则仅在哪些子目录中搜索被嵌入文件。否则,如果文件名用双引号括起来,则首先检索当前工作目录。如果未发现文 件,
则在命令行中说明的所有目录中搜索。如果仍未发现文件,则搜索实现时定义的标准目录。

如果没有显式路径名且文件名被尖括号括起来,则首先在编译命令行中的目录内检索。

如果文件没找到,则检索标准目录,不检索当前工作目录。

4、条件编译命令


有几个命令可对程序源代码的各部分有选择地进行编译,该过程称为条件编译。商业软件公司广泛应用条件编译来提供和维护某一程序的许多顾客版 本。

#if、#else,#elif及#endif

#if的一般含义是如果#if后面的常量表达式为true,则编译它与#endif之间的代码,否则跳过这些代码。命令#endif标识一个#if 块的
结束。

#if constant-expression

statement sequence

#endif

跟在#if后面的表达式在编译时求值,因此它必须仅含常量及已定义过的标识符,不可使用变量。表达式不许含有操作符sizeof(sizeof也是 编译
时求值)。

#else命令的功能有点象C语言中的else;#else建立另一选择(在#if失败的情况下)。

注意,# else属于# if块。

#elif命令意义与ELSE IF 相同,它形成一个if else-if阶梯状语句,可进行多种编译选择。

#elif 后跟一个常量表达式。如果表达式为true,则编译其后的代码块,不对其它#elif表达式进行测试。否则,顺序测试下一块。

#if expression

statement sequence

#elif expression1

statement sequence

#endif

在嵌套的条件编译中#endif、#else或#elif与最近#if或#elif匹配。

# ifdef 和# ifndef

条件编译的另一种方法是用#ifdef与#ifndef命令,它们分别表示"如果有定义"及"如果无定义"。

# ifdef的一般形式是:

# ifdef macroname

statement sequence

#endif
#ifdef与#ifndef可以用于#if、#else,#elif语句中,但必须与一个#endif。

5、#undef

命令#undef 取消其后那个前面已定义过有宏名定义。一般形式为:

#undef macroname

6、#line


命令# line改变__LINE__与__FILE__的内容,它们是在编译程序中预先定义的标识符。命令的基本形式如下:

# line number["filename"]

其中的数字为任何正整数,可选的文件名为任意有效文件标识符。行号为源程序中当前行号,文件名为源文件的名字。命令# line主要用于调试及其它特殊
应用。

注意:在#line后面的数字标识从下一行开始的数字标识。

7、预定义的宏名

ANSI标准说明了C中的五个预定义的宏名。它们是:

__LINE__

__FILE__

__DATE__

__TIME__

__STDC__

如果编译不是标准的,则可能仅支持以上宏名中的几个,或根本不支持。记住编译程序也许还提供其它预定义的宏名。

__LINE__及__FILE__宏指令在有关# line的部分中已讨论,这里讨论其余的宏名。

__DATE__宏指令含有形式为月/日/年的串,表示源文件被翻译到代码时的日期。

源代码翻译到目标代码的时间作为串包含在__TIME__中。串形式为时:分:秒。

如果实现是标准的,则宏__STDC__含有十进制常量1。如果它含有任何其它数,则实现是非标准的。编译C++程序时,编译器自动定义了一个预处 理名
字__cplusplus,而编译标准C时,自动定义名字__STDC__。

注意:宏名的书写由标识符与两边各二条下划线构成。

8、C、C++宏体中出现的#,#@,##

宏体中,#的功能是将其后面的宏参数进行字符串化操作(Stringfication),简单说就是在对它所引用的宏变量通过替换后在其左右各加上 一个
双引号。

而##被称为连接符(concatenator),用来将两个Token连接为一个Token。注意这里连接的对象是Token就行,而不一定是宏 的变
量。比如你要做一个菜单项命令名和函数指针组成的结构体的数组,并且希望在函数名和菜单项命令名之间有直观的、名字上的关系。那就可以使 用:宏参数##
固定部分。当然还可以n个##符号连接 n+1个Token,这个特性也是#符号所不具备的。

#@的功能是将其后面的宏参数进行字符化。

9、C宏中的变参...

...在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合法,将不会产生编译错误。

10、#pragma的使用【转载】

在所有的预处理指令中,#Pragma 指令可能是最复杂的了,它的作用是设定编译器的状态或者是指示编译器完成一些特定的动作。#pragma指令对
每个编译器给出了一个方法,在保 持与C和C ++语言完全兼容的情况下,给出主机或操作系统专有的特征。依据定义,编译指示是机器或操作系统专有的,且
对于每个编译器都是不同 的。


其格式一般为: #Pragma Para,其中Para 为参数,下面来看一些常用的参数。


(1)message 参数。 Message 参数是我最喜欢的一个参数,它能够在编译信息输出窗口中输出相应的信息,这对于源代码信息的控制是非常
重要的。其使用方法为:

#Pragma message("消息文本")


当编译器遇到这条指令时就在编译输出窗口中将消息文本打印出来。

当我们在程序中定义了许多宏来控制源代码版本的时候,我们自己有可能都会忘记有没有正确的设置这些宏,此时我们可以用这条指令在编译的时候就进行检 查。
假设我们希望判断自己有没有在源代码的什么地方定义了_X86这个宏可以用下面的方法


#ifdef _X86

#Pragma message("_X86 macro activated!")

#endif

当我们定义了_X86这个宏以后,应用程序在编译时就会在编译输出窗口里显示"_

X86 macro activated!"。我们就不会因为不记得自己定义的一些特定的宏而抓耳挠腮了。

(2)另一个使用得比较多的pragma参数是code_seg。格式如:


#pragma code_seg( ["section-name"[,"section-class"] ] )


它能够设置程序中函数代码存放的代码段,当我们开发驱动程序的时候就会使用到它。

(3)#pragma once (比较常用)


只要在头文件的最开始加入这条指令就能够保证头文件被编译一次,这条指令实际上在VC6中就已经有了,但是考虑到兼容性并没有太多的使用 它。

(4)#pragma hdrstop表示预编译头文件到此为止,后面的头文件不进行预编译。BCB可以预编译头文件以加快链接的速度,但如果所有头文
件都进行预编译 又可能占太多磁盘空间,所以使用这个选项排除一些头文件。

有时单元之间有依赖关系,比如单元A依赖单元B,所以单元B要先于单元A编译。你可以用#pragma startup指定编译优先级,如果使用了
#pragma package(smart_init) ,BCB就会根据优先级的大小先后编译。

(5)#pragma resource "*.dfm"表示把*.dfm文件中的资源加入工程。*.dfm中包括窗体、外观的定义。

(6)#pragma warning( disable : 4507 34; once : 4385; error : 164 )

等价于:

#pragma warning(disable:4507 34) // 不显示4507和34号警告信息

#pragma warning(once:4385) // 4385号警告信息仅报告一次

#pragma warning(error:164) // 把164号警告信息作为一个错误。

同时这个pragma warning 也支持如下格式:

#pragma warning( push [ ,n ] )

#pragma warning( pop )

这里n代表一个警告等级(1---4)。

#pragma warning( push )保存所有警告信息的现有的警告状态。

#pragma warning( push, n)保存所有警告信息的现有的警告状态,并且把全局警告等级设定为n。
#pragma warning( pop )向栈中弹出最后一个警告信息,在入栈和出栈之间所作的一切改动取消。例如:

#pragma warning( push )

#pragma warning( disable : 4705 )

#pragma warning( disable : 4706 )

#pragma warning( disable : 4707 )

//.......

#pragma warning( pop )

在这段代码的最后,重新保存所有的警告信息(包括4705,4706和4707)。

(7)pragma comment(...)

该指令将一个注释记录放入一个对象文件或可执行文件中。
常用的lib关键字,可以帮我们连入一个库文件。


(8)用pragma导出dll中的函数

传统的到出 DLL 函数的方法是使用模块定义文件 (.def),Visual C++ 提供了更简洁方便的方法,那就
是"__declspec()" 关键字后面跟"dllexport",告诉连接去要导出这个函数,例如:

__declspec(dllexport) int __stdcall MyExportFunction(int iTest);

把"__declspec(dllexport)"放在函数声明的最前面,连接生成的 DLL 就会导出函
数"_MyExportFunction@4 "。

上面的导出函数的名称也许不是我的希望的,我们希望导出的是原版的"MyExportFunction"。还好,VC 提供了一个预处理指示
符"#pragma" 来指定连接选项 (不仅仅是这一个功能,还有很多指示功能) ,如下:

#pragma comment(linker,"/EXPORT:MyExportFunction=_MyExportFunction@4")


这下就天如人愿了:)。如果你想指定导出的顺序,或者只将函数导出为序号,没有 Entryname,这个预处理指示符 (确切地说是连接器) 都能够 实现,看看 MSDN 的语法说明:

/EXPORT:entryname[,@ordinal[,NONAME]][,DATA]

@ordinal 指定顺序;NONAME 指定只将函数导出为序号;DATA 关键字指定导出项为数据项。

⑨每个编译程序可以用#pragma指令激活或终止该编译程序支持的一些编译功能。例如,对循环优化功能:

#pragma loop_opt(on) // 激活

#pragma loop_opt(off) // 终止

有时,程序中会有些函数会使编译器发出你熟知而想忽略的警告,如"Parameter xxx is never used in function xxx",可以这样:

#pragma warn -100 // Turn off the warning message for warning #100

int insert_record(REC *r)

{ /* function body */ }

#pragma warn +100 // Turn the warning message for warning #100 back on

函数会产生一条有唯一特征码100的警告信息,如此可暂时终止该警告。

每个编译器对#pragma的实现不同,在一个编译器中有效在别的编译器中几乎无效。可从编译器的文档中查看。

⑩#pragm pack()的使用

#pragma pack规定的对齐长度,实际使用的规则是:

? 结构,联合,或者类的数据成员,第一个放在偏移为0的地方,以后每个数据成员的对齐,按照#pragma pack指定的数值和这
个 数据成员自身长度中,比较小的那个进行。

? 也就是说,当#pragma pack的值等于或超过所有数据成员长度的时候,这个值的大小将不产生任何效果。

? 而结构整体的对齐,则按照结构体中最大的数据成员 和 #pragma pack指定值之间,较小的那个进行。

注意:文件使用#pragma pack(n) 改变了缺省设置而不恢复,通常可以使用#pragma pack(push, n)和#pragma
pack(pop)进行设置与恢复。

注:关于宏函数的内容在另外的专题。关于宏使用的误区在描述宏的时候已经在文中提到了,最后再给出一个例子,描述的Side Effect是指宏在展开
的时候对其参数可能进行多次Evaluation(也就是取值)对程序造成的错误影响。

假设在一个系统中,有一个32b的寄存器(REG)保存状态,其中高16b表示一种含义,低16b表示另一种含义(这在程序中经常出现)。现在要把 高低
16b分开,不考虑实际中的特殊要求,将代码写成:

#define High16bit(REG) (REG>>16)

#define Low16bit(REG) ((REG<<16)>>16)

对于这种写法完成的功能在大多数情况是足够了,这里不讨论。主要谈论这种写法的负面影响,如果在程序中分别在不同的语句中使用High16bit和
Low16bit,那么就可能那就是Side effect,特别寄存器REG是状态寄存器,他的状态可能随时变化,那么引起的问题就是高低16b根本
取的不是同一个时刻状态寄存器。这种错 误在程序中找出就比较难了。在这里我把条件弱化了,试想在一个宏体中,如果对参数多次取值也是可能引起问题,那就 更难了。

本文来自CSDN博客,转载请标明出处:http://blog.csdn.net/blogercn/archive/2009/10/28/4737207.aspx

阅读更多
个人分类: C
想对作者说点什么? 我来说一句

C语言宏定义使用技巧

2010年09月10日 5KB 下载

关于C语言宏定义技巧

2010年10月06日 8KB 下载

没有更多推荐了,返回首页

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭