宏定义简介

转载 2012年03月22日 16:27:27
转载整理自:
http://zhidao.baidu.com/question/314176150.html
http://www.cppblog.com/shaovie/articles/14038.html
 一、前言
宏定义又称为宏代换、宏替换,简称“宏”。 宏是C提供的三种预处理功能的其中一种,这三种预处理包括:宏定义文件包含条件编译 。
二、基本
1.1.不带参数的宏定义
     不带参数的宏定义只做字符串替换。
     格式如下: 
     #define 标识符 字符串 
     其中的标识符就是所谓的符号常量,也称为“宏名”。 
     预处理(预编译)工作也叫做宏展开:将宏名替换为字符串。 
     掌握"宏"概念的关键是“换”。一切以换为前提、做任何事情之前先要换,准确理解之前就要“换”。 
     即在对相关命令或语句的含义和功能作具体分析之前就要换: 
     例: 
     #define PI 3.1415926 
     把程序中出现的PI全部换成3.1415926 
     说明: 
     (1)宏名一般用大写 
     (2)使用宏可提高程序的通用性和易读性,减少不一致性,减少输入错误和便于修改。例如:数组大小常用宏定义 
     (3)预处理是在编译之前的处理,而编译工作的任务之一就是语法检查,预处理不做语法检查。 
     (4)宏定义末尾不加分号; 
     (5)宏定义写在函数的花括号外边,作用域为其后的程序,通常在文件的最开头。 
     (6)可以用#undef命令终止宏定义的作用域 
     (7)宏定义可以嵌套 
     (8)字符串" "中永远不包含宏 
     (9)宏定义不分配内存,变量定义分配内存。 
1.2、带参数的宏定义:
     带参数的宏定义除了一般的字符串替换,还要做参数代换 
     格式: 
     #define 宏名(参数表) 字符串 
     例如:#define S(a,b) a*b 
     area=S(3,2);第一步被换为area=a*b; ,第二步被换为area=3*2; 
    带参数的宏定义类似于函数调用,有一个哑实结合的过程,但是应该注意以下这些问题: 
     (1)实参如果是表达式容易出问题 
     #define S(r) r*r 
     area=S(a+b);第一步换为area=r*r;,第二步被换为area=a+b*a+b; 
     正确的宏定义是#define S(r) ((r)*(r)) 
     (2)宏名和参数的括号间不能有空格 
     (3)宏替换只作替换,不做计算,不做表达式求解 
     (4)函数调用在编译后程序运行时进行,并且分配内存。宏替换在编译前进行,不分配内存 
     (5)宏的哑实结合不存在类型,也没有类型转换。 
     (6)函数只有一个返回值,利用宏则可以设法得到多个值 
     (7)宏展开使源程序变长,函数调用不会 
     (8)宏展开不占运行时间,只占编译时间,函数调用占运行时间(分配内存、保留现场、值传递、返回值)
三、宏定义的一些技巧
3.1、关于###
在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;
3.2、关于...的使用
...在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
宏的定义不一定要有完整的、配对的括号,但是为了避免出错并且提高可读性,最好避免这样使用。
4.1、由操作符优先级引起的问题-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))
4.2、消除多余的分号-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)
这样只要保证总是使用分号,就不会有任何问题。
4.3、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)。

Python 代码精简和优化

Python很简单,容易使用,开发效率很高,移植性很好,代码资源也很丰富,被广泛使用。但是Python代码编出来的动态库比较大,python库很全,缺点就是库比较大。 在内存占用方法,随着py库的引入...
  • I2Cbus
  • I2Cbus
  • 2014年11月30日 20:29
  • 4047

关于nagios的一篇很不错的文章

一、nagios配置过程详解 1、nagios默认配置文件介绍  nagios安装完毕后,默认的配置文件在/usr/local/nagios/etc目录下,每个文件或目录含义如下表所示: ...
  • lin_FS
  • lin_FS
  • 2013年01月30日 13:50
  • 8430

C语言宏定义中的#,##,#@及\符号的作用

1、# (stringizing)字符串化操作符 作用:将宏定义中的传入参数名转换成用一对双引号括起来参数名字符串。其只能用于有传入参数的宏定义中,且必须置于宏定义体中的参数名前。 如: ...
  • bytxl
  • bytxl
  • 2015年08月11日 16:55
  • 1688

RIoTboard连载五 RIoTboard GPIO相关函数和宏定义简介

原文地址:http://www.eeboard.com/bbs/thread-31222-1-1.html 最近几天忙于做LCD显示驱动板的原理图和PCB,终于板子投了,大概周一能够收到就可以焊接调...
  • liuhuahan
  • liuhuahan
  • 2015年03月23日 13:54
  • 971

Source Insight3.5宏定义和 快捷键设置

  • 2017年11月19日 18:10
  • 305KB
  • 下载

C语言宏定义技巧

  • 2014年03月06日 10:15
  • 44KB
  • 下载

C++中各种颜色宏定义

  • 2012年06月10日 19:16
  • 10KB
  • 下载

ARC和非ARC模版宏定义和使用

  • 2012年12月14日 00:38
  • 78KB
  • 下载

C语言宏定义##连接符和#符的使用

  • 2014年12月09日 10:35
  • 5KB
  • 下载

c语言常用宏定义技巧

  • 2011年09月01日 09:43
  • 5KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:宏定义简介
举报原因:
原因补充:

(最多只允许输入30个字)