如何同时迭代两个 Boost Preprocessor 序列？

Question

我想知道是否可以通过 Boost Preprocessor 序列完成以下操作。（大多数 SO 问题以及 Boost Preprocessor 示例仅讨论 1 个序列）

#define seq1 (a)(b)(c)
#define seq2 (1)(2)(3)

// Now iterate over both of them at the same time

这是我的动机。我必须为很多类型定义几个函数，例如

void add(int val) { obj.AddInt(val); }
void add(double val) { obj.AddDouble(val); }

我正在考虑定义两个序列，例如

#define types (int)(double)...
#define funcs (AddInt)(AddDouble)...

然后为函数 add 编写一个宏，并迭代这两个序列。

Answer 1

您可以使用BOOST_PP_SEQ_FOR_EACH_I和BOOST_PP_SEQ_ELEM执行以下操作：

#include <boost/preprocessor/seq/elem.hpp>
#include <boost/preprocessor/seq/for_each_i.hpp>

#define types (int)(double)
#define funcs (AddInt)(AddDouble)

#define MACRO(_,funcs,i,type) \
    void add(type val) { obj.BOOST_PP_SEQ_ELEM(i, funcs)(val); }

BOOST_PP_SEQ_FOR_EACH_I(MACRO, funcs, types)

的BOOST_PP_SEQ_FOR_EACH_I在序列宏迭代types，施加MACRO到每个元素。的第二个参数BOOST_PP_SEQ_FOR_EACH_I作为第二个参数传递给 的每次调用MACRO，并i表示正在迭代的当前元素的从零开始的索引。因此，当MACRO正在扩大，type是i的第元件types和BOOST_PP_SEQ_ELEM(i, funcs)是i的个元素funcs。

对于更通用的解决方案，您可以执行以下操作：

#define ITERATE_OVER_TWO_SEQ_(_,data,i,e2) \
   BOOST_PP_SEQ_ELEM(0,data)(BOOST_PP_SEQ_ELEM(i, BOOST_PP_SEQ_ELEM(1,data)), e2)
#define ITERATE_OVER_TWO_SEQ(macro, s1, s2) \
    BOOST_PP_SEQ_FOR_EACH_I(ITERATE_OVER_TWO_SEQ_, (macro)(s1), s2)

并按如下方式使用它：

#define MACRO(type,func) void add(type val) { obj.func(val); }
ITERATE_OVER_TWO_SEQ(MACRO, types, funcs)

一种更通用的方法是使用SEQ_ZIPfrom this answer , BOOST_PP_SEQ_FOR_EACHand BOOST_PP_SEQ_ELEM. 例如：

#include <boost/preprocessor/seq/for_each.hpp>
#define MACRO(_,d,seq) \
    void add(BOOST_PP_SEQ_ELEM(0,seq) val) \
    { obj.BOOST_PP_SEQ_ELEM(1, seq)(val); }

BOOST_PP_SEQ_FOR_EACH(MACRO, _, SEQ_ZIP((types)(funcs))