C语⾔宏定义##连接符和#符的使⽤及其它宏定义注意事项
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() 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);
但是如果是下⾯的情况：
fprintf作用#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）。

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。