资源描述:
《c语言宏高级应用》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、C语言宏的高级应用关于#和##在C语言的宏中,#的功能是将其后面的宏参数进行字符串化操作(Stringfication),简单说就是在对它所引用的宏变量通过替换后在其左右各加上一个双引号。比如下面代码中的宏:#defineWARN_IF(EXP) do{if(EXP) fprintf(stderr,"Warning:"#EXP"");} while(0)那么实际使用中会出现下面所示的替换过程:WARN_IF(divider==0);被替换为do{ if(divide
2、r==0)fprintf(stderr,"Warning""divider==0""");}while(0);这样每次divider(除数)为0的时候便会在标准错误流上输出一个提示信息。而##被称为连接符(concatenator),用来将两个Token连接为一个Token。注意这里连接的对象是Token就行,而不一定是宏的变量。比如你要做一个菜单项命令名和函数指针组成的结构体的数组,并且希望在函数名和菜单项命令名之间有直观的、名字上的关系。那么下面的代码就非常实用:structcommand{char*name;void(*fun
3、ction)(void);};#defineCOMMAND(NAME){NAME,NAME##_command}//然后你就用一些预先定义好的命令来方便的初始化一个command结构的数组了:structcommandcommands[]={COMMAND(quit),COMMAND(help),...}COMMAND宏在这里充当一个代码生成器的作用,这样可以在一定程度上减少代码密度,间接地也可以减少不留心所造成的错误。我们还可以n个##符号连接n+1个Token,这个特性也是#符号所不具备的。比如:#defineLINK_MULTIP
4、LE(a,b,c,d)a##_##b##_##c##_##dtypedefstruct_record_typeLINK_MULTIPLE(name,company,position,salary);//这里这个语句将展开为://typedefstruct_record_typename_company_position_salary;关于...的使用...在C宏中称为VariadicMacro,也就是变参宏。比如:#definemyprintf(templt,...)fprintf(stderr,templt,__VA_ARGS__)/
5、/或者#definemyprintf(templt,args...)fprintf(stderr,templt,args)第一个宏中由于没有对变参起名,我们用默认的宏__VA_ARGS__来替代它。第二个宏中,我们显式地命名变参为args,那么我们在宏定义中就可以用args来代指变参了。同C语言的stdcall一样,变参必须作为参数表的最有一项出现。当上面的宏中我们只能提供第一个参数templt时,C标准要求我们必须写成:myprintf(templt,);的形式。这时的替换过程为:myprintf("Error!",);替换为:f
6、printf(stderr,"Error!",);这是一个语法错误,不能正常编译。这个问题一般有两个解决方法。首先,GNUCPP提供的解决方法允许上面的宏调用写成:myprintf(templt);而它将会被通过替换变成:fprintf(stderr,"Error!",);很明显,这里仍然会产生编译错误(非本例的某些情况下不会产生编译错误)。除了这种方式外,c99和GNUCPP都支持下面的宏定义方式:#definemyprintf(templt,...)fprintf(stderr,templt,##__VAR_ARGS__)这
7、时,##这个连接符号充当的作用就是当__VAR_ARGS__为空的时候,消除前面的那个逗号。那么此时的翻译过程如下:myprintf(templt);被转化为:fprintf(stderr,templt);这样如果templt合法,将不会产生编译错误。错误的嵌套-Misnesting宏的定义不一定要有完整的、配对的括号,但是为了避免出错并且提高可读性,最好避免这样使用。由操作符优先级引起的问题-OperatorPrecedenceProblem由于宏只是简单的替换,宏的参数如果是复合结构,那么通过替换之后可能由于各个参数之间的操作符优先
8、级高于单个参数内部各部分之间相互作用的操作符优先级,如果我们不用括号保护各个宏参数,可能会产生预想不到的情形。比如:#defineceil_div(x,y)(x+y-1)/y那么a=ceil_div(b&c