使用提升预处理器以迭代方式调用可变参数模板

Using boost preprocessor to call a variadic template iteratively

本文关键字：调用 变参 参数 方式 迭代 预处理 处理器      更新时间：2023-10-16

假设我有一个可变参数模板： 

template<typename... Args>
class Foo;

此可变参数模板递归生成另一个模板，直到它到达最后一个级别中Foo的一个参数。现在我想有一个宏，例如Bar(...)当我调用它时，我会得到这样的内容：

Bar(float, int, string, vector<int>)
// expands to
Macro(Foo<float, int, string, vector<int>>)
Macro(Foo<int, string, vector<int>>)
Macro(Foo<string, vector<int>>)
Macro(Foo<vector<int>>)

哪个Macro(...)是用于在此类上执行某些操作的另一个宏。我希望能够使用Boost预处理器来减少我必须编写的代码。

请向我建议一些帮助我编写此类宏的技巧。

我不知道

这是否是解决问题的最佳方法，但这可以满足您的需求：

#include <boost/preprocessor/repetition/repeat_from_to.hpp>
#include <boost/preprocessor/seq.hpp>
#include <boost/preprocessor/variadic/to_seq.hpp>
#define CALL_MACRO(_,__,SEQ) Macro(Foo<BOOST_PP_SEQ_ENUM(SEQ)>)
#define GENERATE_MACRO_INVOCATIONS(SEQS) BOOST_PP_SEQ_FOR_EACH(CALL_MACRO,_,SEQS)
#define GENERATE_DESCENDING_SEQUENCES(_,INDEX,DATA) (BOOST_PP_SEQ_REST_N(INDEX,DATA))
#define BAR_IMPL(SEQ) GENERATE_MACRO_INVOCATIONS(BOOST_PP_REPEAT_FROM_TO(0,BOOST_PP_SEQ_SIZE(SEQ),GENERATE_DESCENDING_SEQUENCES, SEQ))

#define Bar(...) BAR_IMPL(BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__))
Bar(float, int, string, vector<int>)
  • 您最初有一个可变参数数据：float, int, string, vector<int> 。
  • BOOST_PP_VARIADIC_TO_SEQ将其转换为：(float)(int)(string)(vector<int>)
  • BOOST_PP_REPEAT_FROM_TO调用宏GENERATE_DESCENDING_SEQUENCES BOOST_PP_SEQ_SIZE(SEQ)次，将序列作为数据和从 0 开始的索引。
  • BOOST_PP_SEQ_REST_N(INDEX,DATA) 从DATA中删除INDEX的第一个元素，并返回其余元素。这个结果放在几个括号里。

  • 在调用 REPEAT 之后，您有一个序列序列：

    （（float）（int）（string）（vector））（（int）（string）（vector））（（

    string）（vector））（（vector））

  • BOOST_PP_SEQ_FOR_EACH对序列中的每个元素调用CALL_MACRO。

  • 最后BOOST_PP_SEQ_ENUM获取一个序列并返回以逗号分隔的元素。

在科里鲁上进行预处理

更新：根据评论编辑答案。现在调用BOOST_EXPORT_CLASS宏而不是我定义的macro()函数。我没有用BOOST_EXPORT_CLASS对此进行测试，但是，我通过访问模板扩展每个级别的Foo<...>类型进行了模拟。我能够访问不同扩展的每个不同类型，因此我认为无论BOOST_EXPORT_CLASS做什么都应该有效。

我认为这现在可以满足您的需求：

#define BAR(...) Foo<__VA_ARGS__>()
// Variadic definition of Foo
template <typename... Args>
struct Foo;
// Specialize Foo for the case that there is at least on template parameter
template <typename Arg, typename... Args>
struct Foo<Arg, Args...> : Foo<Args...> {
  using type = Foo<Arg, Args...>;
  Foo() : Foo<Args...>(){
    BOOST_EXPORT_CLASS(type)
  }
};
// Terminating case for Foo
template <>
struct Foo<> {
  using type = Foo<>;
  Foo() { BOOST_EXPORT_CLASS(type) }
};
int main() {
  BAR(int, float, double);
}

为了测试这在理论上是否有效，我定义了以下宏：

#define MACRO(x) test<x>();

并用MACRO(type)替换了BOOST_EXPORT_CLASS(type).函数test如下：

template <typename T>
void test() {
  std::cout << typeid(T).name() << "n";
}

运行代码打印以下内容（我添加了注释），这表明模板在宏中展开，并且应该显示为BOOST_EXPORT_CLASS，如问题所示：

3FooIJEE      // Foo<>
3FooIJdEE     // Foo<double>
3FooIJfdEE    // Foo<float, double>
3FooIJifdEE   // Foo<int, float, double>

这是代码现场演示的现场演示。

需要注意的一点是，扩展方向与 OP 指定的方向相反，即：

Macro(Foo<>)
Macro(Foo<double>)
Macro(Foo<float, double>)
Macro(Foo<int, float, double>)
相关文章：