新乡专业做淘宝网站2023搜索最多的关键词
一，概念
宏只是对程序的文本起作用，提供了一种对组成程序的字符进行变换的方式，而并不作用域程序中的对象，因此可以使一段看上去完全不合法的代码变成一个有效的程序，也能使一段看上去无害的代码编程一个怪物。
二，细节
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！