C++ Boost.Fusion中的可变参数宏

C++ Variadic Macros in Boost.Fusion?

本文关键字:变参 参数 Boost Fusion C++      更新时间:2023-10-16

所以,根据这个答案,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 预处理器库以某种方式连接宏。 但是我不明白这如何适用于任意数量的参数,并且源代码是一个非常密集的预处理器代码集合,很难理解。

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

这是一个接受两个参数的单个宏:参数 1:演示::员工参数 2:(std::string, name)(int, age)

参数 2

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

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