c语言宏扩展的过程,c语言宏

宏，是一个比较容易出错的地方，同时也是容易产生技巧的地方。比如用宏可以使c++的访问控制失效，比如

#define private public

可以用于生成函数，可以替换一些函数，可以定义一些程序模式。。。

大体说下宏的一些基本概念

1.对于函数宏，使用时需要加括号，否则按普通符号处理，不进行宏扩展

比如

#define g() x*x

#define f(x) x

如果直接写f(g)这样只是产生g，不会把g再进行替换

2.调用参数

#define min(x,y) ((x)>(y)?(y):(x))

min(,)由于预处理进行的检查有限，可能可以被预处理器处理，但是min()就不可以了

3.#与##这两个是宏里的特殊符号

#控制把参数变成字符串，##进行符合连接

4.变参宏

#define log(x,…) printf(x,__VA_ARGS__)

就可以这样调用log("%s%d",a,b)

5.宏递归

对于c里的宏，为了防止无限扩展，规定当一个宏展开时遇到它自身时，只是把它作为普通符号

6.prescan

对于宏的展开大致是这样的一个过程：

1)首先识别实际参数，主要根据第一层括号里的,号进行划分。

2)用这些实际参数，替换定义里的形参(如果形参前面没有#,或者前后均没有##，则要对参数进行宏扩展

，实际上就是prescan,类似一个递归的过程)。

3)重新扫描展开后的宏，但当某个标识符在上一次扫描中已经被替换过，则这次不进行扩展，而是保持

不变。

注意：当含有#及##的处理很特殊

对于#,将它后面的形参对应的实参，不进行扩展，而是直接转换为字符串，首尾的空格被去掉，中间保

留。

对于##，则将##前后空白删除，将相邻记号不扩展直接连接。

对于宏来说，可能想知道宏替换后的结果，可以通过两种方式来查看。

1.利用编译器指令，直接查看，比如gcc可以查看中间各个阶段产生的文件结果

gcc -save-temps就可以将中间结果的产生文件全部显示。

2.利用宏命令#，然后用printf打印

定义这样一个宏

#define to_string1(x) #x

#define to_string(x) to_string1(x)

调用printf("%s",to_string(***))就可以了

举例：

#define cat(x,y) x##y

cat(cat(1,2),3)的结果是cat(1,2)3

cat(1,2)之所以未被替换，是因为在第二次扫描中发现的cat在第一次已经被展开过了，所以保持不变。

而不是因为是非法记号。

比如测试

#define f(x) ((x)+(x))

f(x)3,查看预处理结果是会被正常替换的。