使用BOOST_PP库遍历C语言可变参数宏variadic

1. 前言

C99和C++11规范中引入了可变参数宏(variadic macro)的概念，允许在宏函数中使用可变的参数，但是只提供了简单的展开功能。如果我们需要对每一个参数分别做不同的处理时，就需要对它们进行遍历，这时可以使用boost库中包含的preprocessor库（简称PP库）进行处理。preprocessor库中都是一些头文件，只需要包含后就可以使用了，不需要进行特别的编译和链接处理。

2. 数据类型

PP库中对序列化的数据定义了下面几种的数据类型：

#define Array (3, (a, b, c))				// 3 为长度
#define List (a, (b, (c, BOOST_PP_NIL)))	// 值为空时使用BOOST_PP_NIL
#define Sequence (a)(b)(c)
#define Tuple (a, b, c)

而在官方参考手册中，关于可变参数类型VARIADIC提供的函数非常少，想要进行遍历操作的话，我们需要先将VARIADIC类型转换为其他的数据类型。

#define my_seq(...) BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__)			//将VARIADIC转换成SEQ
my_seq(a,b,c,d,e)

3. 遍历操作

现在我们已经把可变参数序列转换成了SEQ类型，接下来就可以使用BOOST_PP_SEQ_FOR_EACH宏进行遍历了：

// 宏原型，对SEQ中的每个元素，调用macro(r, data, seq[i])
BOOST_PP_SEQ_FOR_EACH(macro, data, seq)

// 给SEQ序列中的每个元素，添加前缀 abc_
#define my_seq(...) BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__)
#define my_macro(r, data, elem) BOOST_PP_CAT(data, elem)			//macro参数数固定为3，其中r为保留参数. BOOST_PP_CAT将两个字符连接
#define my_data abc_

BOOST_PP_SEQ_FOR_EACH(my_macro, my_data, my_seq(a,b,c,d,e))

结果：

$ gcc -std=c++11 -E -P -I. main.cpp
abc_a abc_b abc_c abc_d abc_e

如果需要知道是第几个参数的话，可以使用BOOST_PP_SEQ_FOR_EACH_I：

#define my_seq(...) BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__)
#define my_macro(r, data, i, elem) BOOST_PP_CAT(data, BOOST_PP_CAT(elem,  i))
#define my_data abc_

BOOST_PP_SEQ_FOR_EACH_I(my_macro, my_data, my_seq(a,b,c,d,e))

gcc -std=c++11 -E -P -I. main.cpp
abc_a0 abc_b1 abc_c2 abc_d3 abc_e4