宏 #define
语法
#和##
字符#右边的宏参数转换为字符串
*****************************
#define str(a)#a
str(1+1)==>"1+1"
*****************************
##
*****************************
#define name(a) \
void get##a(){}
name(F);
//在main中就可以调用getF();
*****************************
减少重复计算gcc的扩展 vs编译不通过
*****************************
#define max(a,b) \
({typeof(a)a_ = (a); \
typeof(b)b_ = (b); \
(a_>b_)?a_:b_;})
*****************************
陷阱
不能忽视宏定义中的空格
#define f (x) ((x)-1)
由于多了一个空格 (x) ((x)-1)
宏并不是函数
最好在宏定义中把每个参数都用括号括起来。即使宏定义的各个参数与整个结果表达式都被括号括起来,也仍然还可能有其他问题存在。
biggest = max(biggest,x[i++]);如果是函数可以正常执行,如果是宏上面代码中的赋值语句将被扩展为:
biggest = ((biggest)>(x[i++])?(biggest):(x[i++]));
要确保宏max中的参数没有副作用
宏并不是语句
宏并不是类型定义
宏的一个常见用途是,使用多个变量的类型可以在一个地方说明:
#define FOOTYPE struct foo
FOOTYPE a;
FOOTYPE b,c;;
这样,编程者只需在程序中改动一行代码,即可改变a、b、c的类型,而与a、b、c在程序中的什么地方声明无关。
宏定义的这种用法有一个有点-可移植性。但是最好使用类型定义:
typedef struct foo FOOTYPE;
*****************************
#define T1 struct foo *;
typedef struct foo *T2;
从上面两个定义来看,T1和T2从概念上完全符同,都是指向结构foo的指针。
T1 a, b;
T2 a, b;
第一个声明被扩展为:struct foo *a, b;第二个声明则不同,它定义了a和b都是指向结构的指针,以为这里T2的行为完全与一个真实的类型相同。
*****************************
习题
请使用宏来实现max的一个版本,其中max的参数都是整数,要求宏max的定义中这些整数参数只被求值一次
*****************************
#define max(a,b,return_value) \
int a_ = (a);\
int b_ = (b);\
return_value = ((a_)>(b_)?(a_):(b_))
*****************************
(x) ((x)-1)能否成为一个合法的c表达式
*****************************
思考:
要;号
让前面的表达式为类型后面为定义
#define x int
编译通过!
*****************************