首先就是最常用的技巧（http://blog.misakamm.org/p/209）：
#define MACROCAT( x, y ) MACROCAT1 ( x, y )
#define MACROCAT1( x, y ) x##y
#define TOSTRING( s ) #s
MACROCAT把x和y展开后连 ，而TOSTRING把s转化为字符串，比如可以printf(TOSTRING(%s), TOSTRING(abcdefg));
然后，因为宏不能递归，但可以做递归模拟，我们可以这样玩。比如要生成n位的二进制数并且从小到大构成的字符串（用到前面的宏）：
#define BIN_0(arg) TOSTRING ( arg )
#define BIN_1(arg) BIN_0(MACROCAT(arg, 0)) "," BIN_0(MACROCAT(arg, 1))
#define BIN_2(arg) BIN_1(MACROCAT(arg, 0)) "," BIN_1(MACROCAT(arg, 1))
#define BIN_3(arg) BIN_2(MACROCAT(arg, 0)) "," BIN_2(MACROCAT(arg, 1))
#define BIN_4(arg) BIN_3(MACROCAT(arg, 0)) "," BIN_3(MACROCAT(arg, 1))
int main()
{
puts(BIN_4());
return 0;
}
这里要注意的是，比如BIN_2()，实际上展开的结果是
"0" "0" "," "0" "1" "," "1" "0" "," "1" "1"
不过c/c++规定这样连写的字符串，编译时就会合并成一个，于是就能用puts直接完整输出结果了
如果你想得到更多的位，很简单，只要你不介意，上面的宏复制并改改数字就可以了
不过，这样一改要改若干个数字，比较麻烦，能不能让它工作得更好？比如只要改宏名？
这个时候，就要用更富有技巧性的一招了：让每个宏多一个参数n，然后前面的BIN_x使用MACROCAT把它与数字连结起来，不就可以了么？
想法不错，不过问题是宏本身没有做减法的能力，能做的仅仅是替换。减1应该怎么实现呢？
其实不难，见以下定义：
#define DECVAL_1 0
#define DECVAL_2 1
#define DECVAL_3 2
#define DECVAL_4 3
#define DECVAL_5 4
#define DECVAL_6 5
#define DECVAL_7 6
#define DECVAL_8 7
#define DECVAL_9 8
#define DECVAL( n ) DECVAL_##n
好了，有了这个利器，我们就可以对原宏改造了，先拿0号和1号宏开刀：
#define BIN_0(n, arg) TOSTRING ( arg )
#define BIN_1(n, arg) MACROCAT(BIN_, DECVAL(n)) (DECVAL(n), MACROCAT(arg, 0)) \
"," MACROCAT(BIN_, DECVAL(n)) (DECVAL(n), MACROCAT(arg, 1))
看得懂替换了一些什么吗？这样，后面的2,3,4,5号，只要复制一下1号的定义，改一改宏名就解决问题了
思考题：
这里生成的二进制结果是带前导0的，如何改写能使生成的结果不带前导0？
使用此法可以“递归”式生成很多类似代码，同时这个技巧也非常的实用，但递归构造并不容易，需要编写的人仔细想清楚，否则很容易出错，特别要注意宏展开的时机，一般不直接使用MACROCAT1宏，因为那个很可能不是你想要的结果
之后，到C99标准出台后（也就是说，下文内容与bc3/tc/vc6不兼容），宏里面多了一个狠角色：可变参数个数宏
比如可以#define PRINTF(...) fprintf(stdout, __VA_ARGS__)
好了，下文将区分编译器来介绍，一共分为两派，vc派和gcc派（包括clang/objc），因为两者对以下代码的处理并不一致，需要使用略为不同的宏来实现，目前我也只遇到这两派。
现在的目的是这样，因为__VA_ARGS__包含了若干参数，我怎么才能知道里面参数有多少个呢？
比如写一个宏NUM_PARAMS()，里面写NUM_PARAMS(abc,a,d,e)的话，替换后得到的结果要是4，能办到吗？
广告时间：
http://blog.misakamm.org/p/209
广告过后，回来精彩的节目
首先先介绍gcc派的解决方案：
#define PP_NARG(...) PP_NARG_(__VA_ARGS__, PP_RSEQ_N())
#define PP_NARG_(...) PP_ARG_N(__VA_ARGS__)
#define PP_ARG_N( \
_1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \
_11,_12,_13,_14,_15,_16, N, ...) N
#define PP_RSEQ_N() \
16,15,14,13,12,11,10, \
9,8,7,6,5,4,3,2,1,0
非常漂亮巧妙又简洁的方案，我想不用我多解释了吧？
不过，请注意，这是gcc的方案，以上代码放在vc8/vc9/vc2010等都会得不到正确的结果的，这个和vc的宏处理方式有关
接下来就是给出vc的解决方案（以下均以vc2008和vc2010为准）
#define BRACKET_L() (
#define BRACKET_R() )
#define PP_NARG(...) \
PP_NARG_ ( __VA_ARGS__, PP_RSEQ_N() )
#define PP_NARG_(...) \
PP_ARG_N BRACKET_L() __VA_ARGS__ BRACKET_R()
#define PP_ARG_N( \
_1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \
_11,_12,_13,_14,_15,_16, N,...) N
#define PP_RSEQ_N() \
16,15,14,13,12,11,10, \
9,8,7,6,5,4,3,2,1,0
这里很特别的一点是对部分小括号做了替换。
问题在于PP_NARG_到PP_ARG_N做参数传递的时候，如果已有显式的括号，那么不对里面的宏做展开计算参数个数，仅直接按显式的逗号个数判断出参数个数，从而导致__VA_ARGS__被当成一个参数传入。而把括号用宏替换掉后，则不出现直接的括号，就先对宏做展开，而展开后，再展开新构造出来的宏，这样才能让参数匹配上。
不过gcc里面不能这么干，gcc会把宏名展开出来后，如果发现后面的符号并不是显式的括号，则把前面的宏符号化，不再展开。这两种不同