[转载] C语言中如何使用宏 包括单双井号 可变参数

 

错误的嵌套－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）。

==

#define display(name) printf(""#name"")
int main() {
   display(name);
}
运行结果是name,为什么不是"#name"呢？
---------------------------------------------------------------

#在这里是字符串化的意思
printf(""#name"") 相当于
printf(""   "name"   "")
---------------------------------------------------------------

The number-sign or "stringizing" operator (#) converts macro parameters (after expansion) to string constants
---------------------------------------------------------------

printf(""   ＃name   "")           <1>
相当于printf(""   "name"   "")     <2>
而<2>中的第2，3个“中间时空格 等价于("空＋name＋空')
---------------------------------------------------------------

## 连接符与# 符

##连接符号由两个井号组成，其功能是在带参数的宏定义中将两个子串(token)联接起来，从而形成一个新的子串。但它不可以是第一个或者最后一个子串。所谓的子串 (token)就是指编译器能够识别的最小语法单元。具体的定义在编译原理里有详尽的解释，但不知道也无所谓。同时值得注意的是#符是把传递过来的参数当成字符串进行替代。下面来看看它们是怎样工作的。这是MSDN上的一个例子。

假设程序中已经定义了这样一个带参数的宏：
#define paster( n ) printf( "token" #n " = %d", token##n )

同时又定义了一个整形变量：
int token9 = 9;

现在在主程序中以下面的方式调用这个宏：
paster( 9 );

那么在编译时，上面的这句话被扩展为：
printf( "token" "9" " = %d", token9 );

注意到在这个例子中，paster(9);中的这个”9”被原封不动的当成了一个字符串，与”token”连接在了一起，从而成为了token9。而#n也被”9”所替代。

可想而知，上面程序运行的结果就是在屏幕上打印出token9=9
---------------------------------------------------------------

#define display(name) printf(""#name"")
int main() {
   display(name);
}
====================================
特殊性就在于它是个宏，宏里面处理#号就如LS所说！
处理后就是一个附加的字符串！

但printf(""#name"") ；就不行了！
---------------------------------------------------------------

#define display(name) printf(""#name"")

该定义 字符串化name，
得到结果其实就是 printf("name")
(前后的空字符串拿掉)

这样输出来的自然是 name

从另外一个角度讲，
#是一个连接符号，
参与运算了， 自然不会输出了 ...