宏元编程——技术——变参宏

获取变参数宏的个数

#define TL_VARIADIC_SIZE(...) TL_CAT(TL_VARIADIC_SIZE_I(__VA_ARGS__, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1,),)#define TL_VARIADIC_SIZE_I(e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, size, ...) size

说明：__VA_ARGS__和长度列表生成一个新的调用列表，然后再调用TL_VARIADIC_SIZE_I，具体的长度值就会被“挤”到size参数里

获取变参数宏的第n个参数

#define TL_VARIADIC_ELEM(n, ...)

思路，可以通过TL_CAT把TL_VARIADIC_ELEM(n,...)映射成到一堆TL_VARIADIC_ELEM_n，再在TL_VARIADIC_ELEM_n里获取第n个元素e

#define TL_VARIADIC_ELEM(n, ...) TL_CAT(TL_VARIADIC_ELEM_##n,(__VA_ARGS__))#define TL_VARIADIC_ELEM_0(e0, ...) e0#define TL_VARIADIC_ELEM_1(e0,e1, ...) e1#define TL_VARIADIC_ELEM_2(e0,e1,e2, ...) e2#define TL_VARIADIC_ELEM_3(e0,e1,e2,e3, ...) e3#define TL_VARIADIC_ELEM_4(e0,e1,e2,e3,e4, ...) e4#define TL_VARIADIC_ELEM_5(e0,e1,e2,e3,e4,e5, ...) e5#define TL_VARIADIC_ELEM_6(e0,e1,e2,e3,e4,e5,e6, ...) e6#define TL_VARIADIC_ELEM_7(e0,e1,e2,e3,e4,e5,e6,e7, ...) e7#define TL_VARIADIC_ELEM_8(e0,e1,e2,e3,e4,e5,e6,e7,e8, ...) e8#define TL_VARIADIC_ELEM_9(e0,e1,e2,e3,e4,e5,e6,e7,e8,e9 ...) e9

ps：如果把TL_VARIADIC_ELEM定义成

#define TL_VARIADIC_ELEM(n, ...) TL_VARIADIC_ELEM_##n(__VA_ARGS__)

下面的调用TL_VARIADIC_ELEM(3, 1,2,3,4,5)会报错。

not enough actual parameters for macro 'TL_VARIADIC_ELEM_3'

主要原因是调用TL_VARIADIC_ELEM_3宏的时候，把后面__VA_ARGS__当成一个整体参数了。通过使用TL_CAT它会它两边的结果拼接后再试着重新解析。