Boost.Fusion中的C ++ Variadic宏?

时间:2011-05-18 14:19:22

标签: c++ boost macros c-preprocessor variadic-macros

所以,根据这个answer,C ++不支持可变参数宏,而C ++标准并没有在任何地方提到可变参数宏。我知道C99引入了带有__VA_ARGS__的可变参数宏,而某些C ++编译器(如GCC)甚至提供了在C ++中允许这种扩展的扩展,但事实上,可变宏只是不是标准C ++的一部分。

现在,Boost.Fusion中有一个功能,您可以使用BOOST_FUSION_ADAPT_STRUCT宏将Fusion序列绑定到任意类或结构。这允许您使用您的类或结构,就像它是Fusion序列一样。

以下是如何使用它的示例(取自Boost文档):

namespace demo
{
    struct employee
    {
        std::string name;
        int age;
    };
}

// demo::employee is now a Fusion sequence
BOOST_FUSION_ADAPT_STRUCT(
    demo::employee,
    (std::string, name)
    (int, age))

现在,如果没有可变参数宏,这段代码怎么可能? BOOST_FUSION_ADAPT_STRUCT宏似乎采用了任意数量的参数,因为它可能适用于任意用户定义的类或结构。

我知道Boost以有趣的方式弯曲C ++而闻名,但如果没有编译器的支持,这似乎是完全不可能的。那么什么样的巫术是Boost.Fusion做到这一点呢?

PS:是的,我知道Boost是开源的。我做的第一件事就是查看源代码。它似乎使用Boost预处理器库以某种方式连接宏。但是我不明白这对于任意数量的参数是如何工作的,而源代码是一个非常密集的预处理器代码集合,很难理解。

1 个答案:

答案 0 :(得分:2)

BOOST_FUSION_ADAPT_STRUCT(
    demo::employee,
    (std::string, name)
    (int, age))

这是一个带有两个参数的宏: 参数1:demo :: employee 参数2:(std :: string,name)(int,age)

参数2与字符串连接以形成另一个宏调用,该调用也需要2个参数:

BOOST_FUSION_SOME_INTERNAL_MACRO(std::string, name)
BOOST_FUSION_SOME_INTERNAL_MACRO(int, age)