【C陷阱和缺陷】预处理器

http://blog.csdn.net/tianshuai11/article/details/8201878

一，概念      

        宏只是对程序的文本起作用，提供了一种对组成程序的字符进行变换的方式，而并不作用域程序中的对象，因此可以使一段看上去完全不合法的代码变成一个有效的程序，也能使一段看上去无害的代码编程一个怪物。

二，细节

        1）宏定义中的空格 （注意带参数的宏）

              如果函数无参，则调用时只需在函数名后面加一对括号，如果一个宏不带参数，则只需要使用宏名即可，括号无关紧要。

              #define  f  (x)  ((x)-1)的含义：

                       用f代表(x) ((x)-1) 而不是用f (x) 代表((x)-1),因为f后面有空格！

                       宏定义时空格会影响其含义，但调用时空格无关紧要。

             如：#define fun(x)   ((x)-1) 调用时，fun(3) 和fun (3)的结果都是2。

        2）宏并不是函数 （自增、自减作为参数需谨慎）

              宏定义中每个参数最好用括号括起来，整个表达式也用括号括起来。

              但即使宏定义中各参数和整个表达式都被括起来，也仍然可能有其他问题存在。

             例如：#define max(a,b) ((a)>(b)?(a): (b))

                         当a大于b时，如果a是一个自增表达式，则a被重复求值，造成最终结果错误。

                         我们可以这样实现toupper函数：

char toupper(int c)

{

         if(c>='a' && c<='z')

                   c -= 'a'-'A';

         return c;

}

            用宏定义实现，要比调用函数快得多，但很危险：

             #define toupper(c) ((c)>=’a’ && c<=’z’ ?(c)-(‘a’-‘A’): (c))

             当这样调用：toupper(*p++)时，结果错误！

       3）宏并不是语句 （宏中包含C语句需要注意）

              assert(x>y); assert为一个宏，当参数为0时报告断言失败的文件名和失败处的行号，当参数不为0时，什么也不做。

              如果如下定义： #define assert(e) if(!e) assert_error(__FILE__,__LINE__)

              当如下调用时出错：

              if(x>0 && y>0)

                          assert(x>y);

              else

                          assert(y>x);

              因为展开后，if else的流程结构出错。

            修改：

                    定义时为其加括号：#define assert(e) (if(!e) assert_error(__FILE__,__LINE__))

                    但上面的调用时，assert的句尾有分号，造成语法错误。

                    其正确定义如下：

                           #define assert1(e) ( (void)( (e)||_assert_error(__FILE__,__LINE__) ) )

                    这个定义不是语句，而是类似一个表达式。

      4）宏并不是类型定义 

            宏的一个常见用途是使多个不同变量的类型可以在一个地方说明:

                     #define FOOTYPE struct foo

                     FOOTYPE a; FOOTYPE b,c; 之后a,b,c的类型可以一改全改。

          但typedef 更通用一些！

                 #define T1 struct foo *      当试图声明多个变量时，问题就来了：

                 T1 a,b ;  被扩展为 struct foo * a, b; 此时a 为指针，而b为结构体。

               而使用下面的定义：typedef struct foo *T2;

               T2 c,d 此时c、d都为指向结构体的指针，T2的行为完全与一个新类型的行为相同。

三，习题

        1） 用宏来实现max，其中max的参数都是整数，要求这些整型参数只被求值一次。

              Answer：因为每个参数值都会被使用两次，一次是在参数比较时，一次是在把它作为结果时返回时。所以，应该把每个参数值存储在一个临时变量里。

              但我们无法在一个C表达式内部声明一个临时变量，而且即使能声明一个临时变量多次调用max时会造成重复定义。所以不能将这些变量作为宏定义的一部分进行声明，而应在宏定义之外。当max用于不只一个程序文件时，应该把这些变量声明为static，以避免命名冲突。

              static int tmp1, tmp2;

              #define max(p,q) (tmp1=(p), tmp2=(q), tmp1>tmp2?tmp1:tmp2)

             这时max不能嵌套调用，否则不能正常工作。

         2）#define f (x) ((x)-1) 是否是一个合法的表达式？

           Answer：

               （1）当x是类型名时可以。Eg: #define x int 则(int)((int)-1)表示将-1进行两次int类型的强制转换。

               （2）当x是个函数指针，且x指向某函数指针数组的某个元素时，可以。这时表达式可以解释为调用x指向的函数，而((x)-1)为函数的参数。假定x的类型时T，即T x; 其中T如下定义：    

                          typedef void (*T)(void*) ， 因为void*可以被强制转换为T类型。但不能如下定义：

                          typedef void(*T)(T),因为只有T被声明后才能这样定义T！