c++宏编程一览

 基础部分

 

1. __VA_ARGS__: 用来替换任意参数部分, 相当于c语言中的va_list;

 

例:
#define OUT(...)    printf(__VA_ARGS__)

 

2. 宏从内向外展开(例外情况见4)
原因是, 当一个红的参数也是宏的时候, 它会尝试先展开它的参数;

 

例:
max(max(1, 3), 2) => max(3, 2) => 3

 

3. #和##. 前者用来将一个文本转化为语言内字符串, 后者用来连接两个文本

 

例:
#define TO_STRING(s)   #s
#define CAT(a, b)          a#b

TO_STRING(a)                => "a"
int CAT(a, b);                 => int ab;

 

4. 当一个宏对它的某个参数进行#或者##时, 这个参数使用点并不被替换为展开后的文本(这里的展开意思是, 将参数中的其他宏展开). 这句话隐含的意思是, 如果这个参数会多次使用, 只要不是#或者##, 都会被替换为展开后文本;

 

例:
#define TEST(a)           a; a + 1; a##a; #a
#define MAX(a, b)        ((a) > (b) ? (a) : (b))
TEST(MAX(1, 1))           => ((1) > (1) ? (1) : (1)); ((1) > (1) ? (1) : (1)) + 1; MAX(1, 1)MAX(1, 1); "MAX(1, 1)"

 

5. 对#和##做特殊处理; 由于一般宏在展开时, 它的参数都已经被展开, 而对参数应用了#和##的宏, 这里的参数中的宏却不展开, 所以有必要对它们进行特殊处理, 以符合一般的需要

 

工具:
#define TO_STRING(s)       TO_STRING_D(s)
#define TO_STRING_D(s)  #s
#define CONN(a, b)           CONN_D(a, b)
#define CONN_D(a, b)       a##b

 

原理: 利用一般宏会展开它参数的特性, TO_STRING和CONN先将参数完全展开, 然后再交给实际调用#和##的宏其中, TO_STRING非常有用, 除了服务一般编程外, 在使用宏的预处理期编程尤为重要, 是预处理期调试的重要打印手段

 

6. 带参数宏在无参数时被视为文本, 不展开

 

例:
#define MAX(a, b)                    ((a) > (b) ? (a) : (b))

TO_STRING(MAX(1, 2))             => ((1) > (2) ? (1) : (2))
TO_STRING(MAX(MAX, MAX))    => ((MAX) > (MAX) ? (MAX) : (MAX))

 

7. 宏不支持递归

 

运行时函数递归的方法是, 改变参数然后进行下步调用, 通过对不同参数的测试来判断是否到达终点应该停止递归.

元编程递归是通过特化、偏特化或者重载, 通过令终点历程不进行进一步调用的方式, 来终止递归.
表面上看, 由于宏并不支持结构控制(相对于函数递归的if和元编程的If模板), 所以宏不支持递归, 一旦预处理器发现一个宏在展开的过程中第二次出现, 则停止这个宏的展开.
关于这一点的更详细说明见后文.

 

预处理期编程

 

1. 数

宏没有实质上的变量, 宏的数据来源是用户编码; 而各种意义